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] Stress control for a well-structured life
Goldstone, David C.
Baker, Edward N.
JOURNAL OF BIOLOGICAL CHEMISTRY, 2018, 293 (16) : 5806 - 5807
[32] Modelling Well-structured Argumentation Lines
Martinez, Diego C.
Garcia, Alejandro J.
Simari, Guillermo R.
20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 465 - 470
[33] A Small yet Well-Structured Step
Jiang, Jovia
Liu, Tianyu
Osterland, Anke
Squillaci, Marco Antonio
Wen, Xi
SMALL STRUCTURES, 2022, 3 (01):
[34] The importance of a well-structured strategy of transitions
Verplaetze, A
FIFTY YEARS AFTER BRETTON WOODS: THE NEW CHALLENGE OF EAST-WEST PARTNERSHIP FOR ECONOMIC PROGRESS, 1996, : 232 - 234
[35] The Structure of Ill-Structured (and Well-Structured) Problems Revisited
Stephen K. Reed
Educational Psychology Review, 2016, 28 : 691 - 716
[36] Synthesis and Assembly of Well-structured Hybrid Microgels
Suzuki, Daisuke
Kawaguchi, Haruma
TRANSACTIONS OF THE MATERIALS RESEARCH SOCIETY OF JAPAN, VOL 33, NO 2, 2008, 33 (02): : 365 - 368
[37] WELL-STRUCTURED FHMA CODEBOOKS - A GEOMETRIC APPROACH
JEVTIC, DB
IEEE TRANSACTIONS ON COMMUNICATIONS, 1991, 39 (10) : 1427 - 1432
[38] The Structure of Ill-Structured (and Well-Structured) Problems Revisited
Reed, Stephen K.
EDUCATIONAL PSYCHOLOGY REVIEW, 2016, 28 (04) : 691 - 716
[39] SOCA-DSEM: a Well-Structured SOCA Development Systems Engineering Methodology
Rodriguez-Martinez, Laura C.
Duran-Limon, Hector A.
Mora, Manuel
Rodriguez, Francisco Alvarez
COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2019, 16 (01) : 19 - 44
[40] PREFERENTIAL FLOW PROCESSES IN WELL-STRUCTURED SOILS
SMETTEM, KRJ
JOURNAL OF THE GEOLOGICAL SOCIETY, 1983, 140 (MAR) : 322 - 322

← 1 2 3 4 5 →