| 面向服务的多参与者协调事务建模方法 |
| |
| 引用本文： | 闫艳,黄志球,袁敏,沈国华.面向服务的多参与者协调事务建模方法[J].计算机科学与探索,2011,5(4):356-366. |
| |
| 作者姓名： | 闫艳 黄志球 袁敏 沈国华 |
| |
| 作者单位： | 南京航空航天大学,信息科学与技术学院,南京,210016 |
| |
| 基金项目： | The National High-Tech Research and Development Plan of China under Grant No.2009AA010307 (国家高技术研究发展计划，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 |
| |
| 摘 要： | 为了保证Web服务组合执行获得正确一致的结果,用形式化方法研究Web服务事务处理的协调过程是很重要的。基于Web服务事务规范(Web services transaction,WS-TX),提出了一种由业务流程执行语言(business process execution language,BPEL)自动生成Web服务多参与者协调事务模型的方法。介绍了Web服务协调的Pi-演算建模方法,阐述了如何由BPEL描述的业务流程建立服务协调事务模型,进一步给出了自动生成该协调模型的算法描述,并通过具体实例说明了该方法的正确性及可行性。
|
| 关 键 词： | Web服务 协调 Pi-演算 |
| 修稿时间： | |
Modeling of Service-oriented Transactions in Multi-participants Coordination |
| |
| YAN Yan,HUANG Zhiqiu,YUAN Min,SHEN Guohua.Modeling of Service-oriented Transactions in Multi-participants Coordination[J].Journal of Frontier of Computer Science and Technology,2011,5(4):356-366. |
| |
| Authors: | YAN Yan HUANG Zhiqiu YUAN Min SHEN Guohua |
| |
| Affiliation: | College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China |
| |
| Abstract: | |
| |
| Keywords: | Web service coordination Pi-calculus |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学与探索》浏览原始摘要信息 |
|
点击此处可从《计算机科学与探索》下载全文 |
|
