Semantics of UML: Towards a System Model for UML --\\ The Structural Data Model

The document introduces the structural part of a system model targeted at UML 2.0.\\ This structural data model is the begin of a series of results of a project on the formal foundation of UML, carried out by the Queen's University (Kingston, Canada), the Technische Universität Muenchen (Munich, Germany) and the Technische Universitaet Carolo-Wilhelmina zu Braunschweig (Braunschweig, Germany).\\ The long term goal is the definition of a formal semantics for structure, behaviour and interaction of object-oriented, possibly distributed systems, which is abstract enough to be of general value and detailed enough to constitute a semantic fundament for the UML.     «

The document introduces the structural part of a system model targeted at UML 2.0.\\ This structural data model is the begin of a series of results of a project on the formal foundation of UML, carried out by the Queen's University (Kingston, Canada), the Technische Universität Muenchen (Munich, Germany) and the Technische Universitaet Carolo-Wilhelmina zu Braunschweig (Braunschweig, Germany).\\ The long term goal is the definition of a formal semantics for structure, behaviour and interaction o...     »