基于SOA的服务组合机制研究

论文摘要

针对现有Web服务组合实现框架的不足,本文提出了基于编舞的Web服务组合实现框架;在服务组合的验证过程中,本文使用Pi-演算做为模型检查工具,提出了将WS-CDL编舞转化为Pi-演算表达式的CH2PI算法。在基于编舞的Web服务组合实现框架的基础上,设计了手机报系统,并使用CH2PI算法对手机报系统中的服务组合进行验证。首先,本文介绍了SOA的标准体系结构,对SOA及其关键技术进行了概括,讨论了服务组合的分类和框架,比较了服务组合的描述标准,详细介绍了编舞描述语言WS-CDL的模板结构。其次,对手机报系统的服务组合建模,提出了基于编舞的Web服务组合实现框架,并在此框架基础上,使用WS-CDL对手机报系统中的服务组合进行编舞描述。在服务组合的模型验证阶段,引进Pi-演算理论,给出WS-CDL的模板元素到Pi-演算元素的映射规则,提出CH2PI算法,使用该算法将手机报系统中服务组合的编舞转化成对应的Pi-演算表达式,并使用MWB工具对该Pi-演算表达式做了局部验证。最后,介绍了手机报系统中部分服务接口的实现,这些接口遵循手机报系统中服务组合的契约,在面向服务思想的指导下完成。本文提出的基于编舞的Web服务组合实现框架保证了服务请求者的服务需求描述的准确性,CH2PI算法为服务编舞的自动化验证提供了理论基础,基于SOA的手机报平台的设计及部分接口实现也具有一定的实用价值。

论文目录

• 摘要
• Abstract
• 第一章 绪论
• 1.1 研究领域的发展概况
• 1.2 课题背景与研究内容
• 1.3 课题研究的主要工作
• 第二章 SOA 中服务组合研究
• 2.1 协同工作
• 2.2 SOA 的标准体系结构
• 2.2.1 面向服务体系结构的定义
• 2.2.2 SOA 的标准体系结构
• 2.3 Web Service
• 2.4 语义Web 服务
• 2.4.1 语义Web
• 2.4.2 语义Web 服务
• 2.5 Web 服务组合
• 2.5.1 Web 服务组合定义
• 2.5.2 Web 服务组合分类
• 2.5.3 Web 服务组合实现框架
• 2.6 服务组合描述标准
• 2.6.1 编舞与编制
• 2.6.2 WS-CDL 简介
• 2.6.3 WS-CDL 信息定义模板
• 2.6.4 WS-CDL 参与方定义模板
• 2.6.5 WS-CDL 活动定义模板
• 2.6.6 WS-CDL 函数模板
• 2.7 消息中间件
• 2.8 本章小结
• 第三章 手机报系统的服务组合建模
• 3.1 需求分析与建模
• 3.1.1 手机报业务简介
• 3.1.2 手机报系统结构
• 3.1.3 系统的用例模型
• 3.1.4 系统的活动模型
• 3.2 基于编舞的Web 服务组合实现框架
• 3.3 手机报系统的 WS-CDL 描述
• 3.3.1 信息类型描述
• 3.3.2 参与方描述
• 3.3.3 内容提交流程描述
• 3.3.4 整体描述
• 3.4 本章小结
• 第四章 手机报系统的服务组合模型验证
• 4.1 Pi-演算
• 4.1.1 Pi-演算的语法定义
• 4.1.2 Pi-演算的操作语义
• 4.2 WS-CDL 编舞元素到Pi-演算的映射规则
• 4.3 WS-CDL 编舞建模到Pi-演算的表达式的算法
• 4.4 基于CH2PI 算法的服务组合验证
• 4.5 验证工具 MWB
• 4.6 服务组合验证流程
• 4.7 本章小结
• 第五章 基于SOA 的手机报系统部分接口实现
• 5.1 开发环境与工具
• 5.2 服务接口的具体实现
• 5.2.1 用户服务接口实现
• 5.2.2 CP 服务接口实现
• 5.2.3 彩信发送接口实现
• 5.3 本章小结
• 第六章 总结与展望
• 参考文献
• 致谢
• 在学期间的研究成果及发表的学术论文