| 中文摘要 | 第1-4页 |
| ABSTRACT | 第4-9页 |
| 第一章 绪论 | 第9-19页 |
| ·课题研究的背景 | 第9-10页 |
| ·国内外研究现状 | 第10-17页 |
| ·Web 服务的描述 | 第10-12页 |
| ·Web 服务组合的形式化模型 | 第12-15页 |
| ·Web 服务组合的验证 | 第15-17页 |
| ·研究目标和主要研究内容 | 第17-18页 |
| ·论文结构 | 第18-19页 |
| 第二章 Web 服务形式化描述模型 PiFM4WS | 第19-31页 |
| ·Pi-演算简介 | 第20-25页 |
| ·Pi-演算中的基本定义 | 第20-22页 |
| ·Pi-演算的同构规则 | 第22页 |
| ·Pi-演算的操作语义 | 第22-25页 |
| ·PiFM4WS 的概念定义 | 第25页 |
| ·PiFM4WS 的语法定义 | 第25-27页 |
| ·PiFM4WS 的同构规则 | 第27-28页 |
| ·PiFM4WS 的操作语义 | 第28-30页 |
| ·本章小结 | 第30-31页 |
| 第三章 WS-CDL 和 BPEL4WS 在 PiFM4WS 中的映射 | 第31-66页 |
| ·BPEL4WS 的映射规则 | 第31-43页 |
| ·BPEL4WS 规范 | 第31-32页 |
| ·BPEL4WS 概念的映射规则 | 第32-33页 |
| ·BPEL4WS 原子行为的映射规则 | 第33-36页 |
| ·BPEL4WS 结构化行为的映射规则 | 第36-38页 |
| ·BPEL4WS 异常处理的映射规则 | 第38页 |
| ·BPEL4WS 事件处理器的映射规则 | 第38-39页 |
| ·BPEL4WS 补偿处理的映射规则 | 第39-40页 |
| ·BPEL4WS 规范的映射实例 | 第40-43页 |
| ·WS-CDL 的映射规则 | 第43-60页 |
| ·WS-CDL 规范 | 第44-49页 |
| ·WS-CDL 概念的映射规则 | 第49-50页 |
| ·WS-CDL 原子行为的映射规则 | 第50-54页 |
| ·WS-CDL 序结构行为的映射规则 | 第54-55页 |
| ·WS-CDL 规范的映射实例 | 第55-60页 |
| ·WS-CDL 和 BPEL4WS 映射的等价性 | 第60-65页 |
| ·WS-CDL 规范描述的第四方物流管理平台 | 第61-62页 |
| ·BPEL4WS 规范描述的第四方物流管理平台 | 第62页 |
| ·两种规范的映射之间的比较 | 第62-63页 |
| ·动态体系结构的描述方法 | 第63-65页 |
| ·本章小结 | 第65-66页 |
| 第四章 类型化的 Web 服务形式化描述模型 | 第66-73页 |
| ·问题概述 | 第66-67页 |
| ·扩充的 Pi-演算类型系统 | 第67页 |
| ·类型化 PiFM4WS 的定义 | 第67-68页 |
| ·基本类型定义 | 第67-68页 |
| ·基本语法定义 | 第68页 |
| ·类型化 PiFM4WS 的判定规则 | 第68-72页 |
| ·值类型判定规则 | 第68-69页 |
| ·子类型关系判定规则 | 第69页 |
| ·服务类型良好性判定规则 | 第69-70页 |
| ·类型化 PiFM4WS 的操作语义 | 第70-72页 |
| ·本章小结 | 第72-73页 |
| 第五章 Web 服务的可替换性及其验证方法 | 第73-84页 |
| ·Pi-演算中进程的等价性 | 第74-75页 |
| ·Web 服务的可替换性 | 第75-77页 |
| ·Web 服务的可替换性验证方法 | 第77-79页 |
| ·Web 服务构造时类型正确性的验证 | 第77页 |
| ·Web 服务运行时可替换性的验证 | 第77-79页 |
| ·Web 服务可替换性的实例说明 | 第79-82页 |
| ·本章小结 | 第82-84页 |
| 第六章 服务网络中的 Web 服务形式化描述 | 第84-95页 |
| ·服务网络的形式化描述 | 第85-87页 |
| ·抽象服务（Abstract Service） | 第85页 |
| ·服务（Service） | 第85-86页 |
| ·信道（Channel） | 第86页 |
| ·用户需求（User Requirement） | 第86-87页 |
| ·抽象服务和服务的关系 | 第87页 |
| ·用 Pi-演算对服务网络的形式化模型进行描述 | 第87-90页 |
| ·对信道的描述 | 第88-89页 |
| ·对抽象服务通信结构的描述 | 第89页 |
| ·对服务通信结构的描述 | 第89-90页 |
| ·服务网络形式化描述的应用 | 第90-93页 |
| ·对用户需求进行的描述 | 第91-92页 |
| ·对第四方物流服务的描述 | 第92页 |
| ·对第三方物流模块的描述 | 第92-93页 |
| ·对银行支付服务的描述 | 第93页 |
| ·对整个系统结构的描述 | 第93页 |
| ·本章小结 | 第93-95页 |
| 第七章 结束语 | 第95-97页 |
| ·本文工作总结 | 第95-96页 |
| ·将来进一步的研究方向 | 第96-97页 |
| 参考文献 | 第97-104页 |
| 发表论文和科研情况说明 | 第104-105页 |
| 致谢 | 第105页 |