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)
27 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.
Boneva, I.B. ; Hermann, Frank ; Kastenberg, H. ; Rensink, Arend. / Simulating Multigraph Transformations Using Simple Graphs. Proceedings of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques. European Association for the Study of Science and Technology, 2007. pp. 42 (Electronic Communications of the EASST; 4542).
@inproceedings{d992f860953544d2ad33ff97584d9b9a,
title = "Simulating Multigraph Transformations Using Simple Graphs",
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.",
keywords = "SE-GT: Graph Transformations, METIS-241731, IR-64149, EWI-10371",
author = "I.B. Boneva and Frank Hermann and H. Kastenberg and Arend Rensink",
year = "2007",
language = "Undefined",
isbn = "1863-2122",
series = "Electronic Communications of the EASST",
publisher = "European Association for the Study of Science and Technology",
number = "4542",
pages = "42",
booktitle = "Proceedings of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques",
address = "Netherlands",

}

Boneva, IB, 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. Electronic Communications of the EASST, no. 4542, vol. 6, European Association for the Study of Science and Technology, pp. 42.

Simulating Multigraph Transformations Using Simple Graphs. / Boneva, I.B.; Hermann, Frank; Kastenberg, H.; Rensink, Arend.

Proceedings of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques. European Association for the Study of Science and Technology, 2007. p. 42 (Electronic Communications of the EASST; Vol. 6, No. 4542).

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

TY - GEN

T1 - Simulating Multigraph Transformations Using Simple Graphs

AU - Boneva, I.B.

AU - Hermann, Frank

AU - Kastenberg, H.

AU - Rensink, Arend

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

KW - SE-GT: Graph Transformations

KW - METIS-241731

KW - IR-64149

KW - EWI-10371

M3 - Conference contribution

SN - 1863-2122

T3 - Electronic Communications of the EASST

SP - 42

BT - Proceedings of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques

PB - European Association for the Study of Science and Technology

ER -

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