Deadlock-freedom in component systems with architectural constraints

被引：2

作者：

Martens, Moritz ^{[1
]}

Majster-Cederbaum, Mila ^{[2
]}

机构：

[1] Tech Univ Dortmund, Fac Comp Sci, Chair Software Engn, D-44221 Dortmund, Germany

[2] Univ Mannheim, Fac Math & Comp Sci, Chair Pract Comp Sci 2, D-68131 Mannheim, Germany

来源：

FORMAL METHODS IN SYSTEM DESIGN | 2012年 / 41卷 / 02期

关键词：

Component systems; Deadlock-freedom; Architectural constraints; Interaction systems; Sufficient condition; MULTIPARTY INTERACTIONS; AUTOMATIC VERIFICATION; CONCURRENT SYSTEMS; MODEL CHECKING;

D O I：

10.1007/s10703-012-0160-6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We present a compositional analysis of deadlock-freedom in component systems with multiway cooperation. We require the systems to satisfy an architectural constraint which makes sure that the communication structure between the components is given by a tree. Only pairs of components have to be examined for the analysis, therefore the cost is polynomial in the size of the input. We shortly discuss a prototype algorithm which is based on our results and can be used for the investigation of deadlock-freedom of systems satisfying the architectural constraint.

引用

页码：129 / 177

页数：49

共 50 条

[41] Deadlock-free Scheduling of Flexible Manufacturing Systems Subject to No-Wait Constraints
Yin, Pei
Luo, JianChao
2023 9TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND ROBOTICS, ICCAR, 2023, : 130 - 135
[42] FREEDOM FROM DEADLOCK OF SAFE LOCKING POLICIES
YANNAKAKIS, M
SIAM JOURNAL ON COMPUTING, 1982, 11 (02) : 391 - 408
[43] An Architectural Approach to Safety of Component-based Robotic Systems
Jung, Min Yang
Kazanzides, Peter
2016 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2016, : 3360 - 3366
[44] Monitoring architectural properties in dynamic component-based systems
Muccini, Henry
Polini, Andrea
Ricci, Fabiano
Bertolino, Antonia
COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4608 : 124 - +
[45] CONSTRAINTS ON FREEDOM
MILLER, D
ETHICS, 1983, 94 (01) : 66 - 86
[46] Freedom and Constraints
Stewart, John
CONSTRUCTIVIST FOUNDATIONS, 2014, 9 (02): : 186 - 186
[47] Checking Architectural and Implementation Constraints for Domain-Specific Component Frameworks using Models
Noguera, Carlos
Loiret, Frederic
2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, : 125 - +
[48] DYNAMICS OF SYSTEMS WITH NONINTEGRABLE CONSTRAINTS .5. FREEDOM PRINCIPLE AND CONDITION OF IDEAL CONSTRAINTS
KOZLOV, VV
VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1988, (06): : 51 - 54
[49] P systems with deadlock
Besozzi, D
Ferretti, C
Mauri, G
Zandron, C
BIOSYSTEMS, 2003, 70 (02) : 95 - 105
[50] CONSTRAINTS ON THE INPUT FUNCTIONS OF SYSTEMS WITH AN INFINITE NUMBER OF DEGREES OF FREEDOM
KOZLOVSKIY, VV
TELECOMMUNICATIONS AND RADIO ENGINEERING, 1985, 39-4 (09) : 90 - 93

← 1 2 3 4 5 →