Simulating Multigraph Transformations Using Simple Graphs

I.B. Boneva, Frank Hermann, H. Kastenberg, Arend Rensink

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

    2 Citations (Scopus)
    31 Downloads (Pure)

    Abstract

    Application of graph transformations for software verification and model transformation is an emergent field of research. In particular, graph transformation approaches provide a natural way of modelling object oriented systems and semantics of object-oriented languages. There exist a number of tools for graph transformations that are often specialised in a particular kind of graphs and/or graph transformation approaches, depending on the desired application domain. The main drawback of this diversity is the lack of interoperability. In this paper we show how (typed) multigraph production systems can be translated into (typed) simple-graph production systems. The presented construction enables the use of multigraphs with DPO transformation approach in tools that only support simple graphs with SPO transformation approach, e.g. the GROOVE tool.
    Original languageUndefined
    Title of host publicationProceedings of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques
    PublisherEuropean Association for the Study of Science and Technology
    Pages42
    Number of pages14
    ISBN (Print)1863-2122
    Publication statusPublished - 2007

    Publication series

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

    Keywords

    • SE-GT: Graph Transformations
    • METIS-241731
    • IR-64149
    • EWI-10371

    Cite this

    Boneva, I. B., Hermann, F., Kastenberg, H., & Rensink, A. (2007). Simulating Multigraph Transformations Using Simple Graphs. In Proceedings of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques (pp. 42). (Electronic Communications of the EASST; Vol. 6, No. 4542). European Association for the Study of Science and Technology.