Exception Handling for Repair in Service-Based Processes

This paper proposes a self-healing approach to handle exceptions in service-based processes and to repair the faulty activities with a model-based approach. In particular, a set of repair actions is defined in the process model, and repairability of the process is assessed by analyzing the process structure and the available repair actions. During execution, when an exception arises, repair plans are generated by taking into account constraints posed by the process structure, dependencies among data, and available repair actions. The paper also describes the main features of the prototype developed to validate the proposed repair approach for composed Web services; the self-healing architecture for repair handling and the experimental results are illustrated.

[1]  Johann Eder,et al.  The Workflow Activity Model WAMO , 1995, CoopIS.

[2]  Fabio Casati,et al.  An Environment for Designing Exceptions in Workflows , 1998, Inf. Syst..

[3]  E. D. Smith,et al.  Increased Flexibility and Robustness of Mars Rovers , 1999 .

[4]  Silvana Castano,et al.  Using Patterns to Design Rules in Workflows , 2000, IEEE Trans. Software Eng..

[5]  Ibrahim Cingil,et al.  A survey and comparison of business-to-business e-commerce frameworks , 2001, SECO.

[6]  Bradley R. Schmerl,et al.  Model-based adaptation for self-healing systems , 2002, WOSS '02.

[7]  Gordon S. Blair,et al.  Reflection, self-awareness and self-healing in OpenORB , 2002, WOSS '02.

[8]  Tony Andrews Business Process Execution Language for Web Services Version 1.1 , 2003 .

[9]  Boualem Benatallah,et al.  A Petri Net-based Model for Web Service Composition , 2003, ADC.

[10]  Fabio Casati,et al.  Conceptual Modeling of Web Service Conversations , 2003, CAiSE.

[11]  Quan Z. Sheng,et al.  The Self-Serv Environment for Web Services Composition , 2003, IEEE Internet Comput..

[12]  Amit P. Sheth,et al.  Semantic E-Workflow Composition , 2003, Journal of Intelligent Information Systems.

[13]  Wolfgang Faber,et al.  A logic programming approach to knowledge-state planning: Semantics and complexity , 2004, TOCL.

[14]  Colette Rolland,et al.  Eliciting service composition in a goal driven manner , 2004, ICSOC '04.

[15]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[16]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[17]  Manfred Reichert,et al.  Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control , 1998, Journal of Intelligent Information Systems.

[18]  Frances M. T. Brazier,et al.  The role of local knowledge in complex Web service reconfiguration , 2005, The 2005 IEEE/WIC/ACM International Conference on Web Intelligence (WI'05).

[19]  Amit P. Sheth,et al.  Autonomic Web Processes , 2005, ICSOC.

[20]  Michael Eonsuk Shin Self-healing components in robust software architecture for concurrent and distributed systems , 2005, Sci. Comput. Program..

[21]  A. Saboori,et al.  Fault recovery in discrete event systems , 2005, 2005 ICSC Congress on Computational Intelligence Methods and Applications.

[22]  Jiannong Cao,et al.  Exception handling in distributed workflow systems using mobile agents , 2005, IEEE International Conference on e-Business Engineering (ICEBE'05).

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

[24]  Mohammad Zulkernine,et al.  Towards automatic monitoring of component-based software systems , 2005, J. Syst. Softw..

[25]  Wolfgang Faber,et al.  The DLV system for knowledge representation and reasoning , 2002, TOCL.

[26]  Elisabetta Di Nitto,et al.  SCENE: A Service Composition Execution Environment Supporting Dynamic Changes Disciplined Through Rules , 2006, ICSOC.

[27]  Abdelkarim Erradi,et al.  Recovery Policies for Enhancing Web Services Reliability , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[28]  Wil M. P. van der Aalst,et al.  Workflow Exception Patterns , 2006, CAiSE.

[29]  Massimo Mecella,et al.  A layered architecture for flexible Web service invocation , 2006 .

[30]  Fabio Casati,et al.  Representing, analysing and managing Web service protocols , 2006, Data Knowl. Eng..

[31]  Massimo Mecella,et al.  A layered architecture for flexible Web service invocation , 2006, Softw. Pract. Exp..

[32]  Yuan Lin Zhang,et al.  Optimal periodic preventive repair and replacement policy assuming geometric process repair , 2006, IEEE Transactions on Reliability.

[33]  van der Wmp Wil Aalst,et al.  Workflow control-flow patterns : a revised view , 2006 .

[34]  Stefano Modafferi,et al.  SH-BPEL: a self-healing plug-in for Ws-BPEL engines , 2006, MW4SOC '06.

[35]  Piergiorgio Bertoli,et al.  Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty , 2007, AAAI.

[36]  Daniele Theseider Dupré,et al.  A Framework for Decentralized Qualitative Model-Based Diagnosis , 2007, IJCAI.

[37]  Thomas Eiter,et al.  Conditional Planning with External Functions , 2007, LPNMR.

[38]  Wenfei Fan,et al.  Propagating XML constraints to relations , 2007, J. Comput. Syst. Sci..

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

[40]  Mathias Weske,et al.  Business Process Management: Concepts, Languages, Architectures , 2007 .

[41]  Maria Grazia Fugini,et al.  WS-DIAMOND an approach to Web services diagnosability, Monitoring and diagnosis , 2007 .

[42]  Danilo Ardagna,et al.  Adaptive Service Composition in Flexible Processes , 2007, IEEE Transactions on Software Engineering.

[43]  Debanjan Ghosh,et al.  Self-healing systems - survey and synthesis , 2007, Decis. Support Syst..

[44]  Frank Leymann,et al.  Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition , 2007, ICSOC.

[45]  Frank van Harmelen,et al.  WS-DIAMOND: Web Services - DIAgnosability, MONitoring and Diagnosis , 2007 .

[46]  Paolo Traverso,et al.  Service-Oriented Computing: State of the Art and Research Challenges , 2007, Computer.

[47]  Barbara Pernici,et al.  Automatic Learning of Repair Strategies for Web Services , 2007, Fifth European Conference on Web Services (ECOWS'07).

[48]  Ws-DIAMOND,et al.  WS-DIAMOND Web Services – DIAgnosability , MONitoring and Diagnosis The , 2007 .

[49]  Luciano Baresi,et al.  Dynamo and Self-Healing BPEL Compositions , 2007, 29th International Conference on Software Engineering (ICSE'07 Companion).

[50]  Danilo Ardagna,et al.  PAWS: A Framework for Executing Adaptive Web-Service Processes , 2007, IEEE Software.

[51]  Frank Leymann,et al.  Automatic Workflow Graph Refactoring and Completion , 2008, ICSOC.

[52]  Carlo Ghezzi,et al.  A journey to highly dynamic, self-adaptive service-based applications , 2008, Automated Software Engineering.

[53]  Stefano Modafferi,et al.  Analysis of QoS in cooperative services for real time applications , 2008, Data Knowl. Eng..

[54]  Carlo Ghezzi,et al.  Rethinking the Use of Models in Software Architecture , 2008, QoSA.

[55]  Jun Sun,et al.  A Formal Model of Semantic Web Service Ontology (WSMO) Execution , 2008, 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008).

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

[57]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .

[58]  Zuoxian Nie,et al.  Performance Analysis of Generalized Well-formed Workflow , 2009, 2009 Eighth IEEE/ACIS International Conference on Computer and Information Science.

[59]  Maria Grazia Fugini,et al.  Quality analysis of composed services through fault injection , 2009, Inf. Syst. Frontiers.

[60]  Gail E. Kaiser,et al.  Multi-perspective evaluation of self-healing systems using simple probabilistic models , 2009, ICAC '09.