服务模型语义完备性判定方法与语义增强策略

为准确地表达服务，需要衡量对服务模型的语义表达能力，并对缺失部分进行语义增强。为此，提出一种基于图论的服务模型语义完备性判定方法。通过扩展子图引入超子图概念，给出了可服务模型语义完备性判定定理及证明。通过完备性验证算法及一系列度量指标，验证并度量了服务语义在服务模型表示中的完备程度，并根据验证和度量的结果，给出不同的语义增强策略。最后，在特定的服务语义范围内，对统一建模语言、业务流程建模符号和服务模型驱动的体系结构等三种模型的语义完备性进行了判定和对比分析。