| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第1章 绪论 | 第9-12页 |
| ·研究的背景 | 第9页 |
| ·研究目的及意义 | 第9-10页 |
| ·本文的内容和章节安排 | 第10-11页 |
| ·本文的创新点 | 第11-12页 |
| 第2章 Web 服务组合基本理论与相关技术 | 第12-16页 |
| ·Web 服务概述 | 第12-13页 |
| ·Web 服务的定义 | 第12页 |
| ·Web 服务的基本架构 | 第12-13页 |
| ·Web 服务组合 | 第13-14页 |
| ·Web 服务组合定义 | 第13-14页 |
| ·Web 服务组合的方法 | 第14页 |
| ·语义Web 服务 | 第14-16页 |
| 第3章 Web 服务组合的形式化模型：Pi 演算 | 第16-20页 |
| ·形式化方法简介 | 第16页 |
| ·Pi 演算简介 | 第16-20页 |
| ·Pi 演算的定义 | 第16-17页 |
| ·Pi 演算的语法定义 | 第17-18页 |
| ·Pi 演算的其他规则 | 第18-20页 |
| 第4章 OWL-S 框架下基于 Pi 演算的 Web 服务组合与验证 | 第20-28页 |
| ·OWL-S 的基本语法 | 第20-23页 |
| ·OWL-S 的主要元素 | 第20页 |
| ·OWL-S 的主要性质 | 第20-21页 |
| ·葡萄酒主体描述 | 第21-23页 |
| ·OWL-S 的形式化描述 | 第23-25页 |
| ·OWL_S 与Pi 演算的对应关系 | 第23-24页 |
| ·OWL-S 与Pi 演算的映射规则 | 第24页 |
| ·葡萄酒主体的形式化描述 | 第24-25页 |
| ·Web 服务组合模型的验证 | 第25-26页 |
| ·其他的Web 服务组合研究 | 第26-28页 |
| 第5章 WS-BPEL 框架下基于 Pi 演算的 Web 服务组合与验证 | 第28-41页 |
| ·WS-BPEL 的基本语法 | 第28-31页 |
| ·WS-BPEL 的合作伙伴 | 第28-29页 |
| ·WS-BPEL 的原子活动 | 第29-30页 |
| ·WS-BPEL 的结构化活动 | 第30-31页 |
| ·WS-BPEL 的其他处理器 | 第31页 |
| ·WS-BPEL 与Pi 演算的映射关系 | 第31-32页 |
| ·基于Pi 演算的WS-BPEL 的形式化模型 | 第32-37页 |
| ·原子行为 | 第32-34页 |
| ·结构化行为 | 第34-36页 |
| ·其他处理 | 第36-37页 |
| ·Web 服务组合模型的验证 | 第37-41页 |
| 第6章 总结与研究展望 | 第41-42页 |
| 参考文献 | 第42-44页 |
| 攻读硕士学位期间取得的学术成果 | 第44-45页 |
| 致谢 | 第45页 |