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 条
  • [1] Application of Graph Transformation in Verification of Dynamic Systems
    Langari, Zarrin
    Trefler, Richard
    [J]. INTEGRATED FORMAL METHODS, PROCEEDINGS, 2009, 5423 : 261 - 276
  • [2] Stochastic graph transformation systems
    Heckel, Reiko
    Lajios, Georgios
    Menge, Sebastian
    [J]. FUNDAMENTA INFORMATICAE, 2006, 74 (01) : 63 - 84
  • [3] Stochastic graph transformation systems
    Department of Computer Science, University of Leicester, United Kingdom
    不详
    [J]. Fundam Inf, 2006, 1 (63-84):
  • [4] Stochastic graph transformation systems
    Heckel, R
    Lajios, G
    Menge, S
    [J]. GRAPH TRANSFORMATIONS, PROCEEDINGS, 2004, 3256 : 210 - 225
  • [5] Graph transformation systems in CHR
    Raiser, Frank
    [J]. Logic Programming, Proceedings, 2007, 4670 : 240 - 254
  • [6] Dynamic change management by distributed graph transformation: Towards configurable distributed systems
    Taentzer, G
    Goedicke, M
    Meyer, T
    [J]. THEORY AND APPLICATION TO GRAPH TRANSFORMATIONS, 2000, 1764 : 179 - 193
  • [7] A graph transformation system model of dynamic reorganization in multi-agent systems
    Wang, Zheng-guang
    Liang, Xiao-hui
    Zhao, Qin-ping
    [J]. INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2006, PROCEEDINGS, 2006, 4224 : 1182 - 1190
  • [8] A temporal graph logic for verification of graph transformation systems
    Baldan, Paolo
    Corradini, Andrea
    Koenig, Barbara
    Lafuente, Alberto Lluch
    [J]. RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2007, 4409 : 1 - +
  • [9] Graph transformation through graph surfing in reaction systems
    Kreowski, Hans-Joerg
    Rozenberg, Grzegorz
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 109
  • [10] On the Observable Behavior of Graph Transformation Systems
    Heckel, Reiko
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (48): : 1 - 1
12345