Abstract
The Use Case construct is one of the most important constructs for modelling the dynamics of a system. In this paper we describe the Use Case construct of the Unified Modeling Language (UML) together with two important kinds of relationships between Use Cases, namely Uses and Extends. These two relationships are specializations of the Generalization relationship in UML.
We give a detailed presentation of the semantics of these constructs using the UML constructs Operation and Method. The presentation is used as a basis for formalization of the semantics.
For the formal specification is used an object-oriented specification technique specially designed for formalization of modelling languages.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Jacobson, I.: Basic Use-Case Modeling (Continued). Report on Object Analysis & Design 1(3) (September-October 1994)
Jacobson, I., Christerson, M., Jonsson, P., Övergaard, G.: Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, Reading (1993)
Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, I. Information and Computation 100, 1–40 (1992)
Övergaard, G.: A Formal Approach to Relationships in the Unified Modeling Language. In: Broy, M., Coleman, D., Maibaum, T.S.E., Rumpe, B. (eds.) Proceedings PSMT 1998 Workshop on Precise Semantics for Software Modelling Techniques, Technische Universität, München, Germany, TUM-19803 (April 1998)
Unified Modeling Language, version 1.1 (September 1997), On-line documentation is found at http://www.rational.com/uml/documentation.html
UML Semantics, version 1.1 (September 1997), Part of [ 5 ]
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Övergaard, G., Palmkvist, K. (1999). A Formal Approach to Use Cases and Their Relationships. In: Bézivin, J., Muller, PA. (eds) The Unified Modeling Language. «UML»’98: Beyond the Notation. UML 1998. Lecture Notes in Computer Science, vol 1618. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-48480-6_31
Download citation
DOI: https://doi.org/10.1007/978-3-540-48480-6_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66252-5
Online ISBN: 978-3-540-48480-6
eBook Packages: Springer Book Archive