Precise specification of use case scenarios

Jon Whittle

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

11 Citations (Scopus)


Despite attempts to formalize the semantics of use cases, they remain an informal notation. The informality of use cases is both a blessing and a curse. Whilst it admits an easy learning curve and enables communication between software stakeholders, it is also a barrier to the application of automated methods for test case generation, validation or simulation. This paper presents a precise way of specifying use cases based on a three-level modeling paradigm strongly influenced by UML. The formal syntax and semantics of use case charts are given, along with an example that illustrates how they can be used in practice.

Original languageEnglish
Title of host publicationFundamental Approaches to Software Engineering - 10th International Conference, FASE 2007. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Proceedings
Number of pages15
Publication statusPublished - 21 Dec 2007
Externally publishedYes
EventInternational Conference on Fundamental Approaches to Software Engineering 2007 - Braga, Portugal
Duration: 24 Mar 20071 Apr 2007
Conference number: 10th

Publication series

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


ConferenceInternational Conference on Fundamental Approaches to Software Engineering 2007
Abbreviated titleFASE 2007

Cite this