基于Pi演算的Web服务组合模型与WSDL转换
| 提要 | 第1-7页 |
| 第一章 绪论 | 第7-10页 |
| ·背景简介 | 第7-8页 |
| ·现有技术水平 | 第8页 |
| ·本文的主要工作 | 第8-9页 |
| ·本文结构 | 第9-10页 |
| 第二章 Web服务组合 | 第10-28页 |
| ·Web服务概述 | 第10-16页 |
| ·Web服务体系结构 | 第10-12页 |
| ·Web服务协议栈 | 第12-14页 |
| ·Web服务的特点 | 第14-15页 |
| ·Web服务关键技术 | 第15-16页 |
| ·Web服务组合 | 第16-28页 |
| ·Web服务组合语言－BPEL4WS | 第17-18页 |
| ·Web服务描述语言－WSDL | 第18-25页 |
| ·BPEL与WSDL的关系 | 第25-28页 |
| 第三章 基于Pi演算的Web服务组合 | 第28-36页 |
| ·进程代数基本概念 | 第28-30页 |
| ·语法定义 | 第28-30页 |
| ·结构等价规则 | 第30页 |
| ·化简规则 | 第30页 |
| ·Pi演算建模Web服务 | 第30-36页 |
| ·Pi演算与Web服务 | 第30-31页 |
| ·Web服务的Pi演算描述 | 第31-33页 |
| ·Web服务组合的Pi演算描述 | 第33-36页 |
| 第四章 PICM2WSDL建模与论证 | 第36-44页 |
| ·PICM2WSDL模型概述 | 第36-37页 |
| ·PICM2WSDL正确性论证 | 第37-38页 |
| ·Web服务Pi演算模型与WSDL的映射 | 第38-39页 |
| ·PICM2WSDL模型设计 | 第39-42页 |
| ·名称定义 | 第39-40页 |
| ·连接符定义 | 第40-41页 |
| ·Web服务及服务组合定义 | 第41-42页 |
| ·Web服务中PICM2WSDL的作用 | 第42-44页 |
| 第五章 PICM2WSDL设计与实现 | 第44-65页 |
| ·PICM2WSDL设计 | 第44-62页 |
| ·PICM2WSDL名称识别 | 第44-50页 |
| ·PICM2WSDL表达式解析 | 第50-56页 |
| ·PICM2WSDL语义分析 | 第56-58页 |
| ·生成目标文档 | 第58-62页 |
| ·PICM2WSDL实现 | 第62-65页 |
| 第六章 结语 | 第65-67页 |
| ·工作总结 | 第65页 |
| ·工作展望 | 第65-67页 |
| 参考文献 | 第67-69页 |
| 摘要 | 第69-72页 |
| Abstract | 第72-76页 |
| 致谢 | 第76页 |
