Abstract
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 language | English |
---|---|
Title of host publication | Fundamental 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 |
Pages | 170-184 |
Number of pages | 15 |
Publication status | Published - 21 Dec 2007 |
Externally published | Yes |
Event | International Conference on Fundamental Approaches to Software Engineering 2007 - Braga, Portugal Duration: 24 Mar 2007 → 1 Apr 2007 Conference number: 10th |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 4422 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | International Conference on Fundamental Approaches to Software Engineering 2007 |
---|---|
Abbreviated title | FASE 2007 |
Country/Territory | Portugal |
City | Braga |
Period | 24/03/07 → 1/04/07 |