Graph rewriting with polarized cloningReportar como inadecuado

Graph rewriting with polarized cloning - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 CASYS - Calculs Algébriques et Systèmes Dynamiques LJK - Laboratoire Jean Kuntzmann 2 LIG - Laboratoire d-Informatique de Grenoble

Abstract : We tackle the problem of graph transformation with a particular focus on node cloning. We propose a graph rewriting framework where nodes can be cloned zero, one or more times. A node can be cloned together with all its incident edges, with only the outgoing edges, with only the incoming edges or without any of the incident edges. We thus subsume previous works such as the sesqui-pushout, the heterogeneous pushout and the adaptive star grammars approaches. A rule is defined as a span $\mathbb{L} \stackrel{l}{\longleftarrow} \mathbb{K} \stackrel{r}{\longrightarrow} R$ where the right-hand side $R$ is a multigraph, the left-hand side $\mathbb{L}$ and the interface $\mathbb{K}$ are polarized multigraphs. A polarized multigraph is a multigraph endowed with some cloning annotations on nodes and edges. We introduce the notion of polarized multigraphs and define a rewriting step as pushback followed by a pushout in the same way as in the sesqui-pushout approach.

Keywords : Categories Graph transformations Cloning

Autor: Dominique Duval - Rachid Echahed - Frédéric Prost -



Documentos relacionados