Well-structured graph transformation systems

被引：4
|
作者：
Koenig, Barbara [1 ]
Stueckrath, Jan [1 ]
机构：
[1] Univ Duisburg Essen, Abt Informat & Angew Kognit Wissensch, Lotharstr 65, D-47057 Duisburg, Germany
来源：
INFORMATION AND COMPUTATION | 2017年 / 252卷
关键词：
VERIFICATION;
D O I：
10.1016/j.ic.2016.03.005
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Graph transformation systems (GTSs) can be seen as well-structured transition systems (WSTSs) and via well-structuredness it is possible to obtain decidability results for certain classes of GTSs. We present a generic framework, parameterized over the well-quasi-order (wqo), in which several types of GTSs can be seen as (restricted) WSTSs. We instantiate this framework with three orders: the minor ordering, the subgraph ordering and the induced subgraph ordering. Furthermore we consider two case studies where we apply the theory to analyzea leader election protocol and a simple access rights management system with our tool Uncover. (C) 2016 Elsevier Inc. All rights reserved.
引用
收藏
页码：71 / 94
页数：24
相关论文
共 50 条
  • [31] Instruction Selection by Graph Transformation
    Buchwald, Sebastian
    Zwinkau, Andreas
    PROCEEDINGS OF THE 2010 INTERNATIONAL CONFERENCE ON COMPILERS, ARCHITECTURES AND SYNTHESIS FOR EMBEDDED SYSTEMS (CASES '10), 2010, : 31 - 40
  • [32] Using deep reinforcement learning to search reachability properties in systems specified through graph transformation
    Mehrabi, Mohammad Javad
    Rafe, Vahid
    SOFT COMPUTING, 2022, 26 (18) : 9635 - 9663
  • [33] Using deep reinforcement learning to search reachability properties in systems specified through graph transformation
    Mohammad Javad Mehrabi
    Vahid Rafe
    Soft Computing, 2022, 26 : 9635 - 9663
  • [34] Sound and Complete Abstract Graph Transformation
    Steenken, Dominik
    Wehrheim, Heike
    Wonisch, Daniel
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS: SBMF 2011, 2011, 7021 : 92 - 107
  • [35] Policy Analysis and Verification by Graph Transformation Tools
    Parisi-Presicce, Francesco
    Zhao, Yujie
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 127 (01) : 101 - 112
  • [36] Using Graph Transformation and Maude to Simulate and Verify UML Models
    Chama, Wafa
    Elmansouri, Raida
    Chaoui, Allaoua
    2013 INTERNATIONAL CONFERENCE ON TECHNOLOGICAL ADVANCES IN ELECTRICAL, ELECTRONICS AND COMPUTER ENGINEERING (TAEECE), 2013, : 459 - 464
  • [37] Specification and Verification of Graph-Based Model Transformation Properties
    Selim, Gehan M. K.
    Lucio, Levi
    Cordy, James R.
    Dingel, Juergen
    Oakes, Bentley J.
    GRAPH TRANSFORMATION, 2014, 8571 : 113 - 129
  • [38] Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance
    Brenas, Jon Hael
    Strecker, Martin
    Echahed, Rachid
    Shaban-Nejad, Arash
    IEEE ACCESS, 2018, 6 : 64728 - 64741
  • [39] MS-ACO: a multi-stage ant colony optimization to refute complex software systems specified through graph transformation
    Rafe, Vahid
    Darghayedi, Mahsa
    Pira, Einollah
    SOFT COMPUTING, 2019, 23 (12) : 4531 - 4556
  • [40] Graph Representation of System of Analysis in Determining Well-Formed Construction
    Dunbar, Daniel
    Blackburn, Mark
    Hagedorn, Thomas
    Verma, Dinesh
    PROCEEDINGS OF THE 2023 CONFERENCE ON SYSTEMS ENGINEERING RESEARCH, CSER 2023, 2024, : 313 - 326
12345