Precise specification of use case scenarios

Authors:
Jon Whittle
Affiliations:
Dept of Information & Software Engineering, George Mason University, Fairfax, VA
Venue:
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Year:
2007

Citing 6
Cited 7

Writing Effective Use Cases

Writing Effective Use Cases
Executable UML: A Foundation for Model-Driven Architectures

Executable UML: A Foundation for Model-Driven Architectures
On Use Cases and Their Relationships in the Unified Modelling Language

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
A Formal Approach to Use Cases and Their Relationships

«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)

Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering

Computer Languages

UCSIM: A Tool for Simulating Use Case Scenarios

ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Executable misuse cases for modeling security concerns

Proceedings of the 30th international conference on Software engineering
Synthesizing hierarchical state machines from expressive scenario descriptions

ACM Transactions on Software Engineering and Methodology (TOSEM)
On the semantics of the extend relationship in use case models: open-closed principle or clairvoyance?

CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
A graph-based aspect interference detection approach for UML-based aspect-oriented models

Transactions on aspect-oriented software development VII
A graph-based aspect interference detection approach for UML-based aspect-oriented models

Transactions on aspect-oriented software development VII
A proposal for extending UML-B to support a conceptual model

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.