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

摘要：

We present a compositional analysis of deadlockfreedom in component systems with multiway cooperation. We re quire 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.

作者: Moritz Martens Mila Majster-Cederbaum

作者单位: Department of Computer Science University of Mannheim Mannheim, Germany

会议类型: 国际会议

会议名称: Third International Symposium on Theoretical Aspects of Software Engineering TASE 2009(第三届软件工程理论国际研讨会)

会议地点: 天津

会议语种:英文

页码: 225-232

在线出版日期: 2009-07-29（万方平台首次上网日期，不代表论文的发表时间）