Skip to Main content Skip to Navigation
New interface
Conference papers

Analysis of Composite Web Services using Logging Facilities

Mohsen Rouached 1 Claude Godart 1 
1 ECOO - Environment for cooperation
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Web services are becoming more and more complex, involving numerous interacting business objects within considerable processes. In order to fully explore Web service business opportunities while ensuring a correct and reliable modelling and execution, analyzing and tracking Web services interactions will enable them to be well understood and controlled. Then, given the resulting event log we want to verify certain specified properties, to provide knowledge about the context of and the reasons for discrepancies between services'behaviours and related instances. This paper advocates a novel technique to log composite Web services and a formal approach, based on an algeabric specification of the discrete event calculus language DEC, to check behavioural properties of composite Web services regarding their execution log. An automated induction-based theorem prover SPIKE is used as verification back-end.
Document type :
Conference papers
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download
Contributor : Mohsen Rouached Connect in order to contact the contributor
Submitted on : Wednesday, November 15, 2006 - 12:09:39 PM
Last modification on : Wednesday, April 6, 2022 - 3:48:34 PM
Long-term archiving on: : Tuesday, April 6, 2010 - 10:43:50 PM


  • HAL Id : inria-00114029, version 1



Mohsen Rouached, Claude Godart. Analysis of Composite Web Services using Logging Facilities. Second International Workshop on Engineering Service-Oriented Applications: Design and Composition - WESOA'06, Dec 2006, Chicago, USA. ⟨inria-00114029⟩



Record views


Files downloads