| 摘要 | 第3-4页 |
| Abstract | 第4-5页 |
| 第1章 绪论 | 第8-11页 |
| 1.1 研究背景及研究意义 | 第8-9页 |
| 1.2 论文的主要研究内容 | 第9-10页 |
| 1.3 论文组织结构 | 第10-11页 |
| 第2章 Web服务组合性能分析研究现状 | 第11-16页 |
| 2.1 Web服务及Web服务组合简介 | 第11页 |
| 2.2 Web服务组合性能分析研究现状 | 第11-16页 |
| 2.2.1 基于马尔可夫链的Web服务组合性能分析 | 第11-12页 |
| 2.2.2 基于Pi演算的Web服务组合性能分析 | 第12-13页 |
| 2.2.3 基于Petri网的Web服务组合性能分析 | 第13-14页 |
| 2.2.4 基于排队论的Web服务组合性能分析 | 第14-15页 |
| 2.2.5 其他方法的Web服务组合性能分析 | 第15-16页 |
| 第3章 分层着色Petri网简介 | 第16-20页 |
| 3.1 分层着色Petri网 | 第16-17页 |
| 3.2 CPN Tools | 第17-20页 |
| 第4章 BPEL到HCPN模型的映射 | 第20-40页 |
| 4.1 BPEL流程结构 | 第20-21页 |
| 4.2 活动的先来先服务和共享服务HCPN的模型 | 第21-25页 |
| 4.2.1 活动的映射 | 第22-23页 |
| 4.2.2 顾客到达机制的模型 | 第23-24页 |
| 4.2.3 先来先服务和共享服务的模型 | 第24-25页 |
| 4.3 BPEL中结构化活动的映射 | 第25-37页 |
| 4.3.1 活动的映射 | 第26-27页 |
| 4.3.2 活动的映射 | 第27-29页 |
| 4.3.3 活动的映射 | 第29-31页 |
| 4.3.4 活动的映射 | 第31-32页 |
| 4.3.5 活动的映射 | 第32-33页 |
| 4.3.6 活动的映射 | 第33-37页 |
| 4.4 BPEL流程映射到HCPN的实例 | 第37-40页 |
| 第5章 Web服务组合性能分析 | 第40-54页 |
| 5.1 模型在CPN Tools的具体实现 | 第40-43页 |
| 5.2 数据收集 | 第43-44页 |
| 5.3 当不存在干扰顾客到达时，Web服务组合的性能分析 | 第44-46页 |
| 5.4 当存在干扰顾客到达时，Web服务组合的性能分析 | 第46-47页 |
| 5.5 当分支执行概率发生变化时，Web服务组合的性能分析 | 第47-50页 |
| 5.6 当服务节点的服务时间发生变化时，Web服务组合的性能分析 | 第50-52页 |
| 5.7 对比FCFS和PS两种调度策略的实验结果 | 第52-54页 |
| 第6章 总结 | 第54-55页 |
| 参考文献 | 第55-59页 |
| 致谢 | 第59-60页 |
| 在读期间公开发表论文（著）及科研情况 | 第60页 |
