Abstract Graph Transformation

被引：33

作者：

Rensink, Arend ^{[1
]}

Distefano, Dino ^{[2
]}

机构：

[1] Univ Twente, Dept Comp Sci, Enschede, Netherlands

[2] Queen Mary Univ London, Dept Comp Sci, London, England

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2006年 / 157卷 / 01期

关键词：

Graph Transformation; Abstract Interpretation; Model Checking; Verification;

D O I：

10.1016/j.entcs.2006.01.022

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Graphs may be used as representations of system states in operational semantics and model checking; in the latter context, they are being investigated as an alternative to bit vectors. The corresponding transitions are obtained as derivations from graph production rules. In this paper we propose an abstraction technique in this framework: the state graphs are contracted by collecting nodes that are sufficiently similar (resulting in smaller states and a finite state space) and the application of the graph production rules is lifted to this abstract level. Since graph abstractions and rule applications can all be computed completely automatically, we believe that this can be the core of a practically feasible technique for software model checking.

引用

页码：39 / 59

页数：21

共 50 条

[31] Applying a Model Transformation Taxonomy to Graph Transformation Technology [J].

Mens, Tom ;

Van Gorp, Pieter ;

Varro, Daniel ;

Karsai, Gabor .

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 152 :143-159

[32] Two-Level Reasoning About Graph Transformation Programs [J].

Makhlouf, Amani ;

Christian, Percebois ;

Tran, Hanh Nhi .

GRAPH TRANSFORMATION, ICGT 2019, 2019, 11629 :111-127

[33] Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance [J].

Brenas, Jon Hael ;

Strecker, Martin ;

Echahed, Rachid ;

Shaban-Nejad, Arash .

IEEE ACCESS, 2018, 6 :64728-64741

[34] A framework for the verification of infinite-state graph transformation systems [J].

Baldan, Paolo ;

Corradini, Andrea ;

Koenig, Barbara .

INFORMATION AND COMPUTATION, 2008, 206 (07) :869-907

[35] A Functional Reformulation of UnCAL Graph-Transformations Or, Graph Transformation as Graph Reduction [J].

Matsuda, Kazutaka ;

Asada, Kazuyuki .

PROCEEDINGS OF THE 2017 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'17), 2017, :71-82

[36] Model Transformation From VisualOCL to OCL Using Graph Transformation [J].

Ehrig, Karsten ;

Winkelmann, Jessica .

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 152 :23-37

[37] A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation [J].

Rahmoune, Yasmina ;

Chaoui, Allaoua ;

Kerkouche, Elhillali .

10TH INTERNATIONAL CONFERENCE ON FUTURE NETWORKS AND COMMUNICATIONS (FNC 2015) / THE 12TH INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS AND PERVASIVE COMPUTING (MOBISPC 2015) AFFILIATED WORKSHOPS, 2015, 56 :612-617

[38] Infinite-state graph transformation systems under adverse conditions [J].

Oezkan, Okan .

IT-INFORMATION TECHNOLOGY, 2021, 63 (5-6) :311-320

[39] Graph transformation expert system (GTES) [J].

Li, GQ ;

Ge, QH ;

Zhong, L ;

Xie, WP .

FOURTH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN AND COMPUTER GRAPHICS, 1996, 2644 :15-19

[40] Infinitely Deep Graph Transformation Networks [J].

Zhang, Lei ;

Zhang, Qisheng ;

Chen, Zhiqian ;

Sun, Yanshen ;

Lu, Chang-Tien ;

Zhao, Liang .

23RD IEEE INTERNATIONAL CONFERENCE ON DATA MINING, ICDM 2023, 2023, :778-787

← 1 2 3 4 5 →