基于WSDG的Web服务组合可靠性预测

为了更好地对基于SOA的Web服务组合进行可靠性预测,提出了基于服务依赖图的可靠性模型.首先介绍了Web服务组合的描述语言WS-BPEL,以及用来描述服务业务流程的原子活动和结构化活动;其次在传统的控制流图的基础上提出了Web服务依赖图的概念,Web服务依赖图用来描述Web服务组合的执行行为和结构信息,包括服务名、服务类型和服务的可靠性,以及服务之间的转移概率、转移可靠性等信息;然后分析BPEL的原子活动和结构化活动的控制依赖关系,并在此基础上构造相应的Web服务依赖图.最后基于服务依赖图的遍历,应用可靠性预测算法计算Web服务组合的可靠性.实例分析结果表明,基于依赖图的可靠性预测方法具有简便性和易处理性.     

内容寻址网络的P2P语义Web服务组合系统架构

为了提高语义Web服务组合系统的扩展性、可靠性和稳定性,提出了一种基于P2P的语义Web服务(P2PSWS)组合系统架构.该架构结合了集中式和分布式结构的优点,将统一描述、发现和集成协议的功能分散于本地Web节点、组Web节点和公共Web节点;设计了一种基于内容寻址网络的P2P网络语义Web服务的定位机制,以保证每个共享服务按领域划分,按被所有节点所共享的公共Web节点来注册.原型系统运行表明,该架构有助于克服传统公共Web服务结构上的单一节点失败问题,扩展了P2P系统的能力,有效地实现了基于本体的语义Web服务的组合.     

基于组合的Web服务复杂网络的构建与分析

提出一种以Web服务为节点,服务间的调用关系为边来构建复杂网络模型的方法.通过模型来研究Web服务组合结构中的服务关系,找到大量Web服务中关键的Web服务,增加组合服务的健壮性及可靠性.实验结果证明了该方法的正确性以及有效性.该方法的提出把对Web服务的研究从传统的SOA模型中引领到复杂网络模型中,对Web服务组合的进一步研究具有指导意义.     

基于扩展投影时序逻辑的组合Web服务描述与验证

针对编制方式生成的组合Web服务需要用一个工作流引擎执行这个特征,对投影时序逻辑进行了扩展,并用扩展投影时序逻辑描述和验证组合Web服务.将组合Web服务视为一个基于过程的工作流,将工作流引擎与组合Web服务组成部分的一次不可分割的消息交互抽象为一个原子过程.用扩展投影时序逻辑公式描述原子过程,用扩展投影时序逻辑操作符定义过程组合规则、连接过程描述公式,得到组合Web服务描述公式.通过模拟组合Web执行,可验证组合Web服务满足系统的需求和性质,为提高组合Web服务设计的可靠性提供了依据.     

语 义 Web 服 务 组 合 策 略

针对语义Web服务组合需要解决的问题, 提出一种基于3种语义Web服务方法构架实现的语义Web服务组合方法, 通过重用已有的Web服务满足用户高质量的应用需求, 并阐述了这3种语义Web组合方法存在的不足, 明确了语义Web服务组合的研究目标.     

基于关系数据库的Web服务组合研究

针对现有Web服务组合方法效率和查全率低的问题,利用关系数据库中连接运算操作,提出了一种基于关系数据库(RDB)的Web服务组合方法.首先,将Web服务和本体相关信息存储到关系数据库中;然后,利用本体概念间的语义推理关系进行计算,并利用RDB中连接操作对Output和Input表循环进行连接,构造服务执行路径形成组合服务,从而对服务实现动态灵活的组合;最后,实验比较了该方法与其他方法查找组合服务的效率和查全率.实验结果表明:本文方法在基本不影响查找组合服务效率的情况下,较大地提高了查找组合服务的查全率.     

基于概率方法的QoS感知Web服务组合

针对Web服务的服务质量(QoS)的随机本质,提出了一个基于概率QoS感知的Web服务组合方法,实现传统方法难以描述的QoS需求.在概率QoS模型的基础上,定义QoS目标以及组合方案与QoS目标之间的距离函数.通过将服务组合问题转化为组合优化问题,应用Rollout算法作为求解问题的计算框架,对一个具体问题设计了相应的启发函数.以跨国旅游方案提供商作为具体案例演示基于概率方法的QoS感知服务组合.该方法很好地解决了概率QoS模型难以应用到动态服务组合中的问题.理论分析和实验数据表明该方法可以很好地满足用户对于组合服务的QoS需求.     

基于服务元组链的Web服务组合方法

提出一种描述Web服务的关系模型, 通过引入空服务和 服务元组的概念, 采用基于服务元组链的Web服务组合方法, 解决了基于服务链的Web服务组合方法只能处理顺序关系的组合问题, 应用该方法既能处理顺序关系的组合问题, 又能处理多个后继服务或前驱服务都需要被组合的并发关系组合问题.     

一种新型的Web应用可靠性评估工作量计算方法

Web应用系统已经应用到各个领域,研究Web应用的可靠性日益重要.首先定义Web应用失效,引出了Web应用可靠性的概念;通过分析IIS日志数据,收集相应的用户操作和信息传送失效数据,从Web应用软件系统的角度探讨了基于日志的Web应用可靠性评估的可行性.基于网站用户群使用特征的规律性,提出了一种新型工作量计算方法,该方法首先运用平均加权技术进行无单位化处理,再设置目标函数经优化得到计算新型工作量的权量.最后通过实验验证了新型工作量的有效性.实验结果表明,采用新型工作量计算Web应用的可靠度稳定性较好,可信性较高.     

Web服务可靠性的阶段模型

为了更全面地分析Web服务的失效过程,提高Web服务可靠性预测的精度,提出了一种Web服务可靠性的阶段模型.描述了SOA(service-oriented architecture)下Web服务在服务发布、服务发现、服务绑定、服务组合以及服务执行等各个阶段的失效过程,并根据Web服务在不同阶段的失效过程构建各个阶段的可靠性模型,将各阶段的可靠性模型集成起来即构成了Web服务的可靠性预测模型.通过实例描述了该模型的可靠性度量方法,并将该阶段模型和传统的可靠性模型进行了比较,实验结果表明了该可靠性阶段模型是有效的,因此比传统模型更加适用于Web服务.     

一种支持QoS约束的Web服务质量模型

为了满足在组合Web服务中提供服务质量支持，提供有保证的QoS（Quality of Service）的需要，以及针对目前在组合服务中，很少提供对服务质量支持的问题，建立了一个Web服务质量的模型．该模型为所有服务建立了一系列的质量指标，并对它们进行量化，得到量化值．最后在此模型的基础之上，在组合服务中建立了一个服务质量驱动的服务选择机制，从而可以实现所有在组合服务中的服务都是最优的．已经基于Microsoft．NET实现了一个原型系统．     

基于扩展的层次有色petri网的组合服务测试用例生成

为了更好地对Web组合服务中各个服务间的交互行为进行测试,提出了一种基于扩展的层次有色petri网的组合服务测试用例生成方法.首先将OWL-S文档映射成为扩展的层次有色petri网,使其中丰富的语义信息、数据流信息和控制流信息模型化.然后利用扩展的层次有色petri网,着重对各服务之间的数据流关系进行分析,找到所有的输出输入定义使用链,并将其扩展成可执行的测试序列,最后将测试序列和测试数据组合,生成测试用例.其中生成的所有测试序列符合全定义一使用路径覆盖标准.     

Web服务合成中的异构问题

分析了Web服务的发布、发现和调用过程,将Web服务合成中存在的异构分为阻碍Web服务最佳查找的语义等价的Web服务概要描述异构、阻碍Web服务动态替换的语义等价的Web服务操作异构和阻碍合成的Web服务正确执行的序列Web服务间数据流的异构·概要描述了Web服务合成中存在的各种异构冲突,并将Web服务合成中存在的异构归纳为语义冲突、数据类型冲突、结构类型冲突、参数个数冲突、数据量纲冲突和数据精度冲突六类·针对这六类冲突,详细地定义了解决各种冲突的相应转换规则·     

向量服务格支持下的Web服务检索

将概念格理论与Web服务特征相结合,提出了一种新型的服务组织结构——向量服务格,并利用向量服务格中得到的方法向量概念对方法向量进行扩展.在这个扩展的方法向量基础上,提出了服务检索方法,给出了方法向量、方法向量背景和k-维方法向量概念等的定义.实验结果表明,基于向量服务格的服务检索具有较高的检索效率.     

Activity sequence modes for Web services and verifications

Behavior requirement expression and its satisfiability verification for composite Web services is one of the ongoing issues in service computing.In this paper,the concept of behavior specifications based on activity sequence is proposed to express one kind of behavioral requirements for composite Web services.Its basic element is activity sequence.The method to express such behavioral requirements by behavioral modes is presented.Five behavioral modes used in this method are adopted.Through mapping modes to Labeled Transition Systems(LTSs),these modes are encoded with exact operation semantics.Then,the sufficient and necessary conditions as well as the checking algorithm for satisfiability of behavioral modes are given.Finally,an example analysis is presented.The result indicates that the behavioral requirements based on activity sequence are more suitable for the case of composite Web service than those based on activity or scenario.The behavioral modes expressions are concise and the satisfiability checking is effective by the given algorithm.     

组合Web服务中的数据一致性保持策略

在讨论Web服务基本框架、组合web服务模型概念及Web服务之间关系的基础上，结合分布式计算技术的相关理论，对组合Web服务中的数据一致性保持由强到弱进行了分类．为组合Web服务中最常见的顺序一致性保持提出解决策略，通过实例说明该策略的正确性．