AGREE -- Algebraic Graph Rewriting with Controlled Embedding (Long Version)
Theoretical Computer Science(2014)
摘要
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.
更多查看译文
关键词
Rewrite systems,Graph transformation,Algebraic methods
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络