A Graph-Based Semantics for UML Class and Object Diagrams

A.G. Kleppe, Arend Rensink

    Research output: Book/ReportReportProfessional

    16 Citations (Scopus)
    1550 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 report 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
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages26
    Publication statusPublished - 30 Jan 2008

    Publication series

    NameCTIT Technical Report Series
    PublisherCentre for Telematics and Information Technology, University of Twente
    No.TR-CTIT-08-06
    ISSN (Print)1381-3625

    Keywords

    • EWI-11963
    • METIS-250875
    • IR-64639

    Cite this