Skip to main content
SpringerLink
Log in

Specifying Precise Use Cases with Use Case Charts

  • Conference paper
Satellite Events at the MoDELS 2005 Conference (MODELS 2005)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3844))

Abstract

Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and learning but is a barrier to automated methods for test case generation, validation or simulation. This paper presents use case charts, a precise way of specifying use cases that aims to retain the benefits of easy understanding but also supports automated analysis. The graphical and abstract syntax of use case charts are given, along with a sketch of their formal semantics.

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. OMG: Unified modeling language 2.0 specification (2005), http://www.omg.org

  2. Software Engineering Group, University of Paderborn: Shuttle system case study ShuttleSystem/ (2005), http://www.cs.uni-paderborn.de/cs/ag-schaefer/CaseStudies/

  3. Whittle, J., Araújo, J.: Scenario modelling with aspects. IEE Proceedings — Software 151, 157–172 (2004)

    Article  Google Scholar 

  4. Haugen, O., Husa, K.E., Runde, R.K., Stølen, K.: Stairs: Towards formal design with sequence diagrams. Journal of Software and System Modeling (2005) (to Appear)

    Google Scholar 

  5. Smialek, M.: Accommodating informality with necessary precision in use case scenarios. In: Proceedings of Workshop on Open Issues in Industrial Use Case Modeling at UML 2004 (2004)

    Google Scholar 

  6. Krueger, I.: Distributed System Design with Message Sequence Charts. PhD thesis, Technische Universitaet Muenchen (2000)

    Google Scholar 

  7. Whittle, J., Schumann, J.: Generating statechart designs from scenarios. In: ICSE 2000: Proceedings of the 22nd international conference on software engineering, pp. 314–323. ACM Press, New York (2000)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept of Information & Software Engineering, George Mason University, 4400 University Drive, Fairfax, VA, 22030

    Jon Whittle

Authors
  1. Jon Whittle
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Département Informatique, Université de Pau et des Pays de l’Adour, Av. de l’Université, B.P. 1155, 64013, Pau, France

    Jean-Michel Bruel

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Whittle, J. (2006). Specifying Precise Use Cases with Use Case Charts. In: Bruel, JM. (eds) Satellite Events at the MoDELS 2005 Conference. MODELS 2005. Lecture Notes in Computer Science, vol 3844. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11663430_30

Download citation

  • DOI: https://doi.org/10.1007/11663430_30

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-31780-7

  • Online ISBN: 978-3-540-31781-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation