Specifying Precise Use Cases with Use Case Charts
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.
- 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/
- 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