Port Protocols for Deadlock-Freedom of Component Systems
Port Protocols for Deadlock-Freedom of Component Systems
复制标题
组件系统无死锁的端口协议
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
M. Majster
中科院分区：
文献类型：
--
作者：
Christian Lambertz;M. Majster
在基于组件的开发中，存在避免构建组件模型的全局系统行为的属性验证方法。通常，这些方法依赖于对固定大小的组件子系统的局部行为的分析。在我们的方法中，我们不仅要避免对全局行为的分析，还要避免对组件的局部行为的分析。相反，我们考虑称为端口协议的本地行为的非常小的部分，足以验证属性。
In component-based development, approaches for property verification exist that avoid building the global system behavior of the component model. Typically, these approaches rely on the analysis of the local behavior of fixed sized subsystems of components. In our approach, we want to avoid not only the analysis of the global behavior but also of the local behaviors of the components. Instead, we consider very small parts of the local behaviors called port protocols that suffice to verify properties.