包含协议和语义的构件一致性验证方法

在基于构件的系统设计中，需要对构件的一致性进行验证。构件的一致性包括语义一致性和协议一致性，已有的一致性验证方法仅支持构件的协议一致性验证。而在实际应用中除了要进行构件的协议一致性验证外，还需要进行其语义一致性验证。为此提出了一种包含协议和语义的构件一致性验证方法。所提方法将方法语义与基于场景的需求规约相结合，使用语义扩展接口自动机模型(SIA)来建模构件的语义和协议信息，使用带有语义约束的UML交互概观图来表示基于场景的需求规约。通过对SIA和带语义约束的UML交互概观图的行为的理论分析，进一步形成了一种一致性验证算法，并用实例来说明其过程。该算法不仅能够检验系统中构件的协议一致性，而且能够检验其语义一致性。该算法中的方法语义包括了该方法参数的类型和详细语义信息，更符合实际应用情形。

A component consistency verification method with both protocol and semantics

In the design of component-based system, it is required to verify the component consistency which includes semantics consistency and protocol consistency. The existing consistency verification methods are able to verify only the protocol consistency. In practical application, it is required to verify the semantics consistency besides the protocol consistency. In order to make the consistency verification method able to verify both semantics consistency and protocol consistency, this paper proposes a component consistency verification method with both protocol and semantics by introducing the idea of method semantics into scenario-based specifications. The semantic extended interface automata (SIA) model is utilized to describe the semantics and protocols information of components. The scenario-based specifications are specified by UML interaction overview diagrams with semantic constrains. Then according to the analysis of the behavior of SIA model and UML interaction overview diagrams with semantic constrains, this paper develops an algorithm to verify the consistency between component-based designs and the scenario-based semantic specifications, and illustrates it by a real example. This algorithm not only can verify the protocol consistency but also can verify the semantic consistency which includes the type and semantic of methods and is more suitable to the cases of practical application.