The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Writing Effective Use Cases
Total-Correctness Refinement for Sequential Reactive Systems
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
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
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Alternating Refinement Relations
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
A UML statecharts semantics with message-passing
Proceedings of the 2002 ACM symposium on Applied computing
Proceedings of the 24th International Conference on Software Engineering
UMLsec: Extending UML for Secure Systems Development
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Formal semantics for interacting UML subsystems
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Getting 'Whole Picture' Behavior In A Use Case Model
Journal of Integrated Design & Process Science
Synthesizing hierarchical state machines from expressive scenario descriptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Precise specification of use case scenarios
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Describing use cases with activity charts
MIS'04 Proceedings of the 2004 international conference on Metainformatics
Use cases for context aware model-checking
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
A configurable use case modeling metamodel with superimposed variants
Innovations in Systems and Software Engineering
| Hi-index | 0.00 |
In the Unified Modelling Language, use cases are provided as a way of summarising the requirements on a system. They are defined informally as specifications of sets of sequences of actions, and several relationships between use cases are informally defined. Dependable, tool-supported software development necessitates precise definitions of all these concepts but the topic has so far received little attention in the literature, beyond what is present in Catalysis. This paper explores how these notions can be formalised whilst staying as close as possible to the UML standard, makes some suggestions and raises further questions.