Analyzing Component-Based Systems on the Basis of Architectural Constraints
Analyzing Component-Based Systems on the Basis of Architectural Constraints
复制标题
在架构约束的基础上分析基于组件的系统
DOI：
10.1007/978-3-642-29320-7_5
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
M. Majster
中科院分区：
文献类型：
--
作者：
Christian Lambertz;M. Majster
基于组件的开发（CBD）是一种控制设计复杂性的有前途的方法。此外，有关组件系统架构的知识可以帮助建立重要的系统属性，由于状态空间爆炸问题，这通常在计算上很困难。扩展之前的工作，我们在这里研究新型不相交循环无等待组件系统，并展示如何使用架构信息来建立多项式时间内无死锁这一重要属性的条件。包含一个运行示例。我们使用交互系统的框架，但我们的结果也适用于其他 CBD 模型。
Component-based development (CBD) is a promising approach to master design complexity. In addition, the knowledge about the architecture of a component system 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 important property of deadlock-freedom in polynomial time. A running example is included. We use the framework of interaction systems, but our result carries over to other CBD models.
树状组件系统中的可达性是 PSPACE 完全的
DOI：
10.1016/j.entcs.2010.05.012
发表时间：
--
期刊：
影响因子：
--
作者：
Mila Majster-Cederbaum;Nils Semmelrock
通讯作者：
Nils Semmelrock