一种ECA规则驱动的BPEL流程异常处理和分析机制  

ECA-rule Driven Exception Handling and Analysis Mechanism for BPEL Processes

作　　者：刘海[1,2,3] 刘安[1,2,3] 李青[2,3] 顾乃杰[1,2] 

机构地区：[1]中国科学技术大学计算机科学与技术系,安徽合肥230027 [2]联合高等研究中心,香港城市大学中国科学技术大学,江苏苏州 215123 [3]香港城市大学计算机科学系,香港

出　　处：《小型微型计算机系统》2010年第7期1363-1370,共8页Journal of Chinese Computer Systems

基　　金：国家“九七三”重点基础研究发展计划项目(2003CB317006)资助

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

关 键 词：WEB服务 BPEL流程 异常处理 语义分析 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]