AGREE -- Algebraic Graph Rewriting with Controlled Embedding (Long Version)
AGREE -- Algebraic Graph Rewriting with Controlled Embedding (Long Version)
复制标题
同意——受控嵌入的代数图重写（长版）
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
L. Ribeiro
中科院分区：
文献类型：
--
作者：
Ana Corradini;D. Duval;R. Echahed;F. Prost;L. Ribeiro
在文献中提出的几种代数图变换方法都确保了如果一个项被规则保留，那么它与嵌入它的上下文图的连接也是如此。但是，在某些应用中，例如在克隆一个项目时，需要为原始项目和副本指定不同的嵌入。因此，我们提出了这些方法的保守扩展，其中规则可以指定如何更改保留项的嵌入，通常是通过删除某些连接。
The several algebraic approaches to graph transformation proposed in the literature all ensure that if an item is preserved by a rule, so are its connections with the context graph where it is embedded. But there are applications in which it is desirable, for example when cloning an item, to specify different embeddings for the original and for the copy. Therefore we propose a conservative extension of these approaches where a rule can specify how the embedding of a preserved item should be changed, typically by removing certain connections.