Requirements Engineering via Non-monotonic Logics and State Diagrams
- Cite this paper as:
- Billington D., Estivill-Castro V., Hexel R., Rock A. (2011) Requirements Engineering via Non-monotonic Logics and State Diagrams. In: Maciaszek L.A., Loucopoulos P. (eds) Evaluation of Novel Approaches to Software Engineering. ENASE 2010. Communications in Computer and Information Science, vol 230. Springer, Berlin, Heidelberg
We propose to model the behaviour of embedded systems by finite state machines whose transitions are modelled by predicates of non-monotonic logics. We argue that this enables modelling the behaviour in close parallelism to the requirements. Such requirements engineering also results in direct and automatic translation to implementation, minimising software faults. We present our method and illustrated with a classical example. We also compare our approach with other state diagram methods, as well as Petri nets and Behavior Trees.
KeywordsRequirements engineering Non-monotonic logics Automatic code generation Finite state machines Behaviour modelling
Unable to display preview. Download preview PDF.