论文研究-包含协议和语义的构件一致性验证方法.pdf

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