支持语义、接口和协议的服务相容性分析

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