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

File Size Format
63391_1.pdf 874Kb Adobe PDF View
Title Non-Monotonic Reasoning For Requirements Engineering: State Diagrams driven by Plausible Logic
Author Billington, David; Estivill-Castro, Vladimir; Hexel, Rene; Rock, Andrew
Publication Title 5th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE 2010.
Editor Pericles Leucopoulos and Leszek Maciaszek
Year Published 2010
Place of publication Portugal
Publisher AciTePress
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.
Peer Reviewed Yes
Published Yes
Publisher URI http://www.enase.org/Abstracts/2010/ENASE_2010_Abstracts.htm
Copyright Statement 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.
ISBN 978-989-8425-21-8
Conference name 5th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE 2010
Location Athens, Greece
Date From 2010-07-22
Date To 2010-07-24
URI http://hdl.handle.net/10072/36121
Date Accessioned 2010-08-14
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Subject Adaptive Agents and Intelligent Robotics; Software Engineering
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Show simple item record

Griffith University copyright notice