A Framework for Generic Error Handling in Business Processes Export

@article{citeulike:2274690, abstract = {Recently the term Web Services Choreography has been introduced to address some issues related toWeb Services Composition. Several proposals for describing Choreography for Business Processes have been presented in the last years and many of these languages make use of concepts as longrunning transactions and compensations for coping with error handling. BPEL4WS, the most accredited candidate for becoming a standard in Choreography, provides three di.erent mechanisms for coping with abnormal situations: Exception Handling, Event Handling and Compensation Handling. The complexity of BPEL4WS makes it di.cult to formally de.ne this framework, thus limiting the formal reasoning about the designed applications. In this paper we advocate that three di.erent mechanisms for error handling are not necessary and we formalize a novel choreography language, based on the idea of event noti.cation as the only error handling mechanism. We can take advantages of this formal description in two ways. Firstly, this language represents by itself a proposal of simpli.cation for BPEL4WS including an unambiguous speci.cation. Secondly, an implementor of an actual BPEL4WS orchestration engine should implement simply this single mechanism providing all the remaining ones by compilation. Notably, the proposed framework is expressive enough to compare di.erent solutions for managing long running transactions such as BPEL4WS and StAC.}, author = {Mazzara, Manuel and Lucchi, Roberto}, booktitle = {Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004)}, citeulike-article-id = {2274690}, citeulike-linkout-0 = {http://dx.doi.org/10.1016/j.entcs.2004.05.002}, citeulike-linkout-1 = {http://www.sciencedirect.com/science/article/B75H1-4DXNT94-C/2/11654c1beb86df8d793462889de6f726}, comment = {所谓的generic，说的是将WS-BPEL中的exception handling, event handling, conpesation三种机制用一种方式表达。It is better to name the article as "A Unified Framework for Error Handling in WS-BPEL".}, day = {10}, doi = {10.1016/j.entcs.2004.05.002}, journal = {Electronic Notes in Theoretical Computer Science}, keywords = {bpel, exception, webservice, ws-bpel}, month = {December}, pages = {133--145}, posted-at = {2008-01-22 15:58:48}, priority = {0}, title = {A Framework for Generic Error Handling in Business Processes}, url = {http://dx.doi.org/10.1016/j.entcs.2004.05.002}, volume = {105}, year = {2004} }

TY - JOUR ID - citeulike:2274690 L3 - citeulike-article-id:2274690 N2 - Recently the term Web Services Choreography has been introduced to address some issues related toWeb Services Composition. Several proposals for describing Choreography for Business Processes have been presented in the last years and many of these languages make use of concepts as longrunning transactions and compensations for coping with error handling. BPEL4WS, the most accredited candidate for becoming a standard in Choreography, provides three di.erent mechanisms for coping with abnormal situations: Exception Handling, Event Handling and Compensation Handling. The complexity of BPEL4WS makes it di.cult to formally de.ne this framework, thus limiting the formal reasoning about the designed applications. In this paper we advocate that three di.erent mechanisms for error handling are not necessary and we formalize a novel choreography language, based on the idea of event noti.cation as the only error handling mechanism. We can take advantages of this formal description in two ways. Firstly, this language represents by itself a proposal of simpli.cation for BPEL4WS including an unambiguous speci.cation. Secondly, an implementor of an actual BPEL4WS orchestration engine should implement simply this single mechanism providing all the remaining ones by compilation. Notably, the proposed framework is expressive enough to compare di.erent solutions for managing long running transactions such as BPEL4WS and StAC. JF - Electronic Notes in Theoretical Computer Science EP - 145 TI - A Framework for Generic Error Handling in Business Processes VL - 105 T2 - Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004) SP - 133 KW - bpel KW - exception KW - webservice KW - ws-bpel N1 - 所谓的generic，说的是将WS-BPEL中的exception handling, event handling, conpesation三种机制用一种方式表达。It is better to name the article as "A Unified Framework for Error Handling in WS-BPEL". AU - Mazzara, Manuel AU - Lucchi, Roberto PY - 2004/12/10/ UR - http://dx.doi.org/10.1016/j.entcs.2004.05.002 ER -