A Model-Based Approach for Diagnosing Fault in Web Service Processes

Web service orchestration languages are de?ned to describe business processes composed of Web services. A business process can fail for many reasons, such as faulty Web services or mismatching messages. It is important to ?nd out which Web services are responsible for a failed business process because we could penalize these Web services and exclude them from the business process in the future. In this paper, we propose a model-based approach to diagnose the faults in a Web service-composed business process. We convert a Web service orchestration language, BPEL4WS, into synchronized automata, so that we have a formal description of the topology and variable dependency of the business process. After an exception is thrown, the diagnoser can calculate the business process execution trajectory based on the formal model and the observed evolution of the business process. The faulty Web services are deduced from the variable dependency on the execution trajectory.

[1]  David W. Binkley,et al.  Program slicing , 2008, 2008 Frontiers of Software Maintenance.

[2]  Alban Grastien,et al.  Monitoring Web service networks in a model-based approach , 2005, Third European Conference on Web Services (ECOWS'05).

[3]  Irène Grosclaude.  Model-Based Monitoring of Software Components , 2004, ECAI.

[4]  Mirko Viroli,et al.  Towards a Formal Foundation to Orchestration Languages , 2004, WSFM.

[5]  Annapaola Marconi,et al.  Automated Composition of Web Services by Planning at the Knowledge Level , 2005, IJCAI.

[6]  Diego Calvanese,et al.  Automatic Composition of E-services That Export Their Behavior , 2003, ICSOC.

[7]  Xiang Fu,et al.  Analysis of interacting BPEL web services , 2004, WWW '04.

[8]  Karl J. Ottenstein,et al.  The program dependence graph in a software development environment , 1984 .

[9]  A Min Tjoa,et al.  A Semantic Web-based Approach for Context-Aware User Query formulation and Information Retrieval , 2008, Int. J. Inf. Technol. Web Eng..

[10]  Franz Wotawa,et al.  On the relationship between model-based debugging and program slicing , 2002, Artif. Intell..

[11]  Y. Pencole,et al.  Incremental decentralized diagnosis approach for the supervision of a telecommunication network , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[12]  Luca Console,et al.  Readings in Model-Based Diagnosis , 1992 .

[13]  Andrea Ferrara,et al.  Web services: a process algebra approach , 2004, ICSOC '04.

[14]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[15]  Wil M. P. van der Aalst,et al.  Formal semantics and analysis of control flow in WS-BPEL , 2007, Sci. Comput. Program..

[16]  Karsten Schmidt,et al.  A Petri net semantic for BPEL4WS – validation and application , 2004 .

[17]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[18]  Mark Weiser,et al.  Program Slicing , 1981, IEEE Transactions on Software Engineering.

[19]  Liliana Ardissono,et al.  Cooperative Model-Based Diagnosis of Web Services , 2005 .

[20]  Stefan Fischer,et al.  Efficient Transport Bindings for Web Service Messages , 2008 .

[21]  Alban Grastien,et al.  Incremental Diagnosis of Discrete-Event Systems , 2005, IJCAI.

[22]  Marie-Odile Cordier,et al.  A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks , 2005, Artif. Intell..

[23]  George Spanoudakis,et al.  A framework for requirents monitoring of service based systems , 2004, ICSOC '04.

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

[25]  Gwen Salaün,et al.  Describing and reasoning on Web services using process algebra , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[26]  Marco Aiello,et al.  Planning and monitoring the execution of web service requests , 2003, International Journal on Digital Libraries.

[27]  Maria Luisa Villani,et al.  QoS-aware replanning of composite Web services , 2005, IEEE International Conference on Web Services (ICWS'05).

[28]  Alban Grastien,et al.  Extending Decentralized Discrete-Event Modelling to Diagnose Reconfigurable Systems , 2004 .

[29]  Ina Fourie.  Managing Web‐enabled Technologies in Organizations: A Global Perspective , 2001 .

[30]  Emilia Mendes.  The Need for Empirical Web Engineering: An Introduction , 2008, Web Engineering.

[31]  Luciano Baresi,et al.  Towards Self-healing Composition of Services , 2007, Contributions to Ubiquitous Computing.

[32]  Karl J. Ottenstein,et al.  The program dependence graph in a software development environment , 1984, SDE 1.

[33]  Kihyun Kim,et al.  World wide wait , 2000 .

[34]  Woojong Suh.  Web Engineering: Principles And Techniques , 2005 .

[35]  Gianfranco Lamperti,et al.  Diagnosis of Large Active Systems , 1999, Artif. Intell..

[36]  Marie-Odile Cordier,et al.  Event-Based Diagnosis for Evolutive Systems , 1994 .

[37]  Sheila A. McIlraith,et al.  Simulation, verification and automated composition of web services , 2002, WWW.

[38]  Michel Schneider,et al.  Mediation in a dynamic context: arguing for a request-oriented approach and structuring it , 2002 .

[39]  Jesús Arias-Fisteus,et al.  Formal Verification of BPEL 4 WS Business Collaborations , 2004 .

[40]  Xiaomeng Su,et al.  A Survey of Automated Web Service Composition Methods , 2004, SWSWPC.

[41]  Liang Jie-Zhang.  Innovations, Standards, and Practices of Web Services: Emerging Research Topics , 2011 .

[42]  Abdallah Saleem Nawaf Al-Tahan Al-Nu'aimi.  Using Watermarking Techniques to prove Rightful Ownership of Web Images , 2011, Int. J. Inf. Technol. Web Eng..

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

[44]  Janusz W. Laski,et al.  Dynamic Program Slicing , 1988, Inf. Process. Lett..