| 中文摘要 | 第1-4页 |
| 英文摘要 | 第4-7页 |
| 1 绪论 | 第7-14页 |
| ·研究背景与意义 | 第7-8页 |
| ·Web 服务组合量化建模和分析研究现状 | 第8-11页 |
| ·服务组合的定量描述 | 第8-10页 |
| ·中间模型设计 | 第10页 |
| ·分析指标求解 | 第10-11页 |
| ·理论结果检验 | 第11页 |
| ·论文研究内容 | 第11-12页 |
| ·论文章节安排 | 第12-14页 |
| 2 背景知识 | 第14-29页 |
| ·软件可信性 | 第14-15页 |
| ·Web 服务 | 第15-16页 |
| ·Web 服务组合 | 第16-19页 |
| ·Web 服务编排描述语言WS-CDL | 第19-26页 |
| ·服务编排和基础元素 | 第19-23页 |
| ·控制结构 | 第23-26页 |
| ·随机Petri 网 | 第26-28页 |
| ·Petri 网 | 第26-27页 |
| ·随机Petri 网 | 第27页 |
| ·广义随机Petri 网（GSPN） | 第27-28页 |
| ·本章小结 | 第28-29页 |
| 3 用随机 Petri 网对 WS-CDL 建模 | 第29-39页 |
| ·用随机Petri 网分析服务组合的方法 | 第29-30页 |
| ·WS-CDL 的BNF 范式 | 第30-31页 |
| ·把WS-CDL 转化为基于随机Petri 网的模型 | 第31-38页 |
| ·编排（Choreography）的转换 | 第32-33页 |
| ·序结构（ordering structure）的转换 | 第33-35页 |
| ·工作单元活动（workunit activities）的转换 | 第35-36页 |
| ·基本活动（basic activities）的转换 | 第36-38页 |
| ·编排整合活动（Perform）的转换 | 第38页 |
| ·本章小结 | 第38-39页 |
| 4 WS-CDL 实例转换及定量分析 | 第39-50页 |
| ·一个WS-CDL 服务组合实例的转换 | 第39-43页 |
| ·定量分析指标 | 第43-45页 |
| ·服务成功结束时间期望（EPNCT） | 第43-44页 |
| ·服务成功结束概率（PNCP） | 第44-45页 |
| ·服务成功结束代价（EONC） | 第45页 |
| ·定量分析 | 第45-49页 |
| ·服务成功结束时间期望（EPNCT）分析 | 第45-48页 |
| ·服务成功结束概率（PNCP）分析 | 第48页 |
| ·服务成功结束代价（EONC）分析 | 第48-49页 |
| ·本章小结 | 第49-50页 |
| 5 实验和数据分析 | 第50-57页 |
| ·实验平台设计 | 第50-51页 |
| ·测试实例设计 | 第51页 |
| ·WS-CDL 实例运行数据 | 第51-55页 |
| ·置信区间分析和理论结果检验 | 第55-56页 |
| ·本章小结 | 第56-57页 |
| 6 总结和展望 | 第57-59页 |
| ·全文总结 | 第57-58页 |
| ·未来展望 | 第58-59页 |
| 致谢 | 第59-60页 |
| 参考文献 | 第60-64页 |
| 附录 | 第64页 |
| 作者在攻读学位期间发表的论文目录 | 第64页 |
