The design of a self-healing composition cycle for Web services

The Web service paradigm allows applications to interact electronically with one another over the Internet. Standards and languages, such as BPEL and OWL-S provide a platform with which Web services can be integrated. Moreover, various AI planning techniques have also been adapted to integrate services. However, the autonomous and distributed nature of an integrated service presents unique challenges to the reliability of the composed Web services. Resilience of the process execution can be achieved through self-healing, that is, the capability to detect failures autonomously and to recover from them. This paper presents the design of a self-healing composition cycle for Web services that can be used to evaluate self-healing techniques in Web service composition. Having a full understanding of the interaction between different modules in a self-healing cycle provides the designer of a composition with the knowledge necessary to build more effective self-healing systems with minimum runtime overhead.

[1]  Giovanni Denaro,et al.  SHIWS: A Self-Healing Integrator for Web Services , 2007, 29th International Conference on Software Engineering (ICSE'07 Companion).

[2]  Sören Auer,et al.  Expressing Business Process Models as OWL-S Ontologies , 2006, Business Process Management Workshops.

[3]  Tim Grant.  Integrating Sensemaking and Response using Planning Operator Induction , 2005 .

[4]  Marija Mikic-Rakic,et al.  Architectural style requirements for self-healing systems , 2002, WOSS '02.

[5]  W. Gareth J. Howells,et al.  Model Transformation from OWL-S to BPEL Via SiTra , 2007, ECMDA-FA.

[6]  Luciano Baresi,et al.  A Fault Taxonomy for Web Service Composition , 2009, ICSOC Workshops.

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

[8]  James A. Hendler,et al.  HTN planning for Web Service composition using SHOP2 , 2004, J. Web Semant..

[9]  Luciano Baresi,et al.  Towards Dynamic Monitoring of WS-BPEL Processes , 2005, ICSOC.

[10]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[11]  Therani Madhusudan,et al.  A declarative approach to composing web services in dynamic environments , 2006, Decis. Support Syst..

[12]  Prashant Doshi,et al.  Dynamic workflow composition using Markov decision processes , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[13]  Robbert van Renesse,et al.  Adding high availability and autonomic behavior to Web services , 2004, Proceedings. 26th International Conference on Software Engineering.

[14]  Luciano Baresi,et al.  Dynamo: Dynamic Monitoring of WS-BPEL Processes , 2005, ICSOC.

[15]  Michael Luck,et al.  Transparent Fault Tolerance for Web Services Based Architectures , 2002, Euro-Par.

[16]  C. Peltz.  Web Ser Vices Orchestration a Review of Emerging Technologies, Tools, and Standards , 2003 .

[17]  Thomas Friese,et al.  Self-healing Execution of Business Processes Based on a Peer-to-Peer Service Architecture , 2005, ARCS.

[18]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[19]  Anupriya Ankolekar,et al.  Towards a Formal Verification of OWL-S Process Models , 2005, SEMWEB.

[20]  Gerald C. Gannod,et al.  A Self-Healing Framework for Web Services , 2007, IEEE International Conference on Web Services (ICWS 2007).

[21]  Piergiorgio Bertoli,et al.  Planning and Monitoring Web Service Composition , 2004, AIMSA.

[22]  Amir Zeid,et al.  Towards autonomic web services: achieving self-healing using web services , 2005, DEAS '05.

[23]  Tran Cao Son,et al.  Adapting Golog for Composition of Semantic Web Services , 2002, KR.

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

[25]  Cesare Pautasso,et al.  Embedding continuous lifelong verification in service life cycles , 2009, 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems.