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

    64 Downloads (Pure)

    Abstract

    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
    Pages-
    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
    PublisherEASST
    Number69160R
    Volume10
    ISSN (Print)1863-2122

    Workshop

    WorkshopGraph Transformation and Visual Modelling Techniques
    Period29/04/0830/04/08
    Other29-30 Apr 2008

    Keywords

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

    Cite this