| 提要 | 第1-8页 |
| 第一章 绪论 | 第8-13页 |
| ·研究背景 | 第8-9页 |
| ·现有Web服务组合项目 | 第9-11页 |
| ·本文的主要工作 | 第11-12页 |
| ·本文的组织结构 | 第12-13页 |
| 第二章 Web服务组合及其相关知识 | 第13-26页 |
| ·Web服务概述 | 第13-16页 |
| ·Web服务定义与体系结构 | 第13-14页 |
| ·Web服务协议栈 | 第14-16页 |
| ·Web服务组合概述 | 第16-20页 |
| ·Web服务组合语言 | 第17-18页 |
| ·Web服务组合语言的比较 | 第18-20页 |
| ·Web服务组合方法 | 第20-24页 |
| ·基于工作流的Web服务组合 | 第20-21页 |
| ·基于AI规划的Web服务组合 | 第21-22页 |
| ·基于形式化的Web服务组合 | 第22-24页 |
| ·Web服务组合中的关键问题 | 第24-26页 |
| 第三章 基于CPN的Web服务组合模型 | 第26-39页 |
| ·Petri网基本理论 | 第26-31页 |
| ·Petri网 | 第26-28页 |
| ·有色Petri网(CPN) | 第28-31页 |
| ·基于CPN的Web服务组合建模 | 第31-35页 |
| ·组合模型定义 | 第32-33页 |
| ·编排规则定义 | 第33-34页 |
| ·服务组合定义 | 第34-35页 |
| ·编排规则生成算法 | 第35-38页 |
| ·创建Web服务组合的过程 | 第38-39页 |
| 第四章 BPEL4WS到CPN模型的转换 | 第39-45页 |
| ·顺序(Sequence) | 第40页 |
| ·并行分支(Parallel Split)和同步(Synchronization) | 第40-41页 |
| ·单项选择(Exclusive Choice)和简单合并(Simple Merge) | 第41页 |
| ·延迟选择(Deferred Choice) | 第41-42页 |
| ·循环(Iteration) | 第42-43页 |
| ·转折点(Milestone) | 第43-44页 |
| ·取消活动(Cancel Activity)和取消实例(Cancel Case) | 第44-45页 |
| 第五章 Web服务组合模型的分析与验证 | 第45-55页 |
| ·分析与验证方法 | 第45-46页 |
| ·分析与验证工具的设计 | 第46-52页 |
| ·JCPN概述 | 第47页 |
| ·CPN的数据结构 | 第47-50页 |
| ·CPN的完全发生图 | 第50-52页 |
| ·分析与验证工具的测试 | 第52-55页 |
| ·算术加法器(Arithmetic Adder) | 第52-53页 |
| ·哲学家就餐(Dining Philosophers) | 第53页 |
| ·资源分配(Resources Allocation) | 第53-55页 |
| 第六章 Web服务组合系统 | 第55-62页 |
| ·服务组合系统概述 | 第55-56页 |
| ·服务组合系统在旅行代理服务中的应用 | 第56-60页 |
| ·旅行代理服务概述 | 第56-58页 |
| ·旅行代理服务组合 | 第58-60页 |
| ·服务组合的分析与验证 | 第60-62页 |
| 第七章 结语 | 第62-63页 |
| 参考文献 | 第63-68页 |
| 缩写语列表 | 第68-69页 |
| 摘要 | 第69-72页 |
| Abstract | 第72-76页 |
| 致谢 | 第76-77页 |
| 导师及作者简介 | 第77-78页 |
| 攻读硕士学位期间发表论文 | 第78页 |
