Web服务业务流程一致性验证

摘要：

在Web服务业务流程建模和实现过程中,Web服务编排从全局角度描述了Web服务参与者之间的协作和交互过程;Web服务编制描述了单个Web服务参与者与其他参与者的交互,两者的结合能有效提高服务流程建模和实现的效率以及准确性,但必须解决Web服务编排和服务编制的一致性验证问题.提出了一种基于CSP(communication sequence process)的Web服务编排语言WS-CDL(Web service choreography description language)和Web服务编制规范WS-BPEL(Web service business process execution language)间的一致性验证方法.该方法将WS-CDL和WS-BPEL均转换为CSP语言;然后基于CSP的模型检测工具PAT(process analysis toolkit)进行两者的一致性检查;最后通过一个完备的案例对该方法进行了验证,结果表明了该方法的有效性.

关键词：Web服务编排、Web服务编制、Web服务编排描述语言、Web服务业务流程执行语言、通信序列进程、一致性

所属期刊栏目：27

分类号：TP393(计算技术、计算机技术)

资助基金：国家"863"计划资助项目2007AA01Z187

在线出版日期：2011-01-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：3758-3762