面向服务的多参与者协调事务建模方法  

Modeling of Service-oriented Transactions in Multi-participants Coordination

作　　者：闫艳[1] 黄志球[1] 袁敏[1] 沈国华[1] 

机构地区：[1]南京航空航天大学信息科学与技术学院,南京210016

出　　处：《计算机科学与探索》2011年第4期356-366,共11页Journal of Frontiers of Computer Science and Technology

基　　金：国家高技术研究发展计划(863)No.2009AA010307;湖南省自然科学基金No.09JJ3114;南京航空航天大学基本科研业务费专项科研项目No.NS2010108~~

摘　　要：为了保证Web服务组合执行获得正确一致的结果,用形式化方法研究Web服务事务处理的协调过程是很重要的。基于Web服务事务规范(Web services transaction,WS-TX),提出了一种由业务流程执行语言(business process execution language,BPEL)自动生成Web服务多参与者协调事务模型的方法。介绍了Web服务协调的Pi-演算建模方法,阐述了如何由BPEL描述的业务流程建立服务协调事务模型,进一步给出了自动生成该协调模型的算法描述,并通过具体实例说明了该方法的正确性及可行性。To assure the correct and consistent execution of Web specify coordination processing in Web services. Based on the services, it is important to adopt a formal method to Web services transaction （WS-TX）, an approach is proposed, which automatically models the coordination of multi-participants Web services from the business process execution language （BPEL）. The rules of modeling the Web services coordination with Pi-calculus are discussed, then the method of obtaining coordination model of BPEL process is given with algorithm description, finally the effectiveness and correctness of the proposed approach are validated through a detailed case study.

关 键 词：WEB服务 协调 PI-演算 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]