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 metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/inria-00114029
Contributor : Mohsen Rouached <>
Submitted on : Wednesday, November 15, 2006 - 12:09:39 PM
Last modification on : Thursday, January 11, 2018 - 6:19:48 AM
Long-term archiving on : Tuesday, April 6, 2010 - 10:43:50 PM

Identifiers

  • HAL Id : inria-00114029, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

200

Files downloads

146