论文部分内容阅读
BPEL作为一种重要的web服务组合语言,它的正确与否直接影响到最终组合后服务的正确性.针对BPEL流程中可能存在的流程与被调用的服务不相容的问题(包括接口的不相容与行为上的死锁),提出了一种基于UML和扩展的类型pi演算的BPEL相容性的检测方法、对BPEL流程中的静态相容性和行为相容性同时进行检测,并对静态相容给出了适配器生成方法.本文用一个多媒体会议系统中的申请发言的BPEL流程来验证算法的正确性和有效性。