| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-11页 |
| 1 引言 | 第11-23页 |
| ·问题背景和基本介绍 | 第11-14页 |
| ·WEB 服务量化建模和分析的研究现状 | 第14-18页 |
| ·服务组合服务质量的定量分析 | 第14-16页 |
| ·中间模型的设计 | 第16-17页 |
| ·指标的求解 | 第17-18页 |
| ·理论结果的检验 | 第18页 |
| ·本文工作及其创新点 | 第18-21页 |
| ·论文结构 | 第21-22页 |
| ·本章小结 | 第22-23页 |
| 2 背景知识 | 第23-33页 |
| ·软件的可信性 | 第23页 |
| ·Web 服务体系结构 | 第23-24页 |
| ·Web 服务组合的必要性和分类 | 第24-27页 |
| ·随机Petri 网 | 第27-32页 |
| ·Petri 网 | 第27-28页 |
| ·随机Petri 网简介 | 第28-30页 |
| ·广义随机Petri 网 | 第30-31页 |
| ·用随机Petri 网量化分析服务组合的基本方法 | 第31-32页 |
| ·本章小结 | 第32-33页 |
| 3 运用随机 PETRI 网对 WS-BPEL 进行建模 | 第33-51页 |
| ·WS-BPEL 的简介 | 第33-34页 |
| ·WS-BPEL 的BNF 范式 | 第34-37页 |
| ·将WS-BPEL 转换为基于PETRI 网的中间模型 | 第37-47页 |
| ·原子活动的转换规则 | 第37-38页 |
| ·范围和错误/事件/补偿/终止处理活动的转换规则 | 第38-40页 |
| ·退出活动的转换规则 | 第40-41页 |
| ·结构活动的转换规则 | 第41-47页 |
| ·一个WS-BPEL 实例的转换 | 第47-48页 |
| ·本章小结 | 第48-51页 |
| 4 运用随机 PETRI 网对 WS-CDL 进行建模 | 第51-67页 |
| ·WS-CDL 的简介 | 第51-52页 |
| ·WS-CDL 的BNF 范式 | 第52-54页 |
| ·将WS-CDL 转换为基于PETRI 网的中间模型 | 第54-60页 |
| ·编排的转换规则 | 第54-55页 |
| ·基本活动的转换规则 | 第55-56页 |
| ·工作组的转换规则 | 第56-57页 |
| ·结构活动（ordering structure）的转换规则 | 第57-60页 |
| ·编排整合活动的转换规则 | 第60页 |
| ·一个WS-CDL 实例的转换 | 第60-65页 |
| ·本章小结 | 第65-67页 |
| 5 定量分析 | 第67-75页 |
| ·指标及其意义 | 第67-69页 |
| ·流程成功结束时间期望EPNCT | 第67-68页 |
| ·流程成功结束概率PNCP | 第68页 |
| ·流程成功结束执行代价EONC | 第68-69页 |
| ·定量分析 | 第69-74页 |
| ·流程成功结束时间期望EPNCT 的分析 | 第69-73页 |
| ·流程成功结束概率PNCP 的分析 | 第73页 |
| ·流程成功结束执行代价EONC 的分析 | 第73-74页 |
| ·本章小结 | 第74-75页 |
| 6 实验和数据分析 | 第75-101页 |
| ·实验平台 | 第75页 |
| ·测试实例的设计 | 第75-76页 |
| ·WS-CDL 实例的运行数据 | 第76-90页 |
| ·WS-BPEL 实例的运行数据 | 第90-98页 |
| ·置信区间分析和理论结果的检验 | 第98-99页 |
| ·本章小结 | 第99-101页 |
| 7 本文总结和下一步的工作 | 第101-105页 |
| ·本文工作的总结 | 第101-102页 |
| ·下一步的工作 | 第102-103页 |
| ·本章小结 | 第103-105页 |
| 致谢 | 第105-107页 |
| 参考文献 | 第107-113页 |
| 附录 | 第113页 |
| A. 作者在攻读学位期间发表的论文目录 | 第113页 |
| B. 作者在攻读学位期间取得的科研成果目录 | 第113页 |
