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

论文摘要

Web服务作为一种新的分布式计算模型,能够在各种异构平台的基础上构筑一个通用的、与平台无关的、与语言无关的技术层,使各种不同平台之上的应用方便地连接和集成。然而,如何使Web服务真正进入实用的阶段,使Web服务实现跨组织、跨管理域的系统集成和自动交互,还面临着诸多的问题,其中一个重要问题是Web服务组合兼容性验证问题。很多Web服务组合缺少对其正确性的验证,不能保证服务组合内部流程结构是否正确,组合的服务中是否存在死、活锁,是否对服务间行为兼容性进行了验证等。本论文运用Pi演算这一形式化语言,研究Web服务组合兼容性的形式化验证方法。本论文首先对目前国内外的研究现状和研究成果,以及各种形式化验证方法进行分析,从实际情况出发,阐述Web服务组合验证的必要性,确定所要采用的验证方法。在简要介绍Web服务和Web服务组合的基本理论和相关技术之后,深入研究Pi演算的语法定义、结构等价规则、操作语义和行为等价理论,重点研究兼容性的相关概念和服务组合间交互行为的描述,根据所建模型用Pi演算对Web服务行为的兼容性进行验证,提出基于Pi演算的Web服务组合验证方法,并采用MWB工具完成一个验证过程。Web服务组合验证能提前发现Web服务组合中存在的缺陷,是提高Web服务组合执行的成功率和增强用户满意度的关键,对服务组合的正确运行和监控具有十分重要的意义。

论文目录

• 摘要
• Abstract
• 第1章 绪论
• 1.1 选题的背景及意义
• 1.2 国内外研究现状
• 1.3 主要研究内容
• 1.4 论文的组织与结构
• 第2章 Web服务的基本理论及相关技术
• 2.1 Web服务的基本概念及体系架构
• 2.1.1 Web服务的基本概念
• 2.1.2 Web服务的体系结构
• 2.1.3 Web服务的特点
• 2.2 Web服务组合的基本理论
• 2.2.1 Web服务组合的基本概念
• 2.2.2 Web服务组合的研究领域
• 2.3 Web服务组合的分类及组合方法
• 2.3.1 Web服务组合分类
• 2.3.2 Web服务组合方法
• 2.4 Web服务组合的生命周期
• 第3章 基于Pi演算的Web服务建模
• 3.1 Pi演算
• 3.1.1 Pi演算的基本概念
• 3.1.2 Pi演算的语法定义
• 3.1.3 Pi演算的结构等价规则
• 3.1.4 Pi演算的操作语义
• 3.1.5 Pi演算的行为等价理论
• 3.2 一个基于Pi演算的Web服务建模实例研究
• 3.2.1 Web服务描述
• 3.2.1.1 Web服务行为
• 3.2.1.2 Web服务视图
• 3.2.2 利用Pi演算描述Web服务
• 3.3 本章小结
• 第4章 Web服务组合中的兼容性验证
• 4.1 利用Pi演算描述服务之间的交互
• 4.1.1 兼容性的相关概念
• 4.1.2 交互行为描述
• 4.2 利用Pi演算验证Web服务行为的兼容性
• 4.3 应用MWB完成验证过程
• 4.4 本章小结
• 第5章 总结与展望
• 5.1 本文主要工作总结
• 5.2 进一步的工作展望
• 参考文献
• 致谢
• 研究生履历