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

2010 年7 月第7 期 小型微型计算机系统 Joumal of Chinese Computer Sys阳m VoL 31 No.7 2010 …种 ECA 规则驱动的 BPEL 流程异常处理和分析机制 刘海133 ，刘安1.M ，学青υ，顾乃杰1 ， 2 I (中国科学技术大学计算机科学与技术系，安徽合肥 23∞27) 2( 联合高等研究中心，钟泌城市大学中国科学技术大学，江苏苏州，215123) 3 (香港城市大学计算机科学系，香港) E-maîl: hail@ mail. us比.OOu.ω 摘 要:.l然 BP应L 被OASIS 组织作为目前Web 服务合成的标准语宫，它对于合成过程的容错，除支持却存在很多不足，特别 是没有提供强有力的异常处理机制.提出卢种 ECA 规则驱动的异常处理机制，可以自动的将用户设定的异常处理逻样嵌入 BPEL 流稳中，而用户不需要关心复杂的具体实现.并且，考感到用户的异常处理逻辑通常会被描述成庞大的规则集，本文暴于 一种描述逻辑提出了对ECA 规则的静态语义分析机制，从而可以确保异常处理规则集合是元冗余以及元冲突的.本文所述的 异常处级和分析机制已经被实现，并且开发出了相关的 GUJ 工具. BP 且流程;异常处理:语义分析 关键词: Web 服务õ : 1凹11 文献标识码:A 文精E 编号:1栅-1220(2010)例-1363-08 中图分类号 ECA-rule Driven Exception Handling and Ana1ysis Mechanism for BPEL Processes l I 2 3 2 3 l LIU Hai 川， LIU An • • ,LI Qing • , GU Nai才íe .2 I ( DeparttnenJ 01 Co即uter Science and Technology. University 01 Science : Tec胁。/ogy of ch阳， H价， i230027 ， C加ina) 2 (loint Research Lob 01 Excel切阳， CityU-USTC Adl棚ced Research Inst阳te ， Suzhou215123 , China) 3 (Depart阳nJ olCo.呻uter Science ， αty Universi，吃y QI Hong Kong , Hong Kong , China) Ab纸ract: Currently , BP且ís the de-facω 翩翩rd for the Web servíce com阳sítion. However，即肌barely 仰Iviωs any abStract and high-level guidance for exception handling , which makes it a particular time-consuming and error啊。ne task for user百. on 由.at account , we proposeωhandle composition fault by 世血Je of 巴vent-ω，ndition-Acti，佣( ECA) rules which sit 佣the basis of an exten- síble set of fault咽Ilerant 阴阳rns. For any BPEL 阴阳ss ， the aforementioned ECA rules are inte伊始dínωit before its deployíng process , and then a fault-tolerant B阳L 萨。cess will be generated for execution. Furthermor晤， we al50 provide a combín创汇兑scrip­ tion Logic 部 the underpin剑ng and a for四uù mapping mecha血