Skip to main content
SpringerLink
Log in

A Model-Based Simulation Environment for Structured Textual Use Cases

  • Conference paper
Book cover Software and Data Technologies (ICSOFT 2010)

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

Included in the following conference series:

  • 518 Accesses

Abstract

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.

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. Armour, F., Miller, G.: Advanced use case Modeling Volume One, Software Systems. Addison-Wesley Longman Publishing Co., Inc., Boston (2001)

    Google Scholar 

  2. Bittner, K., Spence, I.: Use Case Modeling. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)

    Google Scholar 

  3. Cockburn, A.: Writing Effective use cases. Addison-Wesley (2000)

    Google Scholar 

  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. Eclipse Modeling Framework project, http://www.eclipse.org/modeling/emf/

  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. 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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  9. Jacobson, I.: Use Cases - Yesterday, today, and tomorrow. Software and System Modeling 3, 210–220 (2004)

    Article  Google Scholar 

  10. Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley Longman Publishing Co., Inc., Boston (1999)

    Google Scholar 

  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. 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. Jorgensen, J.B., Bossen, C.: Executable Use Cases: Requirements for a Pervasive Health Care System. IEEE Software 21(2), 34–41 (2004)

    Article  Google Scholar 

  14. Kulak, D., Guiney, E.: Use Cases: Requirements in Context. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)

    Google Scholar 

  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)

    Article  Google Scholar 

  16. Somé, S.: Supporting use case based requirements engineering. Information and Software Technology 48, 43–58 (2006)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  18. The Standish Group: Chaos chronicles v3.0 Technical report (2003)

    Google Scholar 

  19. ViPER project, http://www.viper.sc

  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. 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. 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. 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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Research Group Software Construction, RWTH Aachen University, Ahornstr. 55, Aachen, Germany

    Veit Hoffmann & Horst Lichter

Authors
  1. Veit Hoffmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Horst Lichter
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Systems and Informatics, INSTICC / IPS, Rua do Vale de Chaves, Estefanilha, 2910-761, Setúbal, Portugal

    José Cordeiro

  2. Department of Informatics, University of Piraeus, 80 Karaoli & Dimitriou St., 18534, Piraeus, Greece

    Maria Virvou

  3. IICREST, P.O. Box 104, 1618, Sofia, Bulgaria

    Boris Shishkov

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hoffmann, V., Lichter, H. (2013). A Model-Based Simulation Environment for Structured Textual Use Cases. In: Cordeiro, J., Virvou, M., Shishkov, B. (eds) Software and Data Technologies. ICSOFT 2010. Communications in Computer and Information Science, vol 170. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29578-2_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-29578-2_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-29577-5

  • Online ISBN: 978-3-642-29578-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation