摘要
注释表
第一章 绪论
1.1 引言
1.2 研究现状
1.2.1 事务处理技术的发展
1.2.2 业务流程与事务建模方法
1.2.3 服务组合与事务验证技术
1.3 研究内容
1.3.1 问题分析
1.3.2 问题提出
1.4 本文工作和贡献
1.5 本文的组织结构
第二章 支持事务建模的移动进程演算
2.1 引言
2.2 MPi-演算
2.2.1 基本语法
2.2.2 结构同余
2.2.3 操作语义
2.3 互模拟与等价关系
2.4 相关工作比较
2.5 本章小结
第三章 等价自动机转换的模型验证方法
3.1 引言
3.2 模型验证框架
3.3 模型转换方法
3.3.1 进程的状态标识
3.3.2 进程的SMV编码
3.4 实例验证及分析
3.5 相关工作比较
3.6 本章小结
第四章 流程内Web服务协调的一致性分析
4.1 引言
4.2 协调行为建模
4.2.1 业务活动协议
4.2.2 协议形式化描述
4.2.3 服务协调模型
4.3 实例验证及分析
4.4 相关工作比较
4.5 本章小结
第五章 流程内Web服务事务的等价性分析
5.1 引言
5.2 柔性事务与依赖关系
5.3 事务膜互模拟
5.4 实例建模与分析
5.4.1 实例建模
5.4.2 事务等价分析
5.4.3 实验评价与分析
5.5 相关工作比较
5.6 本章小结
第六章 流程间多业务流程的可靠性分析
6.1 引言
6.2 多业务事务协调机制
6.3 跨组织协调行为的描述
6.4 跨组织多业务事务建模
6.5 实例验证及分析
6.5.1 实例验证
6.5.2 实验评价与分析
6.6 相关工作比较
6.7 本章小结
第七章 面向服务的业务事务验证支撑系统
7.1 引言
7.2 系统框架
7.3 原型工具
7.3.1 MPi-演算解析器
7.3.2 转换适配器
7.3.3 SMV程序产生器
7.3.4 反例分析器
7.4 案例分析
7.5 相关工作比较
7.6 本章小结
第八章 结束语
8.1 工作总结
8.2 研究展望
参考文献
致谢
在学期间发表的学术论文与研究成果
攻读博士学位期间主持或参加的科研项目
附录
附录1 MPi-演算标识轨迹文件
附录2 SMV程序代码文件
附录3 模型检测反例信息