软件服务的行为一致性分析及原型系统实现
| 摘要 | 第1-6页 |
| Abstract | 第6-8页 |
| 目录 | 第8-10页 |
| 1 绪论 | 第10-14页 |
| ·研究背景 | 第10-12页 |
| ·研究背景与意义 | 第10-11页 |
| ·一致性概念 | 第11-12页 |
| ·研究目标与关键问题 | 第12-13页 |
| ·组织结构与内容概述 | 第13-14页 |
| 2 背景技术与相关工作 | 第14-20页 |
| ·软件服务与业务过程 | 第14-17页 |
| ·软件服务 | 第14-15页 |
| ·业务过程 | 第15-17页 |
| ·软件服务的行为一致性分析方法 | 第17-19页 |
| ·基于控制流关系的行为一致性分析方法 | 第17-18页 |
| ·基于活动间约束关系的行为一致性分析方法 | 第18-19页 |
| ·本章小结 | 第19-20页 |
| 3 服务实现的行为一致性分析 | 第20-34页 |
| ·形式模型 | 第21页 |
| ·一致性度量 | 第21-26页 |
| ·总体思路 | 第22页 |
| ·活动间约束关系分析 | 第22-24页 |
| ·行为一致性分析 | 第24-26页 |
| ·案例分析 | 第26-28页 |
| ·实现 | 第28-29页 |
| ·实验 | 第29-31页 |
| ·评价 | 第31-32页 |
| ·与相关工作的比较 | 第31页 |
| ·讨论 | 第31-32页 |
| ·本章小结 | 第32-34页 |
| 4 服务实现和抽象模型之间的行为一致性分析 | 第34-48页 |
| ·一致性度量 | 第35-39页 |
| ·形式模型 | 第35-36页 |
| ·总体思路 | 第36-37页 |
| ·活动间约束关系分析 | 第37页 |
| ·行为一致性分析 | 第37-39页 |
| ·应用场景 | 第39页 |
| ·案例分析 | 第39-42页 |
| ·实现 | 第42-43页 |
| ·实验 | 第43-46页 |
| ·讨论 | 第46页 |
| ·本章小结 | 第46-48页 |
| 5 原型系统的设计与实现 | 第48-58页 |
| ·总体设计 | 第48-51页 |
| ·开发环境 | 第48-49页 |
| ·体系结构 | 第49页 |
| ·功能模块设计 | 第49-51页 |
| ·功能实现 | 第51-57页 |
| ·输入处理模块 | 第51-53页 |
| ·管理模块 | 第53-56页 |
| ·分析模块 | 第56页 |
| ·输出处理模块 | 第56-57页 |
| ·视图模块 | 第57页 |
| ·本章小结 | 第57-58页 |
| 6 一致性应用 | 第58-64页 |
| ·过程挖掘评估 | 第58-60页 |
| ·基于行为的服务查找 | 第60-62页 |
| ·本章小结 | 第62-64页 |
| 7 总结与展望 | 第64-66页 |
| ·总结 | 第64页 |
| ·展望 | 第64-66页 |
| 致谢 | 第66-67页 |
| 参考文献 | 第67-72页 |
| 附录 | 第72页 |
