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

A.G. Kleppe, Arend Rensink

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    82 Downloads (Pure)


    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.
    Original languageUndefined
    Title of host publicationGraph Transformation and Visual Modelling Techniques
    EditorsC. Ermel, J. De Lara, R. Heckel
    PublisherEuropean Association for the Study of Science and Technology
    Number of pages16
    ISBN (Print)1863-2122
    Publication statusPublished - 2008
    EventGraph Transformation and Visual Modelling Techniques - Budapest, Hungary
    Duration: 29 Apr 200830 Apr 2008

    Publication series

    NameElectronic Communications of the EASST
    ISSN (Print)1863-2122


    WorkshopGraph Transformation and Visual Modelling Techniques
    Other29-30 Apr 2008


    • EWI-12152
    • IR-64693
    • METIS-250920

    Cite this