A Formal Approach to Collaborations in the Unified Modeling Language

In this paper we give a formal definition of the collaboration construct in the Unified 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 specification part and the realization part of a subsystem in UML.

[1]  Trygve Reenskaug,et al.  Working with objects - the OOram software engineering method , 1995 .

[2]  Grady Booch.  Object-oriented design with 2176A , 1992, TRI-Ada '92.

[3]  Robert B. France,et al.  Towards a formalization of UML class structures in Z , 1997, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97).

[4]  David Harel,et al.  Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[5]  Tony Clark,et al.  Foundations of the unified modeling language , 1997, FME 1997.

[6]  Gunnar Övergaard,et al.  A Formal Approach to Use Cases and Their Relationships , 1998, UML.

[7]  Bernhard Rumpe,et al.  Towards a Formalization of the Unified Modeling Language , 1997, ECOOP.

[8]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[9]  Bernhard Rumpe,et al.  The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.

[10]  Grady Booch,et al.  Object-Oriented Design with Applications , 1990 .

[11]  Kevin Lano,et al.  Semantics and Transformations for UML Models , 1998, UML.

[12]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[13]  Ivar Jacobson,et al.  The Unified Software Development Process , 1999 .

[14]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[15]  James E. Rumbaugh,et al.  Object-Oriented Modelling and Design , 1991 .