Monitoring Web service networks in a model-based approach

The goal of Web service effort is to achieve universal interoperability between applications by using Web standards: this emergent technology is a promising way to integrate business applications. A business process can then be seen as a set of Web services that could belong to different companies and interact with each other by sending messages. In that context, neither a global model nor a global mechanism is available to monitor and trace faults when the business process fails. In this paper, we address this issue and propose to use model-based reasoning approaches on discrete-event systems (DES). This paper presents an automatic method to model Web service behaviors and their interactions as a set of synchronized discrete-event systems. This modeling is the first step before tracing the evolution of the business process and diagnosing business process faults.

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

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

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

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

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

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

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

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

[9]  Jan Mendling,et al.  Business Process Execution Language for Web Services , 2006, EMISA Forum.

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

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

[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]  Albert Benveniste,et al.  Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets , 1998, Discret. Event Dyn. Syst..

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

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

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

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

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

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

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