Web服务组合运行时的容错处理

基于WebJet服务组合组装与运行平台,设计了一个基于反馈容错机制、支持Web服务组合运行时自动容错处理的基本框架。针对服务组合运行时的时间QoS质量和用户SLA计算容错选择因子,运用聚类算法确定容错边界值,提出容错处理的一般映射方法,并给出了故障处理及流程重构区域计算方法。系统支持流程在线自恢复,适应复杂的网络生态环境,为流程执行时业务功能与服务质量的保障提供了一种有效的机制。     

一种基于QoS的服务组合运行时的重组容错机制

基于支持服务组合运行时容错处理的平台,提出了运行时重构局部流程的故障处理机制,以有效支持流程运行出现故障时的在线自恢复,使流程执行时在业务功能与服务质量两方面均得到保障。     

基于AOP的Web服务组合容错模型

为了解决现有Web服务组合容错方案中功能性代码与容错处理代码缠绕问题,提出了基于AOP的Web服务组合容错模型.对Web服务组合执行过程的各阶段失效原因进行了分析和归类,给出了相应的容错处理策略;基于AOP横切关注点分离的思想,构建了Web服务组合容错模型,保障执行过程中业务功能和服务质量的同时,实现了容错关注点与功能关注点的分离.通过实例分析,验证了该模型的可行性和有效性.     

基于AOP的Web服务失效恢复机制

为解决服务失效带来的Web服务组合运行时可靠性问题,消除失效恢复处理对正常业务逻辑的干扰,分析了BPEL引擎内置异常处理机制的局限性,提出了一种基于AOP的Web服务失效恢复机制.将QoS纳入服务选择指标,在流程执行前,通过查询UDDI及QoS约束过滤,预先获得各成员服务的候选服务集合;引入面向切面(AOP)技术扩展BPEL引擎,通过容错代理切面拦截服务请求和调用服务实例,在失效发生时利用候选服务集合中的等价服务替代失效服务,提高了服务组合运行时的可靠性,并使失效恢复处理从功能性业务逻辑中分离.实验结果表明该方法具有可行性和有效性.     

Web服务动态组合方法研究与设计

目前基于工作流的Web服务组合方法大多要求预先定义流程结构,不能适应现代企业业务流程复杂多变的需求.提出了一种Web服务动态组合方法,将流程中动态部分用黑盒子流程进行封装,在执行时根据预定义规则和用户需求将黑盒子流程自动组合展开为实际运行流程.对具体服务、抽象服务、黑盒子流程等概念和服务选取规则、服务组合规则进行了定义,详细描述黑盒子流程展开算法,并设计了一个实现动态服务流程组合的框架结构.     

一种基于反馈控制的Web服务组合执行引擎设计

在Web服务组合执行引擎中解耦流程执行和成分Web服务调用,设计和实施了带有双控制反馈控制环的流程执行结构,反馈控制环分别位于流程执行器与服务代理之上。仿真结果表明：解耦流程执行和成分Web服务调用提高了引擎资源的使用效率,增加了流程执行的并发性,提高了引擎的吞吐量;引入QoS反馈控制结构,使得引擎在组合服务负荷变化时,可为不同的请求服务等级提供服务响应时间保障。     

基于用户视角的组合Web服务响应时间优化

针对响应时间,通过选择、调用合适的成员Web服务,对组合Web服务的QoS进行优化．该优化方法基于用户的视角,将组合Web服务运行时用户一次等待周期中需要执行的所有任务作为一个整体进行调度;同时根据组合Web服务流程的不同环节中用户对等待时间的不同敏感度,设置调度参数,降低关键环节超时的风险．实验表明,此方法可以有效地优化组合Web服务的响应时间,提高用户的满意度和QoS．     

Web服务组合的容错管理

Web服务有广阔的应用前景,得到了工业界和学术界的广泛关注.目前,将细粒度的Web服务按照用户需求或特定的业务逻辑进行合成,以完成更复杂的功能,是提高服务利用率的有效手段之一.然而,服务组合涉及多个主体和多种平台,难以保证其可用性和可靠性.针对服务组合的特点,分析了组合过程中可能出现的故障,构建了服务组合容错管理框架,提出了相应的容错策略、故障检测及容错实施方法,并通过仿真实验验证了该方法的有效性.     

SLA感知的事务型组合服务容错方法

针对组合服务容错逻辑与执行逻辑不分离,以及容错过程易出现SLA（service level agreement）违反的现状,提出一种SLA感知的事务型组合服务容错方法.该方法首先采用有限状态机建模组合服务执行过程,对其状态进行监控;其次,采用监控自动机监控执行过程中的SLA属性,确保不出现SLA违反;然后,对于补偿过程,采用改进的差分进化算法快速寻找最优恢复规划;最后,该方法与组合服务执行逻辑相分离,所以易于开发、维护和更新.基于真实数据集的实验结果验证了所提方法在故障处理时间与组合最优度方面优于其他方法,并且对不同故障规模适应良好.     

物联网智能物流系统容错服务组合建模与分析

针对物流领域的服务组合存在容错性差和服务不可靠等问题，提出一种基于π网的物联网智能物流系统物流服务容错组合模型。首先，在简单介绍物联网智能物流系统后，给出了物联网智能物流系统的容错服务组合框架；然后，基于π网建立了物联网智能物流系统物流服务容错组合模型，并对模型进行了容错正确性和拟合性分析；最后，对提出的模型进行了服务可靠性、服务故障容错可靠性实验，并与Petri网、QoS动态预测算法、模糊卡诺模型和改进粒子群优化的服务组合方法针对服务组合的执行时间、用户满意度、可靠性和最优度进行对比实验。实验结果表明，所提模型具有更高的服务可靠性和服务故障容错可靠性，同时在服务组合的执行时间、用户满意度、可靠性和最优度等方面也具有一定的优越性。     

一种利用云环境实现Web服务组合容错的方法

随着Web服务迅猛发展,基于SOA的服务组合容错性研究成为了业界关注的焦点.服务组合中组件的失效,会导致整个组合执行失败,而资源不足、服务器负载过重是引发组件失效的主要原因之一.云计算作为一种新的计算泛型,其资源整合、动态分配的特点为解决传统SOA下因资源受限而引发的失效提供了新的容错思路.FTEL层将中间件技术应用到服务组合容错上,借助云环境完成服务替换,对传统SOA下较难解决的由于资源问题引起的组件失效进行了容错.     

Towards an ontology-based approach for specifying and securing Web services

With the increasing popularity of Web services and increasing complexity of satisfying needs of users, there has been a renewed interest in Web services composition. Composition addresses the case of a user request that cannot be satisfied by any available Web service, whereas a composite service obtained by integrating Web services might be used. Because Web services originate from different providers, their composition faces the obstacle of the context heterogeneity of Web services. An unawareness or poor consideration of this heterogeneity during Web services composition and execution result in a lack of the quality and relevancy of information that permits tracking the composition, monitoring the execution, and handling exceptions. This paper presents an ontology-based approach for context reconciliation. The approach also focuses on the security breaches that threaten the integrity of the context of Web services, and proposes appropriate means to achieve this integrity.     

基于反馈控制的服务组合引擎的设计与实现

遵循SOA,提出服务组和执行引擎WebJetFlow的实现框架。将反馈控制机制应用于执行引擎中,在流程执行管理器和服务代理中,设计带有反馈控制环的流程执行结构,以保障不同等级的服务请求的服务响应时间。在执行模块中,将流程执行与对服务的调用进行分离,提高了引擎资源的利用率。解耦流程执行和Web服务调用提高了引擎资源的使用效率。QoS反馈控制结构使得引擎在外部请求负荷变化时,可为不同等级的请求提供服务响应时间保障。     

The semantics and verification of timed service choreography

As a service composition and coordination language, the service choreography gives the global and neutral view on the collaboration among a collection of highly distributed services involving multiple different organizations or heterogeneous independent processes. In this paper, we extend the service choreography by introducing the explicit time activity, which can be used to specify and reason about the timed behaviour of Web service choreography. Then we explore an execution model for the proposed timed service choreography which possesses several novel features, such as timed activity, choreography composition, exception handling and finalization. Furthermore, a set of mapping rules is elaborately designed to translate the timed choreography into communicating sequential programs processes, thus the corresponding simulation and verification of Web services choreographies with timing restrictions can be carried out in the model checker process analysis toolkit. The case study shows that our approach is both effective and practical.     

一种基于广义随机Petri网的Web服务组合性能预测模型

Web服务交互消息受到不可预知的网络环境的影响,因特网环境中的个体Web服务的性能表现与访问者的地域位置有关。于是,服务组合的性能则更加容易受到网络环境因素的影响。同时,服务组合的性能还会受到服务组合流程中不同的分支执行概率的影响。在这种情况下,服务组合建模只考虑组合本身,而不考虑网络环境因素和分支执行概率,这将会对模型的预测结果造成较大的偏差。为了能够真实地评估服务交互行为、网络环境与分支执行概率之间的关系,提出了一种基于广义随机Petri网的Web服务组合性能预测模型,该模型不仅引入了伙伴服务性能方面的因素,而且充分考虑了网络环境因素和分支执行概率,从而能够对被建模系统进行定性和定量分析,进而指导服务组合性能优化。     

基于多Agent的Web服务动态合成的研究

现有基于传统工作流的Web服务合成的研究,不能很好满足Web服务合成动态、分布 式的要求。将Web服务动态合成技术和多Agent技术结合,着重于合成服务流程执行阶段的监控和 异常处理,给出了基于多Agent技术的Web服务动态合成系统的框架MAS WS,描述了其中的关键技 术,包括Agent联邦动态组建、主动协作、服务流程分层管理、流程规划与执行交叉进行等,并分析了 MAS WS的优势。     

A novel fault-tolerant execution model by using of mobile agents

The exponential expansion of the Internet and the widespread popularity of the World Wide Web give a challenge to experts on reliable and secure system design, e.g., e-economy applications. New paradigms are on demand and mobile agent technology is one of the features. In this paper, we propose a fault-tolerance execution model by using of mobile agents, for the purpose of consistent and correct performance with a required function under stated conditions for a specified period of time. Failures are classified into two classes based on their intrinsic different effects on mobile agents. For each kind of failure, a specified handling method is adopted. The introduction of exceptional handling method allows performance improvements during mobile agents’ execution. The behaviors of mobile agents are statistically analyzed through several key parameters, including the migration time from node to node, the life expectancy of mobile agents, and the population distribution of mobile agents, to evaluate the performance of our model. The analytical results give new theoretical insights to the fault-tolerant execution of mobile agents and show that our model outperforms the existing fault-tolerant models. Our model provides an effective way to improve the reliability of computer systems.