Yan, YuhongPencole, YannickCordier, Marie-OdileGrastien, Alban2015-12-132015-12-13November 10769524842http://hdl.handle.net/1885/80080The 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.Keywords: Automation; Electronic document exchange; Interoperability; Mathematical models; Telecommunication services; World Wide Web; Business process faults; Discrete Event Systems (DES); Integrate business applications; Web service networks; Telecommunication neMonitoring web service networks in a model-based approach200510.1109/ECOWS.2005.172015-12-11