| 摘要 | 第1-6页 |
| ABSTRACT | 第6-9页 |
| 引言 | 第9-10页 |
| 1 绪论 | 第10-15页 |
| ·课题背景 | 第10-11页 |
| ·国内外研究现状 | 第11-14页 |
| ·本文的内容安排 | 第14-15页 |
| 2 Web 服务研究基础 | 第15-26页 |
| ·Web 服务概述 | 第15-17页 |
| ·Web 服务定义 | 第15-16页 |
| ·Web 服务的优势 | 第16-17页 |
| ·Web 服务关键技术 | 第17-21页 |
| ·Web 服务的体系结构 | 第17-19页 |
| ·SOAP | 第19-20页 |
| ·WSDL | 第20页 |
| ·UDDI | 第20-21页 |
| ·Web 服务组合 | 第21-26页 |
| ·Web 服务的组合的概念 | 第21-22页 |
| ·Web 服务的组合的分类 | 第22-23页 |
| ·Web 服务的组合的方法 | 第23-26页 |
| 3 Petri 网及时序 Petri 网的基本理论知识 | 第26-46页 |
| ·Petri 网的基本知识 | 第26-34页 |
| ·Petri 网基本概念 | 第26-29页 |
| ·Petri 网的动态性质 | 第29-31页 |
| ·Petri 网的分析方法 | 第31-32页 |
| ·Petri 网的分析方法 | 第32-34页 |
| ·时序Petri 网的基本知识 | 第34-46页 |
| ·时序Petri 网 | 第34-37页 |
| ·哲学家就餐问题 | 第37-38页 |
| ·基于时序Petri 网的哲学家就餐问题的建模与分析 | 第38-46页 |
| 4 基于时序 Petri 网的 web 服务组合建模 | 第46-58页 |
| ·基于 Petri 网建模 Web 服务组合 | 第46-50页 |
| ·基于时序 Petri 网的建模步骤 | 第50-51页 |
| ·基于时序 Petri 网的 Web 服务组合模型的验证 | 第51-53页 |
| ·Web 服务组合模型的分析方法 | 第53-58页 |
| ·基本Web 服务的质量指标 | 第53-54页 |
| ·组合Web 服务的质量指标 | 第54-56页 |
| ·服务质量的计算 | 第56-58页 |
| 5 Web 服务组合模型实例分析 | 第58-64页 |
| ·应用说明 | 第58页 |
| ·应用举例 | 第58-64页 |
| 6 结论 | 第64-66页 |
| ·本文主要工作 | 第64页 |
| ·进一步工作 | 第64-66页 |
| 参考文献 | 第66-70页 |
| 致谢 | 第70-71页 |
| 作者简介及读研期间主要科研成果 | 第71-72页 |
