Department for Informatics | Sitemap | LMU-Portal
Deutsch
  • Home
  • Future Students
  • Enrolled students
  • Teaching
  • Research
    • Publications
    • Partners
  • People
  • Contact
  • Jobs
  • Internal
  • COVID-19 special: online teaching

Publication Details

[Download PDF]
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.
To top
– Impressum – Privacy policy – Contact  |  Last modified on 2007-02-05 by Richard Atterer (rev 1481)