Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation

Authors:
Moritz Martens;Mila Majster-Cederbaum
Affiliations:
-;-
Venue:
TASE '09 Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
Year:
2009

Citing 0
Cited 2

Analyzing component-based systems on the basis of architectural constraints

FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Deadlock-freedom in component systems with architectural constraints

Formal Methods in System Design

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a compositional analysis of deadlock-freedom in component systems with multiway cooperation. We require the systems to satisfy architectural constraints which make 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.