Dynamic graph transformation systems

被引：0
|
作者：
Bruni, Roberto [1 ]
Melgratti, Hernan [1 ]
机构：
[1] Univ Pisa, Dept Comp Sci, Pisa, Italy
来源：
GRAPH TRANSFORMATIONS, PROCEEDINGS | 2006年 / 4178卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We introduce an extension of Graph Grammars (GGs), called Dynan tic 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.
引用
下载
收藏
页码：230 / 244
页数：15
相关论文
共 50 条
  • [21] Exploring Conflict Reasons for Graph Transformation Systems
    Lambers, Leen
    Kosiol, Jens
    Strueber, Daniel
    Taentzer, Gabriele
    GRAPH TRANSFORMATION, ICGT 2019, 2019, 11629 : 75 - 92
  • [22] A Graph Transformation Approach for Testing Timed Systems
    Hachichi, Hiba
    Kitouni, Ilham
    Bouaroudj, Kenza
    Saidouni, Djamel-Eddine
    INFORMATION AND SOFTWARE TECHNOLOGIES, 2012, 319 : 123 - 137
  • [23] Granularity of Conflicts and Dependencies in Graph Transformation Systems
    Born, Kristopher
    Lambers, Leen
    Strueber, Daniel
    Taentzer, Gabriele
    GRAPH TRANSFORMATION, ICGT 2017, 2017, 10373 : 125 - 141
  • [24] A note on modeling agent systems by graph transformation
    Knirsch, P
    Kreowski, HJ
    APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, PROCEEDINGS, 2000, 1779 : 79 - 86
  • [25] Interval Probabilistic Timed Graph Transformation Systems
    Maximova, Maria
    Schneider, Sven
    Giese, Holger
    GRAPH TRANSFORMATION, ICGT 2021, 2021, 12741 : 221 - 239
  • [26] Well-structured graph transformation systems
    Koenig, Barbara
    Stueckrath, Jan
    INFORMATION AND COMPUTATION, 2017, 252 : 71 - 94
  • [27] Formalizing architectural refactorings as graph transformation systems
    Grunske, L
    SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERNG, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING AND FIRST AICS INTERNATIONAL WORKSHOP ON SELF-ASSEMBLING WIRELESS NETWORKS, PROCEEDINGS, 2005, : 324 - 329
  • [28] Refinements and modules for typed graph transformation systems
    Grosse-Rhode, M
    Presicce, FP
    Simeoni, M
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1999, 1589 : 138 - 151
  • [29] On the use of alloy to analyze graph transformation systems
    Baresi, Luciano
    Spoletini, Paola
    GRAPH TRANSFORMATIONS, PROCEEDINGS, 2006, 4178 : 306 - 320
  • [30] Confluence of typed attributed graph transformation systems
    Heckel, R
    Küster, JM
    Taentzer, G
    GRAPH TRANSFORMATIONS, PROCEEDINGS, 2002, 2505 : 161 - 176
12345