Reference : Simulating Multi-graph Transformations Using Simple Graphs |
Scientific congresses, symposiums and conference proceedings : Paper published in a book | |||
Engineering, computing & technology : Computer science | |||
http://hdl.handle.net/10993/5587 | |||
Simulating Multi-graph Transformations Using Simple Graphs | |
English | |
Hermann, Frank ![]() | |
Kastenberg, Harmen [> >] | |
Boneva, Iovka [> >] | |
Arend, Rensink [> >] | |
Ehrig, K. [> >] | |
Giese, H. [> >] | |
2007 | |
Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT'07) | |
Electronic Communications of the EASST | |
6 | |
Yes | |
ISSN 1863-2122 | |
Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT'07) | |
03-2007 | |
[en] graph transformations ; graph transformation tools ; tool interoperability multigraphs ; simple graphs | |
[en] 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. | |
http://hdl.handle.net/10993/5587 | |
http://journal.ub.tu-berlin.de/eceasst/article/view/62 |
There is no file associated with this reference.
All documents in ORBilu are protected by a user license.