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… (More)
In this paper we give a formal deenition of the collaboration construct in the Uniied Modeling Language (UML). We also state what it means that a use case is realized by a collaboration, and what the relationship is between the speciication part and the realization part of a subsystem in UML.
Modelling languages such as the Uniied Modeling Language are used during the early phases of system development to capture requirements and to express high-level designs. Many such languages have no universally xed interpretations since diierent development projects often use key concepts, like Class, Generalization and Association, in slightly diierent… (More)
In this paper we give a description of the subsystem construct in the Uniied Modeling Language, emphasizing its dynamic aspects , thus giving a detailed description of the semantics of interaction with subsystems. Depending on whether the surroundings of the subsystem make use of public elements in the subsystem or not, the subsystem is considered to be… (More)