A Workflow-Based Failure Recovery in Web Services Composition

In previous researches in the field of supporting reliability and fault tolerance in web service composition, only low level programming constructs such as exception handling (for example in WSBPEL) were considered. However we believe that the reliability and fault tolerance for composite services must be handled at a higher level of abstraction, i.e. at the workflow level. Therefore a language and technology independent method for fault-tolerant composition of web services is needed. To do this, a fault tolerant workflow is built in which the execution order of the services is determined such that upon a service failure a recovery process with the lowest cost is started. The cost of a service failure includes the cost of failed service and the total costs of roll-baking the previously executed services which are dependent on the failed service. In this article a FSP language is applied to formally specify the workflow.

[1]  Nicola Mazzocca,et al.  Web Services workflow reliability estimation through reliability patterns , 2007, 2007 Third International Conference on Security and Privacy in Communications Networks and the Workshops - SecureComm 2007.

[2]  Vincenzo Grassi,et al.  Architecture-Based Reliability Prediction for Service-Oriented Computing , 2004, WADS.

[3]  Valérie Issarny,et al.  Coordinated forward error recovery for composite Web services , 2003, 22nd International Symposium on Reliable Distributed Systems, 2003. Proceedings..

[4]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[5]  Carlo Ghezzi,et al.  A Model Checking Approach to Verify BPEL4WS Workflows , 2007, IEEE International Conference on Service-Oriented Computing and Applications (SOCA '07).

[6]  Long Zheng,et al.  MTTF of Composite Web Services , 2010, International Symposium on Parallel and Distributed Processing with Applications.

[7]  Amrit L. Goel,et al.  Software Reliability Models: Assumptions, Limitations, and Applicability , 1985, IEEE Transactions on Software Engineering.

[8]  Jie Xu,et al.  Assessing the dependability of OGSA middleware by fault injection , 2003, 22nd International Symposium on Reliable Distributed Systems, 2003. Proceedings..

[9]  Jie Xu,et al.  WS-FIT: a tool for dependability analysis of Web services , 2004, Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004..

[10]  Hao-Peng Chen,et al.  A Fault Detection Mechanism for Fault-Tolerant SOA-Based Applications , 2007, 2007 International Conference on Machine Learning and Cybernetics.

[11]  Vincenzo Grassi.  Architecture-based Dependability Prediction for Service-oriented Computing , 2004 .

[12]  Sebastián Uchitel,et al.  Model-based verification of Web service compositions , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

[13]  Qing Li,et al.  FACTS: A Framework for Fault-Tolerant Composition of Transactional Web Services , 2010, IEEE Transactions on Services Computing.

[14]  Athman Bouguettaya,et al.  Deploying and managing Web services: issues, solutions, and directions , 2008, The VLDB Journal.

[15]  Jeff Magee,et al.  Concurrency - state models and Java programs , 2006 .