Non-Monotonic Reasoning For Requirements Engineering: State Diagrams driven by Plausible Logic
MetadataShow full item record
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.
5th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE 2010.
Copyright 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.
Adaptive Agents and Intelligent Robotics