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 条

[41] Parallel Degree of Well-Structured Workflow Nets
Qu, Nan
Yamaguchi, Shingo
Ge, Qi-Wei
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2010, E93A (12) : 2730 - 2739
[42] Well-Structured Program Equivalence Is Highly Undecidable
Goldblatt, Robert
Jackson, Marcel
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2012, 13 (03)
[43] Preparation of well-structured organosilane layers on silica
Duchet, J
Gerard, JF
Chapel, JP
Chabert, B
COMPOSITE INTERFACES, 2001, 8 (3-4) : 177 - 187
[44] On Reachability in Acyclic Well-Structured Workflow Nets
Yamaguchi, Shingo
2012 THIRD INTERNATIONAL CONFERENCE ON NETWORKING AND COMPUTING (ICNC 2012), 2012, : 441 - 446
[45] Preferential flow variability in a well-structured soil
Williams, AG
Dowd, JF
Scholefield, D
Holden, NM
Deeks, LK
SOIL SCIENCE SOCIETY OF AMERICA JOURNAL, 2003, 67 (04) : 1272 - 1281
[46] A well-structured modified Booth multiplier design
Wang, Li-Rong
Jou, Shyh-Jye
Lee, Chung-Len
2008 INTERNATIONAL SYMPOSIUM ON VLSI DESIGN, AUTOMATION AND TEST (VLSI-DAT), PROCEEDINGS OF TECHNICAL PROGRAM, 2008, : 85 - 88
[47] Wetting properties of well-structured heterogeneous substrates
Iliev, SD
Pesheva, NC
LANGMUIR, 2003, 19 (23) : 9923 - 9931
[48] Characterizing the complexity of Boolean functions represented by well-structured graph-driven parity-FBDDS
Brosenne, H
Homeister, M
Waack, S
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2002, 36 (03): : 229 - 247
[49] Benefits of a Well-Structured Diagnostic Process in Colon Cancer
Klemann, Victor M. W. T.
Wolters, Frank L.
Konsten, Joop L. M.
DIGESTIVE SURGERY, 2011, 28 (01) : 15 - 21
[50] THE PROPOSITIONAL DYNAMIC LOGIC OF DETERMINISTIC, WELL-STRUCTURED PROGRAMS
HALPERN, JY
REIF, JH
THEORETICAL COMPUTER SCIENCE, 1983, 27 (1-2) : 127 - 165

← 1 2 3 4 5 →