Requirements Engineering via Non-monotonic Logics and State Diagrams

  • David Billington
  • Vladimir Estivill-Castro
  • René Hexel
  • Andrew Rock
Conference paper

DOI: 10.1007/978-3-642-23391-3_9

Part of the Communications in Computer and Information Science book series (CCIS, volume 230)
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

Abstract

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.

Keywords

Requirements engineering Non-monotonic logics Automatic code generation Finite state machines Behaviour modelling 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • David Billington
    • 1
  • Vladimir Estivill-Castro
    • 2
  • René Hexel
    • 1
  • Andrew Rock
    • 1
  1. 1.ICT/IIISGriffith UniversityNathanAustralia
  2. 2.Visiting ScholarUniversitat Popeu FabraBarcelonaSpain

Personalised recommendations