【摘要】 虽然BPEL被OASIS组织作为目前Web服务合成的标准语言,它对于合成过程的容错性支持却存在很多不足,特别是没有提供强有力的异常处理机制.提出一种ECA规则驱动的异常处理机制,可以自动的将用户设定的异常处理逻辑嵌入BPEL流程中,而用户不需要关心复杂的具体实现.并且,考虑到用户的异常处理逻辑通常会被描述成庞大的规则集,本文基于一种描述逻辑提出了对ECA规则的静态语义分析机制,从而可以确保异常处理规则集合是无冗余以及无冲突的.本文所述的异常处理和分析机制已经被实现,并且开发出了相关的GUI工具.更多还原

【Abstract】 Currently,BPEL is the de-facto standard for the Web service composition.However,BPEL barely provides any abstract and high-level guidance for exception handling,which makes it a particular time-consuming and error-prone task for users.On that account,we propose to handle composition fault by virtue of Event-Condition-Action(ECA) rules which sit on the basis of an extensible set of fault-tolerant patterns.For any BPEL process,the aforementioned ECA rules are integrated into it before its deploying process,and then a fault-tolerant BPEL process will be generated for execution.Furthermore,we also provide a combined Description Logic as the underpinning and a formal mapping mechanism so that the semantics of ECA rules are computational traceable.On the basis of that,some algorithms are proposed to analyze the redundancy and conflict of an ECA rule set.A GUI tool to assist designers to specify and analyze ECA rules is also implemented.更多还原