Specifying Precise Use Cases with Use Case Charts

  • Jon Whittle
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3844)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    OMG: Unified modeling language 2.0 specification (2005), http://www.omg.org
  2. 2.
    Software Engineering Group, University of Paderborn: Shuttle system case study ShuttleSystem/ (2005), http://www.cs.uni-paderborn.de/cs/ag-schaefer/CaseStudies/
  3. 3.
    Whittle, J., Araújo, J.: Scenario modelling with aspects. IEE Proceedings — Software 151, 157–172 (2004)CrossRefGoogle Scholar
  4. 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. 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. 6.
    Krueger, I.: Distributed System Design with Message Sequence Charts. PhD thesis, Technische Universitaet Muenchen (2000)Google Scholar
  7. 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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Jon Whittle
    • 1
  1. 1.Dept of Information & Software EngineeringGeorge Mason UniversityFairfax

Personalised recommendations