Non-Monotonic Reasoning For Requirements Engineering: State Diagrams driven by Plausible Logic

View/ Open
Author(s)
Billington, David
Estivill-Castro, Vladimir
Hexel, Rene
Rock, Andrew
Griffith University Author(s)
Year published
2010
Metadata
Show full item recordAbstract
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 ...
View more >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.
View less >
View more >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.
View less >
Conference Title
ENASE 2010: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING
Copyright Statement
© 2010 SciTePress. The attached file is reproduced here in accordance with the copyright policy of the publisher. For information about this conference please refer to the conference's website or contact the authors.
Subject
Software Engineering
Adaptive Agents and Intelligent Robotics