Dynamic Graph Transformation Systems
Dynamic Graph Transformation Systems
复制标题
动态图转换系统
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Hernán C. Melgratti
中科院分区：
文献类型：
--
作者：
R. Bruni;Hernán C. Melgratti
我们引入了图文法(GGs)的一种扩展，称为动态图文法(DyGGs)，其中乘积的右端可以产生类型图的新部分和在其上操作的新产生式。DyGGs的特性使其适合于动态网和Join演算等自反式移动系统的直接建模。我们的主要结果表明，每个动态GG可以被建模为一个(有限的)GG，因此动态生成的结构可以被静态地类型化，仍然准确地保留所有派生。
We introduce an extension of Graph Grammars (GGs), called Dynamic Graph Grammars (DynGGs), where the right-hand side of a production can spawn fresh parts of the type graph and fresh productions operating on it. The features of DynGGs make them suitable for the straightforward modeling of reflexive mobile systems like dynamic nets and the Join calculus. Our main result shows that each DynGG can be modeled as a (finite) GG, so that the dynamically generated structure can be typed statically, still preserving exactly all derivations.