|
|||||
|
|
| 基于服务协调模型的业务事务验证方法 | |
| 引用本文： | 袁敏,黄志球,李祥,闫艳. 基于服务协调模型的业务事务验证方法[J]. 计算机集成制造系统, 2012, 18(3) |
| 作者姓名： | 袁敏 黄志球 李祥 闫艳 |
| 作者单位： | 1. 南京航空航天大学计算机科学与技术学院,江苏南京210016／湘南学院计算机科学系,湖南郴州423043 2. 南京航空航天大学计算机科学与技术学院,江苏南京,210016 |
| 基金项目： | 国家863计划资助项目，国家自然科学基金资助项目，湖南省自然科学基金资助项目，湘南学院资助科研项目 |
| 摘 要： | 为有效地保证Web服务业务活动中事务可靠地执行，提出了一种检查伙伴服务之间协调行为一致性的方法。针对长事务给出用Pi-演算建模业务活动中服务协调行为的方法；定义了标号迁移系统和Kripke结构这两种状态自动机之间的语法映射关系，提出了PI-演算进程模型到符号模型检测工具输入语言的转换方法；在模型检测结果的基础上，用反例引导用户进一步精化模型，以解决业务流程集成中参与者协调一致性问题。通过实例验证了该方法的有效性。 |
| 关 键 词： | 业务流程集成 长事务 服务协调 Pi-演算 形式化验证 Web服务 |
Business transaction verification approach based on service coordination model |
|
| Abstract: | |
| Keywords: | business process integration long-running transaetions~ service coordination Pi-calculus~ formal verifi-cation Web services |
| 本文献已被 万方数据 等数据库收录！ | |