Deadlock-freedom in component systems with architectural constraints
Deadlock-freedom in component systems with architectural constraints
复制标题
具有架构约束的组件系统中的死锁自由度
DOI：
10.1007/s10703-012-0160-6
复制
发表时间：
2012
影响因子：
0.8
通讯作者：
Mila Majster-Cederbaum
中科院分区：
文献类型：
--
作者：
Moritz Martens;Mila Majster-Cederbaum
本文提出了一种多路协作构件系统中无死锁的组合分析方法。我们要求系统满足一个架构约束，确保组件之间的通信结构是由一棵树。只有对组件进行检查的分析，因此成本是多项式的大小input.We简短地讨论了原型算法，这是基于我们的研究结果，可用于调查的死锁自由的系统满足建筑约束。
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.
登录
查看更多内容
交叉检查 - 基于组件的系统的可达全局状态空间的增强过度近似
DOI：
10.1007/978-3-642-04420-5_18
发表时间：
2009
期刊：
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
影响因子：
--
作者：
M. Majster;Christoph Minnameier
通讯作者：
Christoph Minnameier
DOI：
10.1016/j.scico.2013.02.006
发表时间：
2013
期刊：
Sci. Comput. Program.
影响因子：
--
作者：
Christian Lambertz;Mila E. Majster-Cederbaum
通讯作者：
Mila E. Majster-Cederbaum
一类简单的沟通模式
DOI：
10.1007/978-1-4612-5695-3_60
发表时间：
1982
期刊：
IEEE Trans. Software Eng.
影响因子：
--
作者：
C. S. Scholten;E. Dijkstra
通讯作者：
E. Dijkstra
交互系统中的一切都是 PSPACE-Complete
DOI：
10.1007/978-3-540-85762-4_15
发表时间：
2008
期刊：
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
影响因子：
--
作者：
M. Majster;Christoph Minnameier
通讯作者：
Christoph Minnameier
关于复合组件的可观察行为
DOI：
10.1016/j.entcs.2009.12.035
发表时间：
2008
期刊：
Sci. Comput. Program.
影响因子：
--
作者：
R. Hennicker;Stephan Janisch;Alexander Knapp
通讯作者：
Alexander Knapp