| 中文摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 绪论 | 第9-15页 |
| ·研究背景及意义 | 第9-10页 |
| ·国内外研究现状 | 第10-12页 |
| ·本文研究内容 | 第12-14页 |
| ·本文组织结构 | 第14-15页 |
| 第二章 Web 服务组合技术概述 | 第15-22页 |
| ·Web 服务与 SOA | 第15-18页 |
| ·Web 服务组合 | 第18-19页 |
| ·业务流程执行语言 BPEL | 第19-21页 |
| ·本章小结 | 第21-22页 |
| 第三章 形式化技术概述 | 第22-28页 |
| ·形式化方法 | 第22-23页 |
| ·模型检测技术 | 第23-27页 |
| ·模型检测算法 | 第23-26页 |
| ·状态约简技术 | 第26-27页 |
| ·模型检测工具 | 第27页 |
| ·本章小结 | 第27-28页 |
| 第四章 数据和时间感知的 Web 服务组合形式化建模 | 第28-37页 |
| ·问题描述 | 第28-31页 |
| ·旅行预订服务 | 第28-30页 |
| ·图书订购服务 | 第30-31页 |
| ·数据和时间感知的 Web 服务组合形式化模型 | 第31-34页 |
| ·数据和时间感知的 Web 服务模型 | 第31-33页 |
| ·数据和时间感知的 Web 服务组合模型 | 第33-34页 |
| ·实例分析 | 第34-36页 |
| ·本章小结 | 第36-37页 |
| 第五章 数据和时间感知的 Web 服务组合静态验证 | 第37-46页 |
| ·Web 服务组合静态验证研究框架 | 第37-39页 |
| ·模型检测工具 UPPAAL | 第37-38页 |
| ·基于 UPPAAL 的 Web 服务组合静态验证研究框架 | 第38-39页 |
| ·Web 服务组合模型检测 | 第39-43页 |
| ·服务组合规约至 DTSM 模型的转换 | 第40-43页 |
| ·DTSM 模型至 UPPAAL 规约的转换 | 第43页 |
| ·实例分析 | 第43-45页 |
| ·本章小结 | 第45-46页 |
| 第六章 数据和时间感知的 Web 服务组合动态验证 | 第46-55页 |
| ·Web 服务组合动态验证研究框架 | 第46-48页 |
| ·基于诊断模型的 Web 服务组合运行时监控方法 | 第48-52页 |
| ·Web 服务组合诊断模型 | 第48-49页 |
| ·服务组合规约至 EDTSM 模型的转换 | 第49-51页 |
| ·Web 服务组合故障诊断算法 | 第51-52页 |
| ·实例分析 | 第52-54页 |
| ·本章小结 | 第54-55页 |
| 第七章 总结与展望 | 第55-57页 |
| ·本文工作总结 | 第55-56页 |
| ·未来工作展望 | 第56-57页 |
| 参考文献 | 第57-63页 |
| 攻读硕士学位期间参加的科研项目和发表（录用）的论文 | 第63-64页 |
| 致谢 | 第64-65页 |
