GrGen: A fast SPO-based graph rewriting tool

被引：0

作者：

Ceiss, Rubino ^{[1
]}

Batz, Cernot Veit ^{[1
]}

Grund, Daniel ^{[1
]}

Hack, Sebastian ^{[1
]}

Szalkowski, Adam ^{[1
]}

机构：

[1] Univ Karlsruhe, D-76131 Karlsruhe, Germany

来源：

GRAPH TRANSFORMATIONS, PROCEEDINGS | 2006年 / 4178卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Graph rewriting is a powerful technique that requires graph pattern matching, which is an NP-complete problem. We present GRGEN, a generative programming system for graph rewriting, which applies heuristic optimizations. According to Varro's benchmark it is at least one order of magnitude faster than any other tool known to us. Our graph rewriting tool implements the well-founded single-pushout approach. We define the notion of search plans to represent different matching strategies and equip these search plans with a cost model, taking the present host graph into account. The task of selecting a good search plan is then viewed as an optimization problem. For the ease of use, GRGEN features an expressive specification language and generates program code with a convenient interface.

引用

页码：383 / 397

页数：15

共 50 条

[21] CDR: A rewriting based tool to design FPLA circuits
Maazouzi, Z
Andrianarivelo, N
Bousdira, W
Chabin, J
ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, 2001, 1930 : 219 - 222
[22] Creating tools in a software environment based on graph rewriting rules
De Lucia, A., 2000, World Sci Publ Co Pte Ltd, Singapore, Singapore (10)
[23] Engineering Grammar-Based Type Checking for Graph Rewriting Languages
Yamamoto, Naoki
Ueda, Kazunori
IEEE ACCESS, 2022, 10 : 114612 - 114628
[24] Semantics-Preserving DPO-Based Term Graph Rewriting
Kahl, Wolfram
Zhao, Yuhang
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (288): : 26 - 37
[25] Engineering Grammar-Based Type Checking for Graph Rewriting Languages
Waseda University, Department of Computer Science and Engineering, Tokyo
169-8555, Japan
IEEE Access, (114612-114628): : 114612 - 114628
[26] Generic properties of chemical networks:: Artificial chemistry based on graph rewriting
Benkö, G
Flamm, C
Stadler, PF
ADVANCES IN ARTIFICIAL LIFE, PROCEEDINGS, 2003, 2801 : 10 - 19
[27] Supporting design patterns in graph rewriting-based model transformation
Lengyel, Laszlo
Levendovszky, Tihamer
Meszaros, Tamas
Charaf, Hassan
ENASE 2007: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2007, : 25 - 32
[28] Graph Rewriting Based Search for Molecular Structures: Definitions, Algorithms, Hardness
Althaus, Ernst
Hildebrandt, Andreas
Mosca, Domenico
SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, STAF 2017, 2018, 10748 : 43 - 59
[29] Visual Debugging Support for Graph Rewriting-based Model Transformations
Tamas Meszaros
Peter Feher
Laszlo Lengyel
2013 IEEE EUROCON, 2013, : 482 - 487
[30] Configuration planning of reconfigurable machine tools based on graph rewriting rule
Zeng, Fa-Li
Li, Ai-Ping
Xie, Nan
Xu, Li-Yun
Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2011, 17 (08): : 1766 - 1771

← 1 2 3 4 5 →