Temporal Logic Based Specification of Component Interaction Protocols
Temporal Logic Based Specification of Component Interaction Protocols
复制标题
DOI：
--
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
Jun Han
中科院分区：
文献类型：
--
作者：
Jun Han
软件组件的交互协议对于正确理解和使用至关重要。在本文中，我们介绍了一种基于时序逻辑的方法来规范组件交互协议。协议规范采用对组件签名元素（即属性、操作和事件）进行交互约束的形式。特别是，这种方法允许组件交互协议/约束的增量规范。本文还对其他协议规范方法进行了比较讨论。
The interaction protocols of software components are critical to their proper understanding and use. In this paper, we introduce a temporal logic based approach to the specification of component interaction protocols. The protocol specifications take the form of interaction constraints on a component’s signature elements (i.e., attributes, operations and events). In particular, this approach allows incremental specification of component interaction protocols/constraints. The paper also provides a comparative discussion of other protocol specification approaches.