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

摘要：

为了保证Web服务组合执行获得正确一致的结果,用形式化方法研究Web服务事务处理的协调过程是很重要的.基于Web服务事务规范(Web services transaction,WS-TX),提出了一种由业务流程执行语言(business process execution language,BPEL)自动生成Web服务多参与者协调事务模型的方法.介绍了Web服务协调的Pi-演算建模方法,阐述了如何由BPEL描述的业务流程建立服务协调事务模型,进一步给出了自动生成该协调模型的算法描述,并通过具体实例说明了该方法的正确性及可行性.

关键词：Web服务、协调、Pi-演算

所属期刊栏目：5

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

资助基金：The National High-Tech Research and Development Plan of China under Grant No.2009AA010307 国家高技术研究发展计划863;the Natural Science Foundation of Hunan Province of China under Grant No.09JJ3114;the Research Fund of Nanjing University of Aeronautics and Astronautics of China under Grant No.NS2010108

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

页数：共11页

页码：356-366