基于合约的泛型Web服务组合与选择研究

发布时间：2017-04-29 10:18

  本文关键词：基于合约的泛型Web服务组合与选择研究，由笔耕文化传播整理发布。

【摘要】：伴随着面向服务体系结构SOA的发展,Web服务组合以其灵活性和可伸缩性满足了日益复杂的服务要求。服务组合时,限定服务供应方之间的业务联系,引起更多的关注。本论文应用合约明确各合作方的义务以限定上述联系。 关于合约限定的Web服务组合问题,面临三个关键挑战：第一个挑战是服务组合的行为描述和合约的限定条件如何进行无缝整合；第二个挑战是如何有效确保合约限定时组合执行的可靠性,并避免相似验证；第三个挑战是在符合合约限定条件的众多服务组合实例中如何精确高效地寻觅到最优实例。针对以上挑战,本论文旨在应用新颖的泛型服务模型将服务组合的行为和合约限定的条件描述有机集成,并通过设计的批量证明算法提升服务组合的可靠性,最后构建离散群搜索服务模型(D-GSS)进行高效的服务选择。 本论文的主要研究工作如下： (1)建立泛型服务模型,描述基于合约的Web服务组合规约,减少重复验证。本论文基于概念描述语言Tecton设计了泛型服务模型,该模型应用面向概念的设计技术将Web服务组合及相应合约的共同性质抽象化,形成泛型规约。在抽象级别得到验证的泛型规约经实例化后不需重复相似验证,可重用性得以提升。 (2)提出了真实情境的定义,并基于真实情境设计批量证明算法,该算法用于提高验证规约性质完备性的效率。本论文基于合约限定条件提出了真实情境的定义,并建立了在不同真实情境下同步展开证明的批量证明算法,以确保基于合约的服务组合在整个生命周期里的可靠性。此方法同时考虑到合约限定条件下组合可能经历的所有情境,缩短了验证的时间。若所有路径均验证成功,则表示规约是完备的,否则该规约需要扩展。经过验证的泛型规约可存放入库,以备实例化应用或其他规约复用。 (3)定义cost函数,精准评估多QoS属性限制下每个基于合约的服务组合实例质量。在D-GSS模型中,为了满足对于合约限定的服务组合的QoS属性限制需求,设立了cost函数,可易于计算实例的质量值。基于合约的组合实例相应cost函数值越低,则表示该实例的服务质量越高。cost函数的建立过程为：每个QoS属性均确保量化；全局QoS属性由各原子服务的属性依据组合的结构而集成；效用函数制定了成本标准或收益标准QoS属性一致性的方法,并将全局QoS属性与相应限制要求相结合考虑；最终建立效用函数值和权重值综合考虑的cost函数。 (4)设计离散群搜索优化算法DC-GSO,高效寻觅基于合约的最优服务组合实例。在D-GSS模型中,提出的DC-GSO算法是受到动物搜索行为启发的群智能算法,用于解决关于服务选择的离散寻优问题。通过DC-GSO算法可从基于合约的众多组合实例中为服务请求者快速选出最优实例。此算法中种群个体依据捕食者、追随者、巡视者的角色分别搜索,在多次迭代后寻觅到cost函数值最小的最优解。关于基于合约的服务组合实例寻优问题,DC-GSO算法相较于其他算法在准确性及收敛速度方面具有竞争性优势。
【关键词】：服务组合 合约 泛型服务模型 批量证明方法 D-GSS模型
【学位授予单位】：华东理工大学
【学位级别】：博士
【学位授予年份】：2015
【分类号】：TP393.09
【目录】：

• 摘要5-7
• Abstract7-9
• 目录9-12
• 插图目录12-14
• 表格目录14-15
• 第1章 绪论15-28
• 1.1 Web服务组合概述16-17
• 1.2 Web服务组合的主要方法17-21
• 1.3 Web服务组合的合约限制21-22
• 1.4 基于QOS属性的服务选择22-23
• 1.5 主要研究内容及贡献23-26
• 1.5.1 主要研究内容23-24
• 1.5.2 主要贡献24-26
• 1.6 论文结构26-28
• 第2章 相关技术介绍28-49
• 2.1 面向概念的语言Tecton28-39
• 2.1.1 概念描述语言简介28-29
• 2.1.2 Tecton语言的特性29-31
• 2.1.3 概念和概念描述31-39
• 2.2 群智能算法GSO39-47
• 2.2.1 群智能算法概述40-44
• 2.2.2 GSO算法介绍44-47
• 2.3 本章小结47-49
• 第3章 基于合约的泛型Web服务组合规约49-71
• 3.1 总体设计思想49-51
• 3.2 Web服务变量及类型描述51-53
• 3.3 服务组合中通用函数描述53-54
• 3.4 控制流程描述54-61
• 3.5 服务组合的异常情况处理描述61-63
• 3.6 合约的限定63-65
• 3.7 基于第三方支付的在线订单案例65
• 3.8 关于第三方支付案例的泛型组合规约65-70
• 3.9 本章小结70-71
• 第4章 基于合约的泛型组合规约的验证71-86
• 4.1 Violet系统简介71-73
• 4.2 批量证明算法73-77
• 4.3 关于第三方支付案例的泛型组合规约验证77-82
• 4.4 关于概念库的简介82
• 4.5 泛型规约实例化82-84
• 4.6 本章小结84-86
• 第5章 新型Web服务选择模型D-GSS86-115
• 5.1 新型Web服务模型D-GSS介绍86-90
• 5.1.1 D-GSS模型的核心思想86-88
• 5.1.2 D-GSS模型的流程设计88-90
• 5.2 cost函数90-100
• 5.2.1 QoS属性值的量化90-91
• 5.2.2 QoS属性值的集成91-94
• 5.2.3 效用函数94-96
• 5.2.4 cost函数的定义96-97
• 5.2.5 cost函数应用举例97-99
• 5.2.6 cost函数的优点99-100
• 5.3 DC-GSO算法100-109
• 5.3.1 n维空间的建立过程100-101
• 5.3.2 DC-GSO算法的流程101-103
• 5.3.3 DC-GSO算法的具体步骤103-108
• 5.3.4 DC-GSO算法的优点108-109
• 5.4 新型服务选择模型的收敛性分析109-113
• 5.4.1 收敛性验证109-112
• 5.4.2 收敛性性能分析112-113
• 5.5 本章小结113-115
• 第6章 结束语115-117
• 6.1 主要研究成果115-116
• 6.2 今后研究展望116-117
• 参考文献117-131
• 致谢131-132
• 攻读博士学位期间完成论文及参与项目132

【参考文献】

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

1 林国辉,马正新,王勇前,曹志刚;基于蚂蚁算法的拥塞规避路由算法[J];清华大学学报(自然科学版);2003年01期

2 周建涛,史美林,叶新铭;一种基于Petri网化简的工作流过程语义验证方法[J];软件学报;2005年07期

3 李晓磊,薛云灿,路飞,田国会;基于人工鱼群算法的参数估计方法[J];山东大学学报(工学版);2004年03期

4 王颖,谢剑英;一种基于蚁群算法的多媒体网络多播路由算法[J];上海交通大学学报;2002年04期

5 王春峰,赵欣,韩冬;基于改进蚁群算法的商业银行信用风险评估方法[J];天津大学学报(社会科学版);2005年02期

  本文关键词：基于合约的泛型Web服务组合与选择研究，由笔耕文化传播整理发布。

，

本文编号：334701