基于场景的服务组合与验证

发布时间：2017-03-30 12:02

  本文关键词：基于场景的服务组合与验证，，由笔耕文化传播整理发布。

【摘要】：SOA通过把软件分解成为一个个服务以达到解耦合和重用性的做法得到了广泛应用,与之结合的服务组合的方法也因此被广泛的研究。但是随着可用的服务数量的不断增加以及不同组织之间相互协作性的增强,传统的服务组合方法依然存在很多的挑战。1)对于一个企业(组织)而言,在处理相似的开发需求时,开发人员需要重复地进行服务查找,服务匹配,服务组合的工作,缺乏效率。2)在相似服务增多的情况下(功能类似),进行服务选择以及处理不同来源服务时,对复杂的应用场景进行分析变得十分繁琐。针对以上提出的挑战,本文结合现有的语义网技术和服务组合相关研究提出了基于场景进行服务组合与验证的方案。我们首先提出抽象场景模板,并在此基础上依据服务上下文的表述来尽可能的复用遗留系统。对于无法通过复用满足的需求,我们结合语义网和服务上下文来寻找和选择对应的服务,通过线性逻辑证明的方式来进行服务组合。同时本文研究了需求上下文和线性逻辑转化为通信顺序进程的方法,为组合好的服务进行仿真验证。本文的研究工作有以下几点:1.利用抽象场景模板来表述需求抽象场景模板是对一类实际应用场景进行归纳抽象,具体的说就是抽离出一个实际应用场景可能会经历哪些阶段,每个阶段至少会有哪些功能而这些功能应该会涉及到哪些服务。而服务上下文是针对一次实际的需求在抽象模板的基础上添加对应的内容。2.利用线性逻辑进行服务组合研究了服务的线性逻辑表示,把对应的服务转换成Classic linear logic(CLL)描述,同样的把我们的需求表述成CLL描述并把它看成是一个猜想。这样我们就把服务组合的问题转化为一个证明的问题,如果这个证明成功了就说明我们得到了这个服务组合。3.利用语义信息来解决来源不同服务的接口匹配问题因为服务来源不同,所以在服务组合的过程中会出现接口异构的情况。我们对此进行了异构情况的总结分类,并对每一类异构提出相应的解决办法,同时指出了复杂的异构情况可以分解成多个单一的异构情况通过多步来解决。4.利用通信顺序进程进行服务组合验证通过将需求上下文中的信息以及线性逻辑证明中的信息转化为CSP表达式,然后利用CSP表达式进行仿真验证来对服务组合的有效性进行检测。本文提出从场景模型出发,通过服务上下文来具体的描述需求的方法。利用尽量复用遗留系统的方法达到增加开发效率的目标。最后结合统一通信领域的实际案例对本文提出的方案进行了验证。
【关键词】：服务组合 通信顺序进程 接口匹配 需求上下文 业务场景
【学位授予单位】：上海交通大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：TP393.09
【目录】：

• 摘要3-5
• ABSTRACT5-9
• 第一章 绪论9-16
• 1.1 研究背景9-10
• 1.2 研究现状10-14
• 1.2.1 服务组合的方法研究10-12
• 1.2.2 服务组合验证的研究12-13
• 1.2.3 服务组合模板的研究13
• 1.2.4 当前研究现状分析与总结13-14
• 1.3 主要研究内容14-15
• 1.4 论文结构安排15
• 1.5 本章小结15-16
• 第二章 基于场景的服务组合框架16-22
• 2.1 应用场景分析16-18
• 2.2 应用框架总体架构18-21
• 2.3 本章小结21-22
• 第三章 服务组合场景模型22-32
• 3.1 抽象场景模板模型22-26
• 3.2 服务上下文26-31
• 3.3 本章小结31-32
• 第四章 基于场景服务组合研究32-47
• 4.1 遗留系统复用研究32-40
• 4.2 基于线性逻辑的服务组合40-43
• 4.2.1 服务的线性逻辑表示40-41
• 4.2.2 基于线性逻辑的服务组合41-43
• 4.3 服务组合接.匹配研究43-46
• 4.4 本章小结46-47
• 第五章 组合验证研究47-58
• 5.1 服务组合验证方法47-54
• 5.2 仿真54-57
• 5.3 本章小结57-58
• 第六章 系统应用验证与分析58-72
• 6.1 企业应用场景58
• 6.2 案例介绍58-69
• 6.3 讨论69-71
• 6.4 本章小结71-72
• 第七章 全文总结与展望72-74
• 7.1 全文总结72-73
• 7.2 展望73-74
• 参考文献74-77
• 致谢77-78
• 攻读学位期间发表的学术论文目录78-80

【相似文献】

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

1 孙洁丽;龚立群;;Web服务组合标准规范的研究[J];现代图书情报技术;2007年05期

2 万里平;蔡美玲;高春鸣;;基于服务联盟的Web服务组合模型及方法[J];计算机工程与应用;2007年31期

3 郭峰;张萌;;Web服务组合的可靠性分析[J];系统仿真学报;2008年S2期

4 程永上;王志坚;;Web服务组合在水利领域中的应用[J];计算机工程与应用;2008年07期

5 陈世展;冯志勇;;服务网络:Web服务组合的新基点[J];计算机应用研究;2008年05期

6 刘志红;;Web服务组合的相关研究[J];农业科技与装备;2009年01期

7 熊伟;;Web服务组合综述[J];信息化纵横;2009年05期

8 曾伟;胡W

本文编号：277041