Web服务业务流程执行语言交互兼容性判定

为验证两个Web服务业务流程执行语言描述的Web服务是否交互兼容，提出了一种基于Petri网对服务进行建模和交互兼容性判定的方法。基于Petri网模型定义了服务网，给出了WS-BPEL控制结构到服务网模型的映射规则，将服务之间的交互兼容性的判定转换为对服务组合网的接口匹配和结构属性的判定，提出了一种基于服务网路径进行服务交互兼容性判定的方法，并设计了相关算法。通过实例验证了该方法的有效性。