loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: David Billington ; Vladimir Estivill-Castro ; Rene Hexel and Andrew Rock

Affiliation: Griffith University, Australia

ISBN: 978-989-8425-21-8

Keyword(s): Automata and logic for system analysis and verification, Petri nets, Requirements engineering.

Related Ontology Subjects/Areas/Topics: Architectural Design and Meta Architectures ; Cross-Feeding between Data and Software Engineering ; Model-Driven Engineering ; Paradigm Trends ; Requirements Engineering Frameworks and Models ; Service-Oriented Software Engineering and Management ; Software and Systems Development Methodologies ; Software Engineering ; Software Engineering Methods and Techniques

Abstract: We extend the state diagrams used for dynamic modelling in object-oriented analysis and design. We suggest that the events which label the state transitions be replaced with plausible logic expressions. The result is a very effective descriptive and declarative mechanism for specifying requirements that can be applied to requirements engineering of robotic and embedded systems. The declarative model can automatically be translated and requirements are traceable to implementation and validation, minimising faults from the perspective of software engineering. We compare our approach with Petri Nets and Behavior Trees using the well-known example of the one-minute microwave oven.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 35.171.146.16

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Billington D.; Estivill-Castro V.; Hexel R.; Rock A. and (2010). NON-MONOTONIC REASONING FOR REQUIREMENTS ENGINEERING - State Diagrams Driven by Plausible Logic.In Proceedings of the Fifth International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8425-21-8, pages 68-77. DOI: 10.5220/0002998300680077

@conference{enase10,
author={David Billington and Vladimir Estivill{-}Castro and Rene Hexel and Andrew Rock},
title={NON-MONOTONIC REASONING FOR REQUIREMENTS ENGINEERING - State Diagrams Driven by Plausible Logic},
booktitle={Proceedings of the Fifth International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2010},
pages={68-77},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002998300680077},
isbn={978-989-8425-21-8},
}

TY - CONF

JO - Proceedings of the Fifth International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - NON-MONOTONIC REASONING FOR REQUIREMENTS ENGINEERING - State Diagrams Driven by Plausible Logic
SN - 978-989-8425-21-8
AU - Billington, D.
AU - Estivill-Castro, V.
AU - Hexel, R.
AU - Rock, A.
PY - 2010
SP - 68
EP - 77
DO - 10.5220/0002998300680077

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.