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.

References

  1. Antoniou, G. (1997). Nonmonotonic Reasoning. MIT Press, Cambridge, Mass. ISBN 0-262-01157-3.
  2. Billington, D. (2008). Propositional clausal defeasible logic. In Holldobler, S., Lutz, C., and Wansing, H., editors, Logics in Artificial Intelligence, volume 5293 of Lecture Notes in Artificial Intelligence, pages 34-47, Dresden, Germany. 11th European Conference on Logics in Artificial Intelligence (JELIA2008), Springer.
  3. Billington, D., Estivill-Castro, V., Hexel, R., and Rock, A. (2009). Architecture for hybrid robotic behavior. In Corchado, E., Wu, X., Oja, E., Herrero, A., and Baruque, B., editors, 4th International Conference on Hybrid Artificial Intelligence Systems HAIS, volume 5572, pages 145-156. Springer-Verlag Lecture Notes in Computer Science.
  4. Billington, D., Estivill-Castro, V., Hexel, R., and Rock, A. (2010). Plausible logic facilitates engineering the behavior of autonomous robots. In Proceedings of the IASTED Software Engineering Conference. 5See www.youtube.com/watch?v=iEkCHqSfMco for
  5. the system in operation. The corresponding Java sources and incremental Petri net stages for Fig. 8 are at vladestivillcastro.net/additions.tar.gz as well as material from (Billington et al., 2010).
  6. Billington, D. and Rock, A. (2001). Propositional plausible logic: Introduction and implementation. Studia Logica, 67:243-269. ISSN 1572-8730.
  7. Blair, G., Bencomo, N., and Frnce, R. B. (2009). Models@run.time. IEEE Computer, 42(10):22-27.
  8. Brooks, R. (1991). Intelligence without reason. In Myopoulos, R. and Reiter, R., editors, Proceedings of the 12th International Joint Conference on Artificial Intelligence, pages 569-595, San Mateo, CA. ICJAI91, Morgan Kaufmann Publishers. Sydney, Australia. ISBN 1-55860-160-0.
  9. Compton, P. and Jansen, R. (1990). A philosophical basis for knowledge acquisition. Knowledge Acquisition, 2(3):241-257. ISSN 0001-2998.
  10. Dromey, R. G. and Powell, D. (2005). Early requirements defect detection. TickIT Journal, 4Q05:3-13.
  11. Ellis, C. (1997). Team automata for groupware systems. In GROUP 7897: Proceedings of the international ACM SIGGROUP conference on Supporting group work, pages 415-424, New York, NY, USA. ACM.
  12. Genrich, H. J. (1991). Predicate/transition nets. In Jensen, K. and Rozenberg, G., editors, High-level Petri Nets, Theory and Applications, pages 3-43. Springer-Verlag.
  13. Genrich, H. J. and Lautenbach, K. (1979). The analysis of distributed systems by means of predicate/transitionnets. In Kahn, G., editor, Semantics of Concurrent Computation, Proceedings of the International Symposium, volume 70 of Lecture Notes in Computer Science, pages 123-147, Evian, France. Springer.
  14. Girault, C. and Valk, R. (2001). Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Springer-Verlag New York, Inc., Secaucus, NJ, USA.
  15. Gold, R. (2004). Petri nets in software engineering. Arbeitsberichte Working Papers. Fachhochschule Ingolstadt, University of Applied Sciences.
  16. Holloway, L., Kroch, B., and Giua, A. (1997). A survey of Petri net methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Applications, 7:151-190.
  17. Hull, E., Jackson, K., and Dick, J. (2005). Requirements Engineering. Springer, USA, second edition.
  18. Lakos, C. (2001). Object oriented modeling with object petri nets. In Agha, G., de Cindio, F., and Rozenberg, G., editors, Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets, volume 2001 of Lecture Notes in Computer Science, pages 1-37. Springer.
  19. Larman, C. (1995). Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development. Prentice-Hall, Inc., Englewood Cliffs, NJ.
  20. Lian, J., Hu, Z., and Shatz, S. M. (2008). Simulation-based analysis of UML statechart diagrams: Methods and case studies. The Software Quality Journal, 16(1):45- 78.
  21. Mellor, S. J. (2007). Embedded systems in UML. OMG White paper. www.omg.org/news/whitepapers/ label: We can generate Systems Today.
  22. Myers, T. and Dromey, R. G. (2009). From requirements to embedded software - formalising the key steps. In 20th Australian Software Engineering Conference (ASWEC), pages 23-33, Gold Cost, Australia. IEEE Computer Society.
  23. Nuseibeh, B. and Easterbrook, S. M. (2000). Requirements engineering: a roadmap. In ICSE - Future of SE Track, pages 35-46.
  24. Rumbaugh, J., Blaha, M. R., Lorensen, W., Eddy, F., and Premerlani, W. (1991). Object-Oriented Modelling and Design. Prentice-Hall, Inc., Englewood Cliffs, NJ.
  25. Russell, S. and Norvig, P. (2002). Artificial Intelligence: A Modern Approach. Prentice-Hall, Inc., Englewood Cliffs, NJ, second edition. ISBN 0130803022.
  26. Saldhana, J. A. and Shatz, S. M. (2000). Uml diagrams to object petri net models: An approach for modeling and analysis. In International Conference on Software Engineering and Knowledge Engineering (SEKE), pages 103-110, Chicago.
  27. Shlaer, S. and Mellor, S. J. (1992). Object lifecycles : modeling the world in states. Yourdon Press, Englewood Cliffs, N.J.
  28. ter Beek, M., . Ellis, C., Kleijn, J., and Rozenberg, G. (2003). Synchronizations in team automata for groupware systems. Computer Supported Cooperative Work (CSCW), 12(1):21-69.
  29. Wagner, F., Schmuki, R., Wagner, T., and Wolstenholme, P. (2006). Modeling Software with Finite State Machines: A Practical Approach. CRC Press, NY.
  30. Wagner, F. and Wolstenholme, P. (2003). Modeling and building reliable, re-useable software. In Engineering of Computer-Based Systems (ECBS-03), IEEE International Conference on the, pages 277-286, Los Alamitos, CA, USA. IEEE Computer Society.
  31. Wen, L., Colvin, R., Lin, K., Seagrott, J., Yatapanage, N., and Dromey, R. (2007a). “Integrare”, a collaborative environment for behavior-oriented design. In Luo, T., editor, Cooperative Design, Visualization, and Engineering, 4th International Conference, CDVE, volume 4674 of Lecture Notes in Computer Science, pages 122-131, Shanghai, China. Springer.
  32. Wen, L. and Dromey, R. G. (2004). From requirements change to design change: A formal path. In 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), pages 104-113, Beijing, China. IEEE Computer Society.
  33. Wen, L., Kirk, D., and Dromey, R. G. (2007b). A tool to visualize behavior and design evolution. In Di Penta, M. and Lanza, M., editors, 9th International Workshop on Principles of Software Evolution (IWPSE 2007), in conjunction with the 6th ESEC/FSE joint meeting, pages 114-115, Dubrovnik, Croatia. ACM.
  34. Wiegers, K. E. (2003). Software Requirements. Microsoft Press, second edition.
  35. Winter, K., Colvin, R., and Dromey, R. G. (2009). Dynamic relational behaviour for large-scale systems. In 20th Australian Software Engineering Conference (ASWEC 2009), pages 173-182, Gold Cost, Australia. IEEE Computer Society.
  36. Wooldridge, M. (2002). An Introduction to MultiAgent Systems. John Wiley & Sons, NY, USA. ISBN 047149691X.
Download


Paper 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