基于UML和扩展的类型pi演算的BPEL相容性的检测与适配
BPEL作为一种重要的web服务组合语言,它的正确与否直接影响到最终组合后服务的正确性.针对BPEL流程中可能存在的流程与被调用的服务不相容的问题(包括接口的不相容与行为上的死锁),提出了一种基于UML和扩展的类型pi演算的BPEL相容性的检测方法、对BPEL流程中的静态相容性和行为相容性同时进行检测,并对静态相容给出了适配器生成方法.本文用一个多媒体会议系统中的申请发言的BPEL流程来验证算法的正确性和有效性。
Web服务 BPEL流程 相容性 类型pi演算
邓娜 程渤 陈俊亮 李德胜 李常宝
北京邮电大学网络与交换技术国家重点实验室 北京 100876
国内会议
哈尔滨
中文
358-365
2010-08-10(万方平台首次上网日期,不代表论文的发表时间)