基于Pi演算的Web服务组合兼容性验证方法研究

摘要	第1-6页
Abstract	第6-9页
第1章 绪论	第9-15页
·选题的背景及意义	第9-10页
·国内外研究现状	第10-13页
·主要研究内容	第13-14页
·论文的组织与结构	第14-15页
第2章 Web服务的基本理论及相关技术	第15-29页
·Web服务的基本概念及体系架构	第15-21页
·Web服务的基本概念	第15-17页
·Web服务的体系结构	第17-21页
·Web服务的特点	第21页
·Web服务组合的基本理论	第21-23页
·Web服务组合的基本概念	第21页
·Web服务组合的研究领域	第21-23页
·Web服务组合的分类及组合方法	第23-27页
·Web服务组合分类	第23-24页
·Web服务组合方法	第24-27页
·Web服务组合的生命周期	第27-29页
第3章 基于Pi演算的Web服务建模	第29-47页
·Pi演算	第29-36页
·Pi演算的基本概念	第29-30页
·Pi演算的语法定义	第30-32页
·Pi演算的结构等价规则	第32-33页
·Pi演算的操作语义	第33-35页
·Pi演算的行为等价理论	第35-36页
·一个基于Pi演算的Web服务建模实例研究	第36-45页
·Web服务描述	第36-40页
·Web服务行为	第36-37页
·Web服务视图	第37-40页
·利用Pi演算描述Web服务	第40-45页
·本章小结	第45-47页
第4章 Web服务组合中的兼容性验证	第47-63页
·利用Pi演算描述服务之间的交互	第47-54页
·兼容性的相关概念	第47-49页
·交互行为描述	第49-54页
·利用Pi演算验证Web服务行为的兼容性	第54-59页
·应用MWB完成验证过程	第59-62页
·本章小结	第62-63页
第5章 总结与展望	第63-65页
·本文主要工作总结	第63页
·进一步的工作展望	第63-65页
参考文献	第65-68页
致谢	第68-69页
研究生履历	第69页