Skip to Main content Skip to Navigation
Conference papers

Web Service Mining and Verification of Properties: An approach based on Event Calculus

Abstract : Web services are becoming more and more complex, involving numerous interacting business objects within complex distributed processes. In order to fully explore Web service business opportunities, while ensuring a correct and reliable execution, analyzing and tracking Web services interactions will enable them to be well understood and controlled. The work described in this paper is a contribution to these issues for Web services based process applications. This article describes a novel way of applying process mining techniques to Web services logs in order to enable ''Web service intelligence''. Our work attempts to apply Web service log-based analysis and process mining techniques in order to provide semantical knowledge about the context of and the reasons for discrepancies between process models and related instances.
Document type :
Conference papers
Complete list of metadatas

Cited literature [36 references]  Display  Hide  Download

https://hal.inria.fr/inria-00114023
Contributor : Mohsen Rouached <>
Submitted on : Wednesday, November 15, 2006 - 12:03:44 PM
Last modification on : Saturday, November 29, 2014 - 1:29:35 AM
Document(s) archivé(s) le : Tuesday, April 6, 2010 - 6:49:20 PM

Identifiers

Collections

Citation

Mohsen Rouached. Web Service Mining and Verification of Properties: An approach based on Event Calculus. 14th International Conference on Cooperative Information Systems - On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, Nov 2006, Montpellier France, France. pp.408-425, ⟨10.1007/11914853_25⟩. ⟨inria-00114023⟩

Share

Metrics

Record views

227

Files downloads

413