Web服务编排协议映射模型及实现机制

发布时间：2017-10-10 03:15

  本文关键词：Web服务编排协议映射模型及实现机制

  更多相关文章： 服务组合 服务编排 WS-CDL 角色映射模型

【摘要】：服务编排与编制是服务组合不同层次的两个标准,WS-CDL和BPEL是编排和编制的语言,服务编排在产生编制的过程中必须遵守交互协议,服务编排协议的映射一直是服务组合研究的热点。服务编制可以分为集中式与分散式,在分散式编制映射的过程中,由于编排语言与编制语言语法定义上的不严谨性,无法将WS-CDL与BPEL进行直接转换,而传统的解决方法缺少具体实现算法以及一致性验证理论,因此,如何提供正确合理的映射算法和一致性验证理论成为协议映射的关键问题,为了解决上述问题,提出了一种基于角色的协议映射模型。首先,根据服务编排协议WS-CDL的结构特点将协议分为结构部分与行为部分,同时利用Pi演算与有限状态自动机相关理论给出协议的结构模型和行为模型,接着引入角色映射这一中间理论,得到结构映射模型与行为映射模型以及相应的实现算法,这两个模型构成了协议的角色映射模型。角色映射理论的提出,解决了编排语言WS-CDL与编制语言BPEL语法上无法直接对应转换的问题,同时也符合了分散式服务编制由每个参与角色单独处理信息的特点。然后,通过订购单服务实例对服务编排协议WS-CDL进行分析,并且从集中式和分散式两个角度对协议进行处理,分别得到两种方法处理后的结构映射模型和行为映射模型,进而给出两者在执行过程上的差异性。最后,依据实例对角色映射规则在端口消息类型、行为的一致性方面做出了验证,同时利用Pi演算模型验证工具MWB对实例中分析得到的模型进行了互模拟验证,表明了全局与局部动作的一致性,进而得出了映射规则的正确性和算法的可实现性。
【关键词】：服务组合 服务编排 WS-CDL 角色映射模型
【学位授予单位】：燕山大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：TP393.09
【目录】：

• 摘要5-6
• Abstract6-10
• 第1章 绪论10-16
• 1.1 课题背景10-11
• 1.2 选题目的及意义11
• 1.3 国内外研究现状11-13
• 1.4 主要研究内容13-14
• 1.5 论文组织结构14-16
• 第2章 服务编排和服务编制基础理论与技术分析16-26
• 2.1 服务编排和服务编制16-20
• 2.1.1 服务编排16-18
• 2.1.2 服务编制18-19
• 2.1.3 编排与编制区别19-20
• 2.2 WS-CDL简介20-22
• 2.3 有限状态自动机与Pi演算22-24
• 2.4 Pi演算模型验证工具MWB24-25
• 2.5 本章小结25-26
• 第3章 编排协议模型与映射机制26-42
• 3.1 服务编排协议模型26-36
• 3.1.1 结构模型26-29
• 3.1.2 行为模型29-36
• 3.2 协议映射机制36-41
• 3.2.1 结构映射模型36-39
• 3.2.2 行为映射模型39-41
• 3.3 本章小结41-42
• 第4章 服务编排映射执行机制42-58
• 4.1 执行原理43-46
• 4.2 实例引入46-53
• 4.2.1 集中式编排协议描述47-51
• 4.2.2 分散式编排协议描述51-53
• 4.3 协议映射53-55
• 4.4 服务编制执行55-57
• 4.5 本章小结57-58
• 第5章 服务编排到服务编制的一致性分析和模型验证58-68
• 5.1 一致性分析58-61
• 5.1.1 端口消息类型一致性58-60
• 5.1.2 行为一致性60-61
• 5.2 模型验证61-66
• 5.3 本章小结66-68
• 结论68-70
• 参考文献70-74
• 攻读学位期间承担的科研任务与主要成果74-75
• 致谢75-76
• 作者简介76

【参考文献】

中国期刊全文数据库 前5条

1 辜希武;卢正鼎;;Web服务相容性的形式化描述与分析[J];计算机工程与应用;2007年27期

2 梁智远;张为群;黄娟;;WS-CDL的形式化模型和执行过程研究[J];计算机科学;2009年05期

3 廖军,谭浩,刘锦德;基于Pi-演算的Web服务组合的描述和验证[J];计算机学报;2005年04期

4 吴明晖;熊向辉;应晶;;Web服务业务流程一致性验证[J];计算机应用研究;2010年10期

5 尤殿龙;申利民;王辉;耿大伟;;一个基于WS-CDL的服务编排行为模型及角色映射[J];小型微型计算机系统;2014年07期

，

本文编号：1004008