Simulating Multigraph Transformations Using Simple Graphs
Boneva, Iovka and Hermann, Frank and Kastenberg, Harmen and Rensink, Arend (2007) Simulating Multigraph Transformations Using Simple Graphs. In: Sixth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT 2007, 31 March - 1 April 2007, Braga, Portugal.
|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.
|Item Type:||Conference or Workshop Item|
Electrical Engineering, Mathematics and Computer Science (EEMCS)
|Link to this item:||http://purl.utwente.nl/publications/64149|
|Export this item as:||BibTeX|
Daily downloads in the past month
Monthly downloads in the past 12 months
Repository Staff Only: item control page
Metis ID: 241731