| 摘要 | 第1-6页 |
| Abstract | 第6-7页 |
| 第一章 绪论 | 第7-12页 |
| ·研究背景及意义 | 第7-10页 |
| ·论文主要研究内容 | 第10-11页 |
| ·论文结构 | 第11-12页 |
| 第二章 Web服务 | 第12-20页 |
| ·Web服务的定义与特征 | 第12-13页 |
| ·Web数据 | 第13-15页 |
| ·半结构数据 | 第14页 |
| ·XML | 第14-15页 |
| ·Web服务组合 | 第15-19页 |
| ·Web服务组合的定义 | 第16-17页 |
| ·Web服务组合的分类 | 第17-18页 |
| ·BPEL4WS | 第18-19页 |
| ·本章小结 | 第19-20页 |
| 第三章 进程代数 | 第20-32页 |
| ·进程代数概述 | 第20-21页 |
| ·通信系统演算CCS | 第21-25页 |
| ·纯CCS | 第21-24页 |
| ·传值CCS | 第24-25页 |
| ·CCS的优点与局限 | 第25页 |
| ·π-演算 | 第25-30页 |
| ·纯π-演算 | 第27-29页 |
| ·类型化π-演算 | 第29-30页 |
| ·本章小结 | 第30-32页 |
| 第四章 Web数据的类型化模型 | 第32-49页 |
| ·Web数据的抽象 | 第32-33页 |
| ·无类型的Web数据模型 | 第33-37页 |
| ·模型定义 | 第33-35页 |
| ·结构同余与归约语义 | 第35-37页 |
| ·类型系统 | 第37-48页 |
| ·类型定义 | 第37-39页 |
| ·类型系统的类型规则集 | 第39-43页 |
| ·类型系统的归约一致性 | 第43-48页 |
| ·本章小结 | 第48-49页 |
| 第五章 基于传值CCS的BPEL4WS的形式化模型 | 第49-60页 |
| ·BPEL4WS和传值CCS | 第49-50页 |
| ·BPEL4WS基本活动的建模 | 第50-54页 |
| ·BPEL4WS原子行为建模 | 第50-52页 |
| ·BPEL4WS结构化行为建模 | 第52-54页 |
| ·BPEL4WS到传值CCS的自动映射方法 | 第54-55页 |
| ·一个例子 | 第55-58页 |
| ·本章小结 | 第58-60页 |
| 第六章 总结和进一步的工作 | 第60-62页 |
| ·总结 | 第60页 |
| ·进一步的工作 | 第60-62页 |
| 致谢 | 第62-63页 |
| 参考文献 | 第63-71页 |
| 攻读博士学位期间发表的学术论文和科研项目 | 第71-72页 |