论文部分内容阅读
针对已有方法不支持同时对服务的语义、接口和协议层进行相容性分析的问题，提出了一种基于语义、接口和协议信息的服务相容性分析及相容度计算方法。通过对确定有限自动机DFA进行语义接口协议扩展以建模服务的语义、接口和协议信息，在此基础上，给出了服务之间3种相容性的形式化定义。利用服务之间行为路径对的对偶关系来分析2个服务之间的相容性，并计算其相容度证明了该方法的正确性，通过实例分析表明了方法的有效性。