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

• 作者: 沈国华 袁敏 闫艳 黄志球
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: Web服务 协调 Pi-演算
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 学术研究
• 页码范围: 356-366
• 分类号: TP301
• 字数: 7183字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2011.04.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学信息科学与技术学院	183	1755	20.0	33.0
2	沈国华	南京航空航天大学信息科学与技术学院	38	330	11.0	16.0
3	闫艳	南京航空航天大学信息科学与技术学院	1	6	1.0	1.0
4	袁敏	南京航空航天大学信息科学与技术学院	7	51	5.0	7.0