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

Consistency verification for Web service business process

作　　者：吴明晖[1] 熊向辉[1] 应晶[1] 

机构地区：[1]浙江大学城市学院计算机科学与工程学系,杭州310015

出　　处：《计算机应用研究》2010年第10期3758-3762,共5页Application Research of Computers

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

摘　　要：在Web服务业务流程建模和实现过程中,Web服务编排从全局角度描述了Web服务参与者之间的协作和交互过程;Web服务编制描述了单个Web服务参与者与其他参与者的交互,两者的结合能有效提高服务流程建模和实现的效率以及准确性,但必须解决Web服务编排和服务编制的一致性验证问题。提出了一种基于CSP(communication sequence process)的Web服务编排语言WS-CDL(Web service choreography description lan-guage)和Web服务编制规范WS-BPEL(Web service business process execution language)间的一致性验证方法。该方法将WS-CDL和WS-BPEL均转换为CSP语言;然后基于CSP的模型检测工具PAT(process analysis toolkit)进行两者的一致性检查;最后通过一个完备的案例对该方法进行了验证,结果表明了该方法的有效性。During Web service business process modeling and implementing,Web choreography described collaborations and interactions among service participants globally,Web orchestration depicted the interaction between single service participant and other parties. So conjunction of the two methods could enhance efficiency and veracity of the business process modeling and implementing greatly. But the problem,how to verify the behavioral consistency of Web choreography and Web orchestration, must be solved. This paper outlined how to use CSP as the formal basis to check the behavioral consistency of Web service choreography description language WS-CDL and Web service orchestration specification WS-BPEL. After translating WS-CDL and WS-BPEL into CSP language,the consistency check could be finished by model checking tool PAT,which was CSP language based. In the end,gave a case study,which demonstrates effectiveness of the approach.

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术]