收藏本站
《复旦大学》 2011年
收藏 | 手机打开
二维码
手机客户端打开本文

SOA等级化服务替换理论与机制

杨勇  
【摘要】:面向服务的体系结构SOA (Service-Oriented Architecture),作为新一代软件架构,在学术研究及企业实践中得到了日益广泛的关注,已成为新兴商业应用一一云计算的技术基石之一。随着SOA日益成熟和普及,在Internet上出现了大量功能相同或相近的服务。借助SOA架构松耦合特性,服务替换得以进行。 服务替换是指,在一个服务组合应用的上下文环境中,以新服务替换应用中某个成员服务,并保留系统原有的某些属性。服务替换理论及机制为SOA软件容错、持续演进支持、运行性能提高和可生存性增强等方面提供了核心技术支撑,已成为一个科学问题。 大量服务不断地涌现,造就了Internet上数量丰富、功能相同或相似、交叉或重叠的可用服务集合。为合理、有效地使用这些服务,有必要在功能上对它们进行分类和管理,建立基于功能强弱的等级化组织:对同一功能下的服务,按照非功能属性加以分类和管理,满足差异性的消费模式。这种等级化的服务选择、替换与管理是传统软件理论,甚至现今的服务计算理论所无法涵盖的,缺乏相应的原则、方法和技术。 本论文关注SOA等级化服务替换理论及机制,在以下方面展开研究: 首先,等级化服务替换的首要问题是如何衡量等级化服务替换的正确与否。服务相容性,被认为是正确服务替换的标准。然而,没有一个统一、严格的服务相容性概念。本论文研究采用进程代数(7r-演算)描述服务契约,对服务及其组合的可观察外部消息行为进行建模。将服务组合和替换分析问题看作一个模型检验问题,并从三个视角进行讨论,即成员服务的类型(孤立/交互服务)、服务组合的环境(开放/自包含系统)和研究关注的问题(局部/全局属性)。在此基础上,研究不同服务相容性约束及其内在联系,描述服务相容性约束的规范形式和等级化的服务相容性谱系。 其次,在SOA服务自治性环境中,服务替换的主要挑战之一是,以WSDL形式存在服务的内部细节不透明性。在这种情况下,等级化服务替换的难点是,如何利用有限的WSDL信息判断服务替换的正确性。结合基于(?)nay-, should-和must-测试偏序理论,服务相容性被区分为所有计算路径上的相容性和部分计算路径上的相容性。服务接口的类型用来刻画服务消息交互模式。等价的接口具有相同的接口类型和输入/输出消息集。以接口等价为基础的服务契约等价描述了等价服务替换。接口的子类型具有更多的接收消息能力和更少的发送消息选择。以接口子类型为基础的子契约描述了等级化服务替换。 再次,在SOA软件可生存性环境中,成功实施服务替换的关键难题之一是,迅速找到与被替换服务完全等价的候选替换服务。在系统发生故障的紧急情况下,允许降级服务替换是主要应急措施之一。降级服务替换的难点是,采取什么替换关系理论保证实施替换后的系统仍可保持服务相容性。本论文研究的关注点是,具有交互协议的、流程形式的服务。首先,标识实施替换后不影响系统相容性的成员服务变化;然后,如果实施替换后原有的系统相容性受到影响,那么,需要确定这些对系统相容性的影响是否是可接受的,即实施替换后的系统能否继续提供至少一组核心服务,以降级的形式工作。 最后,等级化服务替换中非功能属性分析的关键问题是计算服务组合的QoS。服务组合QoS计算的主要挑战是,计算复杂结构服务组合的QoS。本论文研究利用流程结构树对服务组合Orchestration模型进行分解,采用形式化标记描述服务的组合结构。利用run和con6guration概念,将有向无环结构转化为包含多个N-Structure的选择结构。利用Markov链描述任意环结构,求解每个成员组件的平均执行次数。最后,依据Orchestration模型的内部结构及其成员组件间的相互关系(即最大化结构描述),通过前序遍历流程结构树,集成从叶节点到根节点的成员服务QoS,得到整个组合服务的QoS。 本论文研究主要贡献如下: 1.分析了不同的服务相容性约束及其内在联系,给出了一个支持等级化服务替换、由弱到强的服务相容性谱系。 2.提出了基于may-,should-和must-测试偏序理论的服务相容性概念;并以此为基础,将传统的严格等价和升级服务替换扩展到了等级化服务替换,并提出了保持服务系统相容性的降级服务替换。 3.给出了WSDL(?)(?)务的等级化替换理论与机制,利用WSDL服务中有限的接口信息判断服务替换正确性;给出了BEPL流程服务的降级替换理论与机制,增强SOA系统在故障时间内的可生存性。 4.提出了一种基于流程结构树计算组合服务QoS的方法,能在拟线性时间内完成组合服务QoS的计算。 5.研究了两类服务组合的复杂结构,即同步不对称并行结构(属于有向无环结构)和单进多出循环(属于任意环结构);给出了相应的QoS计算方法。
【学位授予单位】:复旦大学
【学位级别】:博士
【学位授予年份】:2011
【分类号】:TP393.09

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 吴金麟;;基于SOA的动车组运用检修一体化管理的研究[J];铁路计算机应用;2011年08期
2 潘俊;吴俊君;贺媛媛;;SOA在高校学分互认信息化集成平台中的应用[J];现代计算机(专业版);2011年14期
3 吴秋萍;;基于SOA的电子政务系统架构及关键技术研究[J];电脑知识与技术;2011年14期
4 易菲;龙朝阳;;基于SOA的数字图书馆联盟信息服务平台构建[J];图书馆工作与研究;2011年06期
5 缪纶;叶茂;王志璋;段媛媛;;基于SOA的水利水电数字图书馆架构研究[J];水利技术监督;2011年04期
6 陈琢悦;丁利佳;;SOA在电厂人力资源管理系统中的研究与应用[J];电脑知识与技术;2011年13期
7 罗国伟;郭信江;丘洁飞;邱韬奋;;基于SOA的远程教育系统的研究与实现[J];中国教育信息化;2011年07期
8 张胜;杨柳;;基于SOA的数据服务平台设计[J];软件导刊;2011年06期
9 王潮阳;董建;袁媛;;中国SOA标准体系研究[J];信息技术与标准化;2011年07期
10 李敏;;基于SOA的电子政务系统设计[J];现代商贸工业;2011年15期
中国重要会议论文全文数据库 前10条
1 王美姣;钱彦军;姚绍文;余正祥;;服务组合语言在SOA中的应用[A];云南省机械工程学会2010年年会论文集[C];2010年
2 万芳;沈建京;韩丁;张慧;;基于SOA的服务构件组合技术研究[A];第二十七届中国控制会议论文集[C];2008年
3 陈裕;林辉;;基于SOA的ERP系统架构模型研究[A];信息经济学与电子商务:第十三届中国信息经济学会学术年会论文集[C];2008年
4 ;On Software Development Based on SOA and ROA[A];Proceedings of 2010 Chinese Control and Decision Conference[C];2010年
5 江琦;奚宏生;殷保群;;网络新媒体服务系统事件驱动的动态服务组合[A];第二十九届中国控制会议论文集[C];2010年
6 柳蛟;刘璐;;基于SOA的企业服务总线研究与实现[A];经济发展方式转变与自主创新——第十二届中国科学技术协会年会(第四卷)[C];2010年
7 程晓蕾;周国祥;;基于SOA技术的保险代理信息管理系统的分析与设计[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
8 郑蕾;邢春晓;周立柱;;用SOA与Web服务整合数字图书馆应用系统[A];第二十二届中国数据库学术会议论文集(研究报告篇)[C];2005年
9 武兴悦;石丽梅;王钢;;SOA在应急数据交换、共享平台中的实践研究[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
10 王道文;王西恩;陆歌皓;周维;;基于SOA和Ajax技术的物流服务平台的研究与开发[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(下册)[C];2010年
中国重要报纸全文数据库 前10条
1 冯晓芳 刘菊花;我国有望率先建立起SOA标准体系[N];中国税务报;2008年
2 本报记者 邢小萍;我国有望年底推出SOA标准体系[N];网络世界;2008年
3 记者 李传涛;SOA标准体系年内有望建立[N];通信产业报;2008年
4 于翔;中国版SOA标准体系问世[N];网络世界;2009年
5 乐天 编译;SOA将是企业2.0的基础[N];计算机世界;2009年
6 冯晓芳 刘菊花;我国率先规划出SOA标准体系[N];中国企业报;2009年
7 记者 刘喜喜;中国率先规划出SOA标准体系[N];中国计算机报;2009年
8 本报记者 刘丽丽;航天二院 用SOA提速OA开发[N];计算机世界;2010年
9 袁斌;SOA的三大迷思[N];建筑时报;2011年
10 本报记者 王慧芳;SOA:标准与应用同行[N];中国电子报;2011年
中国博士学位论文全文数据库 前10条
1 杨勇;SOA等级化服务替换理论与机制[D];复旦大学;2011年
2 于晓浩;面向任务的军事信息服务组合方法与关键技术研究[D];国防科学技术大学;2011年
3 龙军;基于信任感知与演化的服务组合关键技术研究[D];中南大学;2011年
4 马小宁;铁路信息共享的Web服务组合关键技术研究[D];北京交通大学;2010年
5 朱锐;可信服务组合若干关键技术研究[D];国防科学技术大学;2009年
6 张启文;基于SOA的供应链异构系统集成研究[D];东华大学;2011年
7 马林;基于可信评估的服务组合方法研究[D];中国科学技术大学;2012年
8 王欣;基于SOA的知识集成建模研究[D];吉林大学;2012年
9 翟岩龙;开放网络环境中动态自适应服务组合技术研究[D];北京理工大学;2009年
10 程乘;SOA非线性应用关键参数的测量[D];华中科技大学;2010年
中国硕士学位论文全文数据库 前10条
1 陆中远;基于SOA的服务组合研究与平台设计[D];北京邮电大学;2011年
2 梁本志;基于SOA架构服务组合的研究与实现[D];西安电子科技大学;2008年
3 朱恒亮;SOA中服务与服务组合的形式化研究[D];福建师范大学;2010年
4 蒋黎明;基于BPEL和SOA的Web服务组合技术研究与应用[D];南京理工大学;2007年
5 张超林;基于SOA开源架构的集成开发系统原型设计及应用[D];北京邮电大学;2011年
6 段美强;基于SOA架构的多代理安全模型[D];电子科技大学;2011年
7 糜德吉;基于ESB的SOA架构研究与应用[D];南京航空航天大学;2009年
8 何龙;基于SOA架构的JBI应用研究[D];大连海事大学;2010年
9 吴荣辉;基于SOA的ERP财务管理系统的研究[D];西华大学;2010年
10 李科成;基于SOA的企业信息规划研究[D];山东大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026