Skip to main content
SpringerLink
Log in

Requirements Engineering via Non-monotonic Logics and State Diagrams

  • Conference paper
Book cover Evaluation of Novel Approaches to Software Engineering (ENASE 2010)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 230))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Antoniou, G.: Nonmonotonic Reasoning. MIT Press, Cambridge (1997)

    MATH  Google Scholar 

  2. Billington, D.: Propositional clausal defeasible logic. In: Hölldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol. 5293, pp. 34–47. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  3. Billington, D., Estivill-Castro, V., Hexel, R., Rock, A.: Architecture for hybrid robotic behavior. In: Corchado, E., Wu, X., Oja, E., Herrero, Á., Baruque, B. (eds.) HAIS 2009. LNCS, vol. 5572, pp. 145–156. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  4. Billington, D., Estivill-Castro, V., Hexel, R., Rock, A.: Plausible logic facilitates engineering the behaviour of autonomous robots. In: Proceedings of the IASTED International Conference on Software Engineering, Innsbruck, Austria, The International Association of Science and Technology for Development (February 2010)

    Google Scholar 

  5. Billington, D., Rock, A.: Propositional plausible logic: Introduction and implementation. Studia Logica 67, 243–269 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  6. Blair, G., Bencomo, N., Frnce, R.B.: Models@run.time. IEEE Computer 42(10), 22–27 (2009)

    Article  Google Scholar 

  7. Brooks, R.A.: Intelligence without reason. In: Myopoulos, R., Reiter, R. (eds.) Proceedings of the 12th International Joint Conference on Artificial Intelligence, ICJAI 1991, San Mateo, CA, pp. 569–595. Morgan Kaufmann Publishers, Sydney (1991) ISBN 1-55860-160-0

    Google Scholar 

  8. Compton, P.J., Jansen, R.: A philosophical basis for knowledge acquisition. Knowledge Acquisition 2(3), 241–257 (1990)

    Article  Google Scholar 

  9. Dromey, R.G., Powell, D.: Early requirements defect detection. TickIT Journal 4Q05, 3–13 (2005)

    Google Scholar 

  10. Ellis, C.: Team automata for groupware systems. In: GROUP 1997: Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work, pp. 415–424. ACM, New York (1997)

    Google Scholar 

  11. Genrich, H.J.: Predicate/transition nets. In: Jensen, K., Rozenberg, G. (eds.) High-level Petri Nets, Theory and Applications, pp. 3–43. Springer, Heidelberg (1991)

    Google Scholar 

  12. Genrich, H.J., Lautenbach, K.: The analysis of distributed systems by means of predicate/transition-nets. In: Kahn, G. (ed.) Semantics of Concurrent Computation. LNCS, vol. 70, pp. 123–147. Springer, Heidelberg (1979)

    Chapter  Google Scholar 

  13. Girault, C., Valk, R.: Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Springer-Verlag New York, Inc., Secaucus (2001)

    MATH  Google Scholar 

  14. Gold, R.: Petri nets in software engineering. Arbeitsberichte Working Papers, Fachhochschule Ingolstadt, University of Applied Sciences (June 2004)

    Google Scholar 

  15. Holloway, L.E., Kroch, B.H., Giua, A.: A survey of Petri net methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Applications 7, 151–190 (1997)

    Article  MATH  Google Scholar 

  16. Hull, E., Jackson, K., Dick, J.: Requirements Engineering, 2nd edn. Springer, USA (2005)

    MATH  Google Scholar 

  17. Lakos, C.: Object oriented modelling with object petri nets. In: Agha, G., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2001, pp. 1–37. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  18. Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development. Prentice-Hall, Inc., Englewood Cliffs (1995)

    Google Scholar 

  19. Lian, J., Hu, Z., Shatz, S.M.: Simulation-based analysis of UML statechart diagrams: Methods and case studies. The Software Quality Journal 16(1), 45–78 (2008)

    Article  Google Scholar 

  20. Mellor, S.J.: Embedded systems in UML. OMG White paper (2007), http://www.omg.org/news/whitepapers/ , label: We can generate Systems Today

  21. Mellor, S.J., Balcer, M.: Executable UML: A foundation for model-driven architecture. Addison-Wesley Publishing Co., Reading (2002)

    Google Scholar 

  22. Myers, T., Dromey, R.G.: From requirements to embedded software - formalising the key steps. In: 20th Australian Software Engineering Conference (ASWEC), Gold Cost, Australia, April 14-17, pp. 23–33. IEEE Computer Society, Los Alamitos (2009)

    Google Scholar 

  23. Nuseibeh, B., Easterbrook, S.M.: Requirements engineering: a roadmap. In: ICSE - Future of SE Track, pp. 35–46 (2000)

    Google Scholar 

  24. Peterson, J.L.: Petri nets. Computer Surveys 9(3), 223–252 (1977)

    Article  MATH  Google Scholar 

  25. Rumbaugh, J., Blaha, M.R., Lorensen, W., Eddy, F., Premerlani, W.: Object-Oriented Modelling and Design. Prentice-Hall, Inc., Englewood Cliffs (1991)

    MATH  Google Scholar 

  26. Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice-Hall, Inc., Englewood Cliffs (2002)

    MATH  Google Scholar 

  27. Saldhana, J.A., Shatz, S.M.: Uml diagrams to object petri net models: An approach for modeling and analysis. In: International Conference on Software Engineering and Knowledge Engineering (SEKE), Chicago, pp. 103–110 (July 2000)

    Google Scholar 

  28. Shlaer, S., Mellor, S.J.: Object lifecycles: modeling the world in states. Yourdon Press, Englewood Cliffs (1992)

    MATH  Google Scholar 

  29. ter Beek, M.H., Ellis, C.A., Kleijn, J., Rozenberg, G.: Synchronizations in team automata for groupware systems. Computer Supported Cooperative Work (CSCW) 12(1), 21–69 (2003)

    Article  Google Scholar 

  30. Wagner, F., Schmuki, R., Wagner, T., Wolstenholme, P.: Modeling Software with Finite State Machines: A Practical Approach. CRC Press, NY (2006)

    Book  MATH  Google Scholar 

  31. Wagner, F., Wolstenholme, P.: Modeling and building reliable, re-useable software. In: IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2003), pp. 277–286. IEEE Computer Society, Los Alamitos (2003)

    Google Scholar 

  32. Wen, L., Colvin, R., Lin, K., Seagrott, J., Yatapanage, N., Dromey, R.G.: “Integrare”, a collaborative environment for behavior-oriented design. In: Luo, Y. (ed.) CDVE 2007. LNCS, vol. 4674, pp. 122–131. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  33. Wen, L., Dromey, R.G.: From requirements change to design change: A formal path. In: 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), Beijing, China, September 28-30, pp. 104–113. IEEE Computer Society, Los Alamitos (2004)

    Google Scholar 

  34. Wen, L., Kirk, D., Dromey, R.G.: A tool to visualize behavior and design evolution. In: Di Penta, M., Lanza, M. (eds.) 9th International Workshop on Principles of Software Evolution (IWPSE 2007), in conjunction with the 6th ESEC/FSE joint meeting, Dubrovnik, Croatia, September 3-4, pp. 114–115. ACM, New York (2007)

    Google Scholar 

  35. Wiegers, K.E.: Software Requirements, 2nd edn. Microsoft Press, Redmond (2003)

    Google Scholar 

  36. Winter, K., Colvin, R., Dromey, R.G.: Dynamic relational behaviour for large-scale systems. In: 20th Australian Software Engineering Conference (ASWEC 2009), Gold Cost, Australia, April 14-17, pp. 173–182. IEEE Computer Society, Los Alamitos (2009)

    Chapter  Google Scholar 

  37. Wooldridge, M.: An Introduction to Multiagent Systems. John Wiley & Sons, NY (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ICT/IIIS, Griffith University, Nathan, QLD, 4111, Australia

    David Billington, René Hexel & Andrew Rock

  2. Visiting Scholar, Universitat Popeu Fabra, Barcelona, Spain

    Vladimir Estivill-Castro

Authors
  1. David Billington
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Vladimir Estivill-Castro
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. René Hexel
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Andrew Rock
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing, Macquarie University, 2109, Sydney, NSW, Australia

    Leszek A. Maciaszek

  2. The Business School, Loughborough University, LE11 3TU, Loughborough, Leicestershire, UK

    Pericles Loucopoulos

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

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. https://doi.org/10.1007/978-3-642-23391-3_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-23391-3_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-23390-6

  • Online ISBN: 978-3-642-23391-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation