10.3969/j.issn.1001-3695.2010.10.041
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