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.
Original language | English |
---|---|
Title of host publication | Satellite Events at the MoDELS 2005 Conference |
Subtitle of host publication | MoDELS 2005 International Workshops OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, NfC, MDD, WUsCAM, Revised Selected Papers |
Pages | 290-301 |
Number of pages | 12 |
DOIs | |
Publication status | Published - 6 Jul 2006 |
Externally published | Yes |
Event | ACM/IEEE International Conference on Model Driven Engineering Languages and Systems 2005 - Montego Bay, Jamaica Duration: 2 Oct 2005 → 7 Oct 2005 Conference number: 8th https://dl.acm.org/doi/proceedings/10.5555/2155001 (Proceedings) |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 3844 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | ACM/IEEE International Conference on Model Driven Engineering Languages and Systems 2005 |
---|---|
Abbreviated title | MoDELS 2005 |
Country/Territory | Jamaica |
City | Montego Bay |
Period | 2/10/05 → 7/10/05 |
Internet address |
|