Enhancing Web services with diagnostic capabilities

Fault management in Web services composed by individual services from multiple suppliers currently relies on a local analysis that does not span across individual services, thus limiting the effectiveness of recovery strategies. We propose to address this limitation of current standards for Web service composition by employing model-based diagnosis to enhance fault analysis. We propose to add diagnostic Web services to the set of Web services providing the overall service, acting as supervisors of their execution, by identifying anomalies and explaining them in terms of faults to be repaired. This approach poses the basis for the development of specialized recovery and compensation techniques aimed at addressing different problems, which could not be otherwise discriminated.

[1]  Daniele Theseider Dupré,et al.  A Spectrum of Definitions for Temporal Model-Based Diagnosis , 1998, Artificial Intelligence.

[2]  Katia Sycara,et al.  Toward a Semantic Web e-commerce , 2003 .

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

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

[5]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

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

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

[8]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

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

[10]  Irene Grosclaude.  Model-based monitoring of component-based software systems , 2004 .

[11]  Luca Console,et al.  Model-based Diagnosis in the Real World: Lessons Learned and Challenges Remaining , 1999, IJCAI.

[12]  Markus Stumptner,et al.  Model-Based Debugging of Java Programs , 2000, AADEBUG.

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

[14]  Nico Roos,et al.  A protocol for multi-agent diagnosis with spatially distributed knowledge , 2003, AAMAS '03.

[15]  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..