Specifying precise use cases with use case charts

Jon Whittle

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

19 Citations (Scopus)


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.

Original languageEnglish
Title of host publicationSatellite Events at the MoDELS 2005 Conference
Subtitle of host publicationMoDELS 2005 International Workshops OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, NfC, MDD, WUsCAM, Revised Selected Papers
Number of pages12
Publication statusPublished - 6 Jul 2006
Externally publishedYes
EventACM/IEEE International Conference on Model Driven Engineering Languages and Systems 2005 - Montego Bay, Jamaica
Duration: 2 Oct 20057 Oct 2005
Conference number: 8th
https://dl.acm.org/doi/proceedings/10.5555/2155001 (Proceedings)

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3844 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceACM/IEEE International Conference on Model Driven Engineering Languages and Systems 2005
Abbreviated titleMoDELS 2005
CityMontego Bay
Internet address

Cite this