支持业务事务验证的服务协调模型

• 作者: 李祥 袁敏 黄志球
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 服务协调 业务流程 事务 形式化建模
• 年，卷（期）: 2011,（9）
• 所属期刊栏目: 服务计算与数据库技术研究
• 页码范围: 1734-1739
• 分类号: TP311
• 字数: 6865字
• 语种: 中文

摘要

在Web服务业务流程中如何保证参与者之间的协调一致性是亟待解决的重要问题.Web服务事务规范中描述的参与者之间的交互消息缺乏严格的语义,无法精确地描述复杂的协调活动,本文用Pi-演算形式化描述WS -TX规范中定义业务活动事务的WS-BA协议,在此基础上建立了适用于多方参与的业务事务的服务协调模型；并利用基于等价自动机转换的HAL模型检测工具,验证分析了WS-BA协议的安全性和活性,给出一个多方参与的业务事务实例的验证过程,介绍如何利用模型检测技术来分析业务流程设计正确性的方法,有效地确保了业务事务执行的可靠性和一致性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学信息科学与技术学院	183	1755	20.0	33.0
2	袁敏	南京航空航天大学信息科学与技术学院	11	40	4.0	5.0
6	李祥	南京航空航天大学信息科学与技术学院	1	0	0.0	0.0