A Model-Based Simulation Environment for Structured Textual Use Cases

  • Veit Hoffmann
  • Horst Lichter
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 170)


Although use cases are nowadays one of the most widespread techniques for the specification of system behavior low quality use case descriptions regularly cause serious problems in later phases of the development process. The simulation of use case based descriptions may be an important technique to overcome these issues because it enables especially non technical stakeholder to assess the quality of use cases. In this paper we present a model-based use case simulation approach for semi-formal textual use cases. We motivate core requirements of a simulation environment and an underlying execution model. Additionally we describe our technical solution for a model-based simulation environment and present some first experiences.


Requirements Use case Scenario Simulation Quality assurance Model-based development 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Armour, F., Miller, G.: Advanced use case Modeling Volume One, Software Systems. Addison-Wesley Longman Publishing Co., Inc., Boston (2001)Google Scholar
  2. 2.
    Bittner, K., Spence, I.: Use Case Modeling. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)Google Scholar
  3. 3.
    Cockburn, A.: Writing Effective use cases. Addison-Wesley (2000)Google Scholar
  4. 4.
    Denger, C., Paech, B.: An Integrated Quality Assurance Approach for Use Case Based Requirements. In: Proceedings Modellierung 2004, Marburg, pp. 307–308 (2004)Google Scholar
  5. 5.
    Eclipse Modeling Framework project,
  6. 6.
    Glinz, M., Seybold, C., Meier, S.: Simulation-Driven Creation, Validation and Evolution of Behavioral Requirements Models. In: Dagstuhl-Workshop Modellbasierte Entwicklung Eingebetteter Systeme (MBEES 2007). Informatik-Bericht 2007-01, TU Braunschweig, pp. 103–112 (2007)Google Scholar
  7. 7.
    Hoffmann, V., Lichter, H., Nyßen, A.: Towards the Integration of UML-and textual Use Case Modeling. Journal of Object Technology 8(3), 85–100 (2009)CrossRefGoogle Scholar
  8. 8.
    Jacobson, I.: Object-oriented development in an industrial environment. In: OOPSLA 1987: Conference Proceedings on Object-Oriented Programming Systems, Languages and Applications, pp. 183–191. ACM Press, New York (1987)CrossRefGoogle Scholar
  9. 9.
    Jacobson, I.: Use Cases - Yesterday, today, and tomorrow. Software and System Modeling 3, 210–220 (2004)CrossRefGoogle Scholar
  10. 10.
    Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley Longman Publishing Co., Inc., Boston (1999)Google Scholar
  11. 11.
    Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science. An EATCS Series, vol. 1. Springer, Heidelberg (2003)Google Scholar
  12. 12.
    Jensen, K.: A Brief Introduction to Coloured Petri Nets. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 203–208 (1997)Google Scholar
  13. 13.
    Jorgensen, J.B., Bossen, C.: Executable Use Cases: Requirements for a Pervasive Health Care System. IEEE Software 21(2), 34–41 (2004)CrossRefGoogle Scholar
  14. 14.
    Kulak, D., Guiney, E.: Use Cases: Requirements in Context. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)Google Scholar
  15. 15.
    Lee, W.J., Cha, S.D., Kwon, Y.R.: Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering. IEEE Transactions on Software Engineering 24(12), 1115–1130 (1998)CrossRefGoogle Scholar
  16. 16.
    Somé, S.: Supporting use case based requirements engineering. Information and Software Technology 48, 43–58 (2006)CrossRefGoogle Scholar
  17. 17.
    Sutcliffe, A.G., Maiden, N.A.M., Minocha, S., Manuel, D.: Supporting Scenario-Based Requirements Engineering. IEEE Transactions on Software Engineering 24(12), 1072–1088 (1998)CrossRefGoogle Scholar
  18. 18.
    The Standish Group: Chaos chronicles v3.0 Technical report (2003)Google Scholar
  19. 19.
    ViPER project,
  20. 20.
    Weidmann, C., Hoffmann, V., Lichter, H.: Einsatz und Nutzen von Use Cases - Ergebnisse einer empirischen Untersuchung. Softwaretechnik-Trends, Band 29, Heft 2, 62–67 (May 2009)Google Scholar
  21. 21.
    Whittle, J., Jayaraman, P.K.: Generating Hierarchical State Machines from use case Charts. In: RE 2006: Proceedings of the 14th IEEE International Requirements Engineering Conference, pp. 16–25. IEEE Computer Society, Washington, DC (2006)Google Scholar
  22. 22.
    Williams, C., Kaplan, M., Klinger, T., Paradkar, A.: Toward Engineered, useful use cases. Journal of Object Technology, Special Issue: Use Case Modeling at UML 2004 4, 45–57 (2005)Google Scholar
  23. 23.
    Zhao, J., Duan, Z.: Verification of Use Case with Petri Nets in Requirement Analysis. In: Gervasi, O., Taniar, D., Murgante, B., Laganà, A., Mun, Y., Gavrilova, M.L. (eds.) ICCSA 2009, Part II. LNCS, vol. 5593, pp. 29–42. Springer, Heidelberg (2009)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Veit Hoffmann
    • 1
  • Horst Lichter
    • 1
  1. 1.Research Group Software ConstructionRWTH Aachen UniversityAachenGermany

Personalised recommendations