Ensuring Structural Constraints in Graph-Based Models with Type Inheritance

G. Taentzer, Arend Rensink

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

    33 Citations (Scopus)
    50 Downloads (Pure)

    Abstract

    Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entities and their relations using class diagrams or type graphs has emerged as a very valuable principle. The constraints that can be imposed by pure typing are, however, relatively weak; it is therefore common practice to enrich type information with structural properties (such as local invariants or multiplicity conditions) or inheritance. In this paper, we show how to formulate structural properties using graph constraints in type graphs with inheritance, and we show how to translate constrained type graphs with inheritance to equivalent constrained simple type graphs. From existing theory it then follows that graph constraints can be translated into preconditions for productions of a typed graph transformation system which ensures those graph constraints. This result can be regarded as a further important step of integrating graph transformation with object-orientation concepts.
    Original languageUndefined
    Title of host publicationFundamental Approaches to Software Engineering (FASE)
    EditorsM. Cerioli
    Place of PublicationBerlin
    PublisherSpringer
    Pages64-79
    Number of pages15
    ISBN (Print)3-540-25420-X
    DOIs
    Publication statusPublished - Apr 2005
    Event8th International Conference on Fundamental Approaches to Software Engineering, FASE 2005 - Edinburgh, United Kingdom
    Duration: 4 Apr 20058 Apr 2005
    Conference number: 8

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer-Verlag
    NumberXIII
    Volume3442
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference8th International Conference on Fundamental Approaches to Software Engineering, FASE 2005
    Abbreviated titleFASE
    CountryUnited Kingdom
    CityEdinburgh
    Period4/04/058/04/05

    Keywords

    • METIS-234013
    • EWI-1291
    • IR-64819

    Cite this

    Taentzer, G., & Rensink, A. (2005). Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. In M. Cerioli (Ed.), Fundamental Approaches to Software Engineering (FASE) (pp. 64-79). (Lecture Notes in Computer Science; Vol. 3442, No. XIII). Berlin: Springer. https://doi.org/10.1007/978-3-540-31984-9_6, https://doi.org/10.1007/b107062