### Abstract

Original language | Undefined |
---|---|

Title of host publication | 11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012 |

Editors | Andrew Fish, Leen Lambers |

Place of Publication | Berlin |

Publisher | European Association for Software Science and Technology |

Pages | 723:1-723:14 |

Number of pages | 14 |

Publication status | Published - Mar 2012 |

### Publication series

Name | Electronic Communications of the EASST |
---|---|

Publisher | European Association for Software Science and Technology |

Volume | 47 |

ISSN (Print) | 1863-2122 |

ISSN (Electronic) | 1863-2122 |

### Keywords

- Graph TransformationCompositionality
- Graph Transformation
- Soundness and Completeness
- METIS-296259
- IR-84315
- Compositionality
- EWI-22970

### Cite this

*11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012*(pp. 723:1-723:14). (Electronic Communications of the EASST; Vol. 47). Berlin: European Association for Software Science and Technology.

}

*11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012.*Electronic Communications of the EASST, vol. 47, European Association for Software Science and Technology, Berlin, pp. 723:1-723:14.

**Graph passing in graph transformation.** / Ghamarian, A.H.; Rensink, Arend.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Graph passing in graph transformation

AU - Ghamarian, A.H.

AU - Rensink, Arend

PY - 2012/3

Y1 - 2012/3

N2 - Graph transformation works under the whole world assumption. Therefore, in realistic systems, both the individual graphs and the set of all such graphs can grow very large. In reactive formalisms such as process algebra, on the other hand, each system is split into smaller components which continually interact; the interactions pass information such as names or locations between components. The state spaces for the separate components are typically much smaller, and much efficiency can be gained by analysing system behaviour on this level. In this paper we present a framework for compositional graph transformation inspired by name-passing calculi, in which (knowledge about) subgraphs can be passed between components. Essentially, we define graph-passing (reactive) component rules and their composition into traditional (reductive) whole-world rules. This extends previous work in which a simpler form of composition was proposed. The main result is a soundness and completeness result for the composition, showing that the transformations induced by the component rules and their whole-world counterparts are equivalent.

AB - Graph transformation works under the whole world assumption. Therefore, in realistic systems, both the individual graphs and the set of all such graphs can grow very large. In reactive formalisms such as process algebra, on the other hand, each system is split into smaller components which continually interact; the interactions pass information such as names or locations between components. The state spaces for the separate components are typically much smaller, and much efficiency can be gained by analysing system behaviour on this level. In this paper we present a framework for compositional graph transformation inspired by name-passing calculi, in which (knowledge about) subgraphs can be passed between components. Essentially, we define graph-passing (reactive) component rules and their composition into traditional (reductive) whole-world rules. This extends previous work in which a simpler form of composition was proposed. The main result is a soundness and completeness result for the composition, showing that the transformations induced by the component rules and their whole-world counterparts are equivalent.

KW - Graph TransformationCompositionality

KW - Graph Transformation

KW - Soundness and Completeness

KW - METIS-296259

KW - IR-84315

KW - Compositionality

KW - EWI-22970

M3 - Conference contribution

T3 - Electronic Communications of the EASST

SP - 723:1-723:14

BT - 11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012

A2 - Fish, Andrew

A2 - Lambers, Leen

PB - European Association for Software Science and Technology

CY - Berlin

ER -