面向服务的业务事务建模与验证方法研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-15页 |
| 第一章 绪论 | 第15-28页 |
| ·引言 | 第15页 |
| ·研究现状 | 第15-20页 |
| ·事务处理技术的发展 | 第15-17页 |
| ·业务流程与事务建模方法 | 第17-19页 |
| ·服务组合与事务验证技术 | 第19-20页 |
| ·研究内容 | 第20-25页 |
| ·问题分析 | 第20-21页 |
| ·问题提出 | 第21-25页 |
| ·本文工作和贡献 | 第25-26页 |
| ·本文的组织结构 | 第26-28页 |
| 第二章 支持事务建模的移动进程演算 | 第28-42页 |
| ·引言 | 第28-29页 |
| ·MPi-演算 | 第29-36页 |
| ·基本语法 | 第29-33页 |
| ·结构同余 | 第33-35页 |
| ·操作语义 | 第35-36页 |
| ·互模拟与等价关系 | 第36-39页 |
| ·相关工作比较 | 第39-41页 |
| ·本章小结 | 第41-42页 |
| 第三章 等价自动机转换的模型验证方法 | 第42-55页 |
| ·引言 | 第42页 |
| ·模型验证框架 | 第42-45页 |
| ·模型转换方法 | 第45-49页 |
| ·进程的状态标识 | 第45-48页 |
| ·进程的 SMV 编码 | 第48-49页 |
| ·实例验证及分析 | 第49-53页 |
| ·相关工作比较 | 第53-54页 |
| ·本章小结 | 第54-55页 |
| 第四章 流程内 Web 服务协调的一致性分析 | 第55-66页 |
| ·引言 | 第55页 |
| ·协调行为建模 | 第55-59页 |
| ·业务活动协议 | 第55-57页 |
| ·协议形式化描述 | 第57-58页 |
| ·服务协调模型 | 第58-59页 |
| ·实例验证及分析 | 第59-64页 |
| ·相关工作比较 | 第64-65页 |
| ·本章小结 | 第65-66页 |
| 第五章 流程内 Web 服务事务的等价性分析 | 第66-80页 |
| ·引言 | 第66页 |
| ·柔性事务与依赖关系 | 第66-68页 |
| ·事务膜互模拟 | 第68-70页 |
| ·实例建模与分析 | 第70-78页 |
| ·实例建模 | 第70-72页 |
| ·事务等价分析 | 第72-75页 |
| ·实验评价与分析 | 第75-78页 |
| ·相关工作比较 | 第78-79页 |
| ·本章小结 | 第79-80页 |
| 第六章 流程间多业务流程的可靠性分析 | 第80-96页 |
| ·引言 | 第80-81页 |
| ·多业务事务协调机制 | 第81-83页 |
| ·跨组织协调行为的描述 | 第83-85页 |
| ·跨组织多业务事务建模 | 第85-86页 |
| ·实例验证及分析 | 第86-94页 |
| ·实例验证 | 第87-91页 |
| ·实验评价与分析 | 第91-94页 |
| ·相关工作比较 | 第94页 |
| ·本章小结 | 第94-96页 |
| 第七章 面向服务的业务事务验证支撑系统 | 第96-113页 |
| ·引言 | 第96页 |
| ·系统框架 | 第96-98页 |
| ·原型工具 | 第98-107页 |
| ·MPi-演算解析器 | 第100-101页 |
| ·转换适配器 | 第101-102页 |
| ·SMV 程序产生器 | 第102-106页 |
| ·反例分析器 | 第106-107页 |
| ·案例分析 | 第107-111页 |
| ·相关工作比较 | 第111-112页 |
| ·本章小结 | 第112-113页 |
| 第八章 结束语 | 第113-117页 |
| ·工作总结 | 第113-115页 |
| ·研究展望 | 第115-117页 |
| 参考文献 | 第117-125页 |
| 致谢 | 第125-126页 |
| 在学期间发表的学术论文与研究成果 | 第126-128页 |
| 攻读博士学位期间主持或参加的科研项目 | 第128-129页 |
| 附录 | 第129-136页 |
| 附录1 MPi-演算标识轨迹文件 | 第129页 |
| 附录2 SMV 程序代码文件 | 第129-132页 |
| 附录3 模型检测反例信息 | 第132-136页 |
