Yuhong Yan and Yannick Pencolé and Marie-Odile Cordier and Alban Grastien Monitoring Web Service Networks in a Model-based Approach , ECOWS'05 (European Conference on Web Services) , Växjö, Sweden , November , 2005 , Document Abstract 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 are 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. This web site is maintained by René Quiniou using the Weave system from the Caravel project: http://www-caravel.inria.fr. Last modification: 10-07-2011 09:54:25