NON-MONOTONIC REASONING FOR REQUIREMENTS ENGINEERING - State Diagrams Driven by Plausible Logic
David Billington, Vladimir Estivill-Castro, Rene Hexel, Andrew Rock
2010
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.
DownloadPaper Citation
in Harvard Style
Billington D., Estivill-Castro V., Hexel R. and Rock A. (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
in Bibtex Style
@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},
}
in EndNote Style
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