A Comprehensive Failure Recovery Algorithm for LRTs Based on Paired Net

Failure recovery optimization is an important way for enhancing efficiency of Long Running Transaction (LRT) processing. In this paper, to solve the efficiency problem of LRT failure recovery, a Comprehensive Recovery Model for LRTs (LCRM) is constructed, which divides LRTs into a series of sub-transactions in different levels,  and supports versatile transaction properties of LRT. Based on LCRM, a Comprehensive Failure Recovery algorithm for LRTs (LCFR) is proposed. This algorithm uses methods of forward recovery, backward recovery and alternative recovery. It supports auto-recovery of failures during the execution of LRTs. LCFR guarantees LRT’s semantic atomicity property and durability property. By restricting the recovery scope in lower level of complex LRTs, LCFR limits the quantity of sub-transactions to be recovered. Thus, it reduces unnecessary loss of time and enhances the efficiency of failure recovery. Experiment results show that LCFR can reduce the time required for failure recovery and decrease the failure rate of LRT processing.

[1]  Claude Godart,et al.  Ensuring required failure atomicity of composite Web services , 2005, WWW '05.

[2]  Dániel Varró,et al.  Formal modeling of BPEL workflows including fault and compensation handling , 2007, EFTS '07.

[3]  Peter Dolog,et al.  An environment for flexible advanced compensations of Web service transactions , 2008, TWEB.

[4]  Hang Yu,et al.  Testing BPEL-based Web Service Composition Using High-level Petri Nets , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).

[5]  Takashi Kobayashi,et al.  WS-SAGAS: Transaction Model for Reliable Web-Services-Composition Specification and Execution , 2003 .

[6]  Glen Dobson,et al.  Using WS-BPEL to Implement Software Fault Tolerance for Web Services , 2006, 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06).

[7]  Peter Dadam,et al.  Adaptive process management with ADEPT2 , 2005, 21st International Conference on Data Engineering (ICDE'05).

[8]  Karsten Wolf,et al.  Transforming BPEL to Petri Nets , 2005, Business Process Management.

[9]  Jong Kim,et al.  Allowing user-specified failure handling in web services composition , 2008, ICUIMC '08.

[10]  Takashi Kobayashi,et al.  FENECIA: failure endurable nested-transaction based execution of composite Web services with incorporated state analysis , 2007, The VLDB Journal.

[11]  Luciano García-Bañuelos,et al.  An AsmL Executable Model for WS-BPEL with Orthogonal Transactional Behavior , 2006, Business Process Management.

[12]  Haiyang Sun,et al.  Exploiting CoBTx-Net to Verify the Reliability of Collaborative Business Transactions , 2007 .

[13]  Takashi Kobayashi,et al.  THROWS: an architecture for highly available distributed execution of Web services compositions , 2004, 14th International Workshop Research Issues on Data Engineering: Web Services for e-Commerce and e-Government Applications, 2004. Proceedings..

[14]  Jinli Cao,et al.  Flexible and Semantics-Based Support for Web Services Transaction Protocols , 2008, GPC.

[15]  Boualem Benatallah,et al.  Self-adapting recovery nets for policy-driven exception handling in business processes , 2007, Distributed and Parallel Databases.

[16]  Katia P. Sycara,et al.  Recovery Mechanisms for Semantic Web Services , 2008, DAIS.

[17]  Haiyang Sun,et al.  BTx-Net: A Token Based Dynamic Model for Supporting Consistent Collaborative Business Transactions , 2007, IEEE International Conference on Services Computing (SCC 2007).

[18]  Roberto Bruni,et al.  From Theory to Practice in Transactional Composition of Web Services , 2005, EPEW/WS-FM.

[19]  Stefanie Rinderle-Ma,et al.  A Framework for Semantic Recovery Strategies in Case of Process Activity Failures , 2006, ICEIS.

[20]  Fangfang Liu,et al.  Compensation with Dependency in Web Services Composition , 2005, International Conference on Next Generation Web Services Practices (NWeSP'05).

[21]  Ziyu Lin,et al.  Modeling Web Service Choreography and Orchestration with Colored Petri Nets , 2007 .

[22]  Yi Ren,et al.  An Efficient Hierarchical Failure Recovery Algorithm Ensuring Semantic Atomicity for Workflow Applications , 2004, WAIM.

[23]  Rachid Hamadi.  Formal Composition and Recovery Policies in Service-Based Business Processes , 2005 .

[24]  Boualem Benatallah,et al.  Dynamic Restructuring of Recovery Nets , 2005, ADC.

[25]  Boualem Benatallah,et al.  Recovery Nets: Towards Self-Adaptive Workflow Systems , 2004, WISE.

[26]  Chengfei Liu,et al.  Implementing a Flexible Compensation Mechanism for Business Processes in Web Service Environment , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[27]  Claude Godart,et al.  Overview of Transactional Patterns: Combining Workflow Flexibility and Transactional Reliability for Composite Web Services , 2005, Business Process Management.

[28]  Peter Dolog,et al.  Engineering Compensations in Web Service Environment , 2007, ICWE.