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 条

[21] A fast and well-structured multiplier
Kang, JY
Gaudiot, JL
PROCEEDINGS OF THE EUROMICRO SYSTEMS ON DIGITAL SYSTEM DESIGN, 2004, : 508 - 515
[22] Hardness Results for Coverability Problem of Well-Structured Pushdown Systems
Li, Chunmiao
Cai, Xiaojuan
LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2017), 2017, 10168 : 435 - 446
[23] Well-structured futures and cache locality
Herlihy M.
Liu Z.
1600, Association for Computing Machinery, 2 Penn Plaza, Suite 701, New York, NY 10121-0701, United States (02):
[24] Decidability results for well-structured transition systems with auxiliary storage
Chadha, R.
Viswanathan, M.
CONCUR 2007 - CONCURRENCY THEORY, PROCEEDINGS, 2007, 4703 : 136 - +
[25] INDEFINITE GOALS IN WELL-STRUCTURED PROBLEMS
GREENO, JG
PSYCHOLOGICAL REVIEW, 1976, 83 (06) : 479 - 491
[26] Well-Structured Futures and Cache Locality
Herlihy, Maurice
Liu, Zhiyu
ACM SIGPLAN NOTICES, 2014, 49 (08) : 155 - 166
[27] PRECISE DOCUMENTATION OF WELL-STRUCTURED PROGRAMS
PARNAS, DL
MADEY, J
IGLEWSKI, M
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (12) : 948 - 976
[28] A well-structured metastable ceria surface
Olbrich, R.
Pieper, H. H.
Oelke, R.
Wilkens, H.
Wollschlaeger, J.
Zoellner, M. H.
Schroeder, T.
Reichling, M.
APPLIED PHYSICS LETTERS, 2014, 104 (08)
[29] SOME THOUGHTS ON WELL-STRUCTURED PROGRAMS
JONES, BD
PERSONAL COMPUTING, 1983, 7 (04): : 195 - 195
[30] Using well-structured transition systems to decide divergence for catalytic P systems
Busi, Nadia
THEORETICAL COMPUTER SCIENCE, 2007, 372 (2-3) : 125 - 135

← 1 2 3 4 5 →