Combining Parallel Graph Rewriting and Quotient Graphs

被引:0
作者
de la Tour, Thierry Boy [1 ,2 ]
Echahed, Rachid [1 ,2 ]
机构
[1] CNRS, Grenoble, France
[2] Univ Grenoble Alpes, LIG Lab, Grenoble, France
来源
REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2020 | 2020年 / 12328卷
关键词
D O I
10.1007/978-3-030-63595-4_1
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
We define two graph transformations, one by parallelizing graph rewrite rules, the other by taking quotients of graphs. The former consists in the exhaustive application of local transformations defined by graph rewrite rules expressed in a set-theoretic framework. Compared with other approaches to parallel rewriting, we allow a substantial amount of overlapping only restricted by a condition called the effective deletion property. This transformation can be reduced by factoring out possibly many equivalent matchings by the automorphism groups of the rules. The second transformation is based on the use of equivalence relations over graph items and offers a new way of performing simultaneous merging operations. The relevance of combining the two transformations is illustrated on a running example.
引用
收藏
页码:1 / 18
页数:18
相关论文
共 25 条
[1]  
Andrew R.B., 1983, SOME REFINEMENT ALGO
[2]  
Baader F., 2006, Term Rewriting and All That
[3]  
Baldan P, 2006, LECT NOTES COMPUT SC, V4137, P279
[4]  
Boronat A, 2009, LECT NOTES COMPUT SC, V5503, P18
[5]  
de la Tour TB, 2019, Arxiv, DOI arXiv:1904.08850
[6]  
de la Tour TB, 2018, Arxiv, DOI arXiv:1808.03161
[7]   Verifying Graph Transformation Systems with Description Logics [J].
Brenas, Jon Hael ;
Echahed, Rachid ;
Strecker, Martin .
GRAPH TRANSFORMATION (ICGT 2018), 2018, 10887 :155-170
[8]   AGREE - Algebraic Graph Rewriting with Controlled Embedding [J].
Corradini, Andrea ;
Duval, Dominique ;
Echahed, Rachid ;
Prost, Frederic ;
Ribeiro, Leila .
GRAPH TRANSFORMATION (ICGT 2015), 2015, 9151 :35-51
[9]  
Correa A.S, 2018, GRAPH TRANSFORMATION, P1, DOI DOI 10.1007/978-3-319-75396-61
[10]   PARALLEL GRAPH GENERATING AND GRAPH RECURRENCE SYSTEMS FOR MULTICELLULAR DEVELOPMENT [J].
CULIK, K ;
LINDENMAYER, A .
INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 1976, 3 (01) :53-66