Publication Details

Download

Heinrich Hussmann
Loose Semantics for UML/OCL
In: H. Ehrig, B.J.Krämer, A.Ertas (eds): Proceedings of the 6th World Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, California, June 23-28, 2002, ISSN 1090-9389

This paper deals with formal foundations for a subset of the UML notation (subset of class diagrams and constraints in OCL). There are already various proposals for semantics of UML and a few for OCL. Nevertheless, it is argued that these approaches are not fully adequate for building a conceptual bridge between the programming artifacts produced from UML/OCL and the formal semantics. A different approach is suggested which builds on one hand on the existing work on UML/OCL semantics, and which on the other hand re-introduces ideas, which were discussed for abstract data types under the term "loose semantics". The advantages of this approach are presented and a relationship to the meta-modeling approach is outlined.