| 摘要 | 第1-5页 |
| ABSTRACT | 第5-12页 |
| 第一章 绪论 | 第12-16页 |
| ·研究背景 | 第12-14页 |
| ·本文主要研究内容 | 第14-15页 |
| ·本文结构 | 第15-16页 |
| 第二章 Web服务组合及π-演算概述 | 第16-28页 |
| ·Web服务组合 | 第16-21页 |
| ·Web服务和面向服务的计算 | 第16-17页 |
| ·编排(Choreography)和编制(Orchestration) | 第17-21页 |
| ·Web服务编排和编制 | 第21-24页 |
| ·Web服务编制和WS-BPEL | 第21-22页 |
| ·Web服务编排和WS-CDL | 第22-24页 |
| ·π-演算简述 | 第24-27页 |
| ·基本语法 | 第25-26页 |
| ·基本操作语义及进程上的结构同余 | 第26-27页 |
| ·小结 | 第27-28页 |
| 第三章 Web服务编排的演算 | 第28-35页 |
| ·引言 | 第28页 |
| ·WS-CDL语言 | 第28-30页 |
| ·演算模型的语法 | 第30-31页 |
| ·演算模型的语义 | 第31-33页 |
| ·定律和例子 | 第33-34页 |
| ·小结 | 第34-35页 |
| 第四章 Web服务编排的投影实现 | 第35-53页 |
| ·引言 | 第35页 |
| ·Orc_π演算的语法和语义 | 第35-37页 |
| ·从Web服务编排到Orc_π演算的投影 | 第37-47页 |
| ·自然投影Pr_π | 第38-39页 |
| ·自然编排C_(Nr) | 第39-47页 |
| ·扩展的演算模型 | 第47-50页 |
| ·举例 | 第50-52页 |
| ·小结 | 第52-53页 |
| 第五章 结束语 | 第53-55页 |
| ·本文的工作总结 | 第53-54页 |
| ·今后进一步的工作 | 第54-55页 |
| 参考文献 | 第55-59页 |
| 攻读学位期间取得的研究成果 | 第59-60页 |
| 致谢 | 第60-62页 |