基于补偿业务生成图的组合服务异常处理方法研究.doc

基于补偿业务生成图的组合服务异常处理方法研究基于补偿业务生成图的组合服务异常处理方法研究摘要为提高组合Web服务执行的一致性、可靠性,,、补偿目标和服务转让应用模式,、,该方法在保证补偿实现的同时,,;业务流程;异常处理;pensationBusinessProcessGraphShangZong-MinCuiLi-ZhenWangHai-YangShiYu-Liang(puterScienceandTechnology,ShandongUniversity,Jinan250101)positeWebservicesatrun-time,,pensationgoalandapplicationmodelofservicetransferarediscussedindetail,,pensationbusinessprocessgraph,positeservices,-orbackward-positeservices,pensationachieving,--;businessprocess;pensationbusinessprocessgraph1引言随着面向服务计算体系架构(Service-orientedarchitecture,SOA)的进一步推广和应用,中不同企业发布的Web服务有效组合,形成满足软件开发者需求的服务流程,、松耦合、自治和动态的特性,由Web服务组合而成的业务流程(简称业务流程)如何保证应用一致性,即在失败、异常等情况下,组合服务的执行能结束于一致状态,是Web服务组合应用的一个关键问题[1].软件服务协作中的事务支持可保证多个服务的交互与协同获得可靠、一致的执行效果[2],“全有或全无”的原子性质由于过于严格,无法适用于长运行、松耦合和自治的组合Web服务应用环境[3].于是许多研究对传统事务模型进行扩展,通过放宽事务的原子特性,来保证应用的一致性[2,4,5].即业务流程的执行或者正常结束,,,这些研究中应用一致性的保证是在一定前提条件下实现的:或者假设业务流程中每个服务都有相应的补偿服务与之绑定[4];或者过于关注服务提供者的业务实现细节[5],以牺牲Web服务的自治性为代价;或者在服务组合构建阶段检查所选择服务的事务属性[6],通过组建可靠的业务流程,,这些研究多集中在业务流程的设计阶段,、分布的环境,Web服务可能随时产生和消亡,网络的不稳定也会造成服务调用的延时和随时的连接中断,另外Web服务自身也可能出现故障,,,如BPEL4WS对于异常处理提供了异常捕获方法和异常的补偿机制,[7],尤其是处理那些不可预见的异常,,可采取向后恢复或向前恢复方式来处理异常[8].向后恢复是终止业务流程的执