Efficient deadlock analysis of component-based software architectures
Efficient deadlock analysis of component-based software architectures
复制标题
基于组件的软件架构的高效死锁分析
DOI：
10.1016/j.scico.2013.02.006
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Mila E. Majster-Cederbaum
中科院分区：
文献类型：
--
作者：
Christian Lambertz;Mila E. Majster-Cederbaum
基于组件的开发（CBD）是控制大型软件产品设计复杂性的一种很有前途的方法。此外，了解这些组件系统的体系结构可以帮助建立重要的系统属性，这通常是由于状态空间爆炸问题而难以计算的。在此基础上，我们研究了一类新的不相交的圆无等待分量系统，并展示了如何利用结构信息来建立多项式时间内无死锁的性质的条件。此外，我们通过展示如何在线性时间内以保持性质的方式将任意系统转换为不相交的圆形无等待系统，并通过提供各种计算复杂性结果来强调本课程的重要性。其中包括一个正在运行的示例。我们使用交互系统的框架，但我们的结果延续到其他CBD模型。
Component-based development (CBD) is a promising approach to master the design complexity of huge software products. In addition, knowledge about the architecture of such component systems can help in establishing important system properties, which in general is computationally hard because of the state space explosion problem. Extending previous work, we here investigate the novel class of disjoint circular wait free component systems and show how we can use the architectural information to establish a condition for the property of deadlock-freedom in polynomial time. Furthermore, we emphasize the importance of this class by showing how to transform an arbitrary system into a disjoint circular wait free one in linear time and in a property preserving way and by providing various computational complexity results. A running example is included. We use the framework of interaction systems, but our results carry over to other CBD models.
登录
查看更多内容
DOI：
--
发表时间：
2010
期刊：
International Conference on Information and Computation Economies
影响因子：
--
作者：
Christian Lambertz;M. Majster
通讯作者：
M. Majster
使用彩色 Petri 网建模的软件工件的组成
影响因子：
1.3
作者：
Leandro Dias da Silva;A. Perkusich
通讯作者：
A. Perkusich
影响因子：
3.1
作者：
J. F. Groote;A. Mathijssen;M. Reniers;Y. Usenko;M. V. Weerdenburg
通讯作者：
J. F. Groote;A. Mathijssen;M. Reniers;Y. Usenko;M. V. Weerdenburg
交互系统中的一切都是 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