On a Graph-Based Semantics for UML Class and Object Diagrams


Kleppe, Anneke and Rensink, Arend (2008) On a Graph-Based Semantics for UML Class and Object Diagrams. Electronic Communications of the EASST, 10 . ISSN 1863-2122

open access
Abstract:In this paper we propose a formal extension of type graphs with notions that are commonplace in the UML and have long proven their worth in that context: namely, inheritance, multiplicity, containment and the like. We believe the absence of a comprehensive and commonly agreed upon formalisation of these notions to be an important and, unfortunately, often ignored omission. Since our eventual aim (shared by many researchers) is to give unambiguous, formal semantics to the UML using the theory of graphs and graph transformation, in this paper we propose a set of definitions to repair this omission. With respect to previous work in this direction, our aim is to arrive at more comprehensive and at the same time simpler definitions.
Item Type:Article
Additional information:Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008)
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/64693
Official URL:http://journal.ub.tu-berlin.de/eceasst/article/view/153
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 250920