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

计算机科学与探索 ›› 2011, Vol. 5 ›› Issue (4): 356-366.

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

闫艳, 黄志球, 袁敏, 沈国华

南京航空航天大学信息科学与技术学院, 南京 210016

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-04-01 发布日期:2011-04-01

Modeling of Service-oriented Transactions in Multi-participants Coordination

YAN Yan, HUANG Zhiqiu, YUAN Min, SHEN Guohua

College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China

Received:1900-01-01 Revised:1900-01-01 Online:2011-04-01 Published:2011-04-01

摘要/Abstract

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

关键词: Web服务, 协调, Pi-演算

Abstract: To assure the correct and consistent execution of Web services, it is important to adopt a formal method to specify coordination processing in Web services. Based on the 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.

Key words: Web service, coordination, Pi-calculus

闫艳, 黄志球, 袁敏, 沈国华. 面向服务的多参与者协调事务建模方法[J]. 计算机科学与探索, 2011, 5(4): 356-366.

YAN Yan, HUANG Zhiqiu, YUAN Min, SHEN Guohua. Modeling of Service-oriented Transactions in Multi-participants Coordination[J]. Journal of Frontiers of Computer Science and Technology, 2011, 5(4): 356-366.

[1]	张呈玲，李进金，林艺东. 不协调决策形式背景的矩阵型属性约简[J]. 计算机科学与探索, 2020, 14(3): 534-540.
[2]	李吟，方建勇，江梦. 面向需求覆盖的Web服务自动化测试框架[J]. 计算机科学与探索, 2017, 11(11): 1747-1763.
[3]	何一凡，黄志球，孙艺. 面向Web服务组合的pivot事务嵌套模型[J]. 计算机科学与探索, 2015, 9(8): 926-934.
[4]	苏鹏，冯志勇，陈世展. 交互式Web服务语义增强[J]. 计算机科学与探索, 2015, 9(6): 682-691.
[5]	张雪洁，王志坚，张伟建. 基于混合协同过滤的个性化Web服务推荐[J]. 计算机科学与探索, 2015, 9(5): 565-574.
[6]	田刚，何克清，孙承爱，赵卫东，赵一. Web服务描述的本体学习方法[J]. 计算机科学与探索, 2015, 9(5): 575-585.
[7]	江书荣，杨红强，米据生. 对偶概念格的属性约简[J]. 计算机科学与探索, 2015, 9(4): 501-506.
[8]	翟翠红，秦克云. 决策表中基于对象的μ-约简方法研究[J]. 计算机科学与探索, 2014, 8(4): 467-472.
[9]	翟岩慧，李德玉，曲开社 . 形式概念分析的逆向研究[J]. 计算机科学与探索, 2014, 8(12): 1511-1516.
[10]	陆嘉俊，黄志球，王进，沈国华，柯昌博. 面向行为的Web服务组合隐私策略描述研究[J]. 计算机科学与探索, 2013, 7(7): 592-601.
[11]	魏强，金芝，李戈，李力行. 物联网服务发现初探：传统SOA的可行性和局限性[J]. 计算机科学与探索, 2013, 7(2): 97-113.
[12]	叶荣华，冯伟. 基于规划图的主动服务组合需求模型[J]. 计算机科学与探索, 2013, 7(2): 169-179.
[13]	颜友军，许蕾，陈林，李言辉. 面向智能移动平台的Web服务推送技术研究[J]. 计算机科学与探索, 2012, 6(7): 602-611.
[14]	朱建锋，彭鑫，赵文耘. 支持成本效益分析的Web服务容错策略规划方法[J]. 计算机科学与探索, 2012, 6(4): 309-318.
[15]	赵亮，黄志球，刘林源. Web服务组装中的隐私暴露分析方法[J]. 计算机科学与探索, 2012, 6(4): 319-326.