Title :
Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation
Author :
Martens, Moritz ; Majster-Cederbaum, Mila
Author_Institution :
Dept. of Comput. Sci., Univ. of Mannheim, Mannheim, Germany
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.
Keywords :
concurrency control; object-oriented programming; software architecture; architectural constraint; communication structure; component system; deadlock-freedom; multiway cooperation; Computer science; Connectors; Constraint theory; Costs; Independent component analysis; Polynomials; Software engineering; State-space methods; System recovery; Testing; architectural constraints; component systems; compositionality; deadlock-freedom; design patterns; interaction systems;
Conference_Titel :
Theoretical Aspects of Software Engineering, 2009. TASE 2009. Third IEEE International Symposium on
Conference_Location :
Tianjin
Print_ISBN :
978-0-7695-3757-3
DOI :
10.1109/TASE.2009.18
