Web service mining and verification of properties : an approach based on event calculus

M. Rouached, W. Gaaloul, W.M.P. Aalst, van der, S. Bhiri, C. Godart

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

28 Citations (Scopus)
1 Downloads (Pure)


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. An erratum to this chapter can be found at http://dx.doi.org/10.1007/11914853_71.
Original languageEnglish
Title of host publicationOn the Move to Meaningful Internet Systems 2006 (Proceedings OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE, Montpellier, France, October 29-November 3, 2006), Part I
EditorsR. Meersman, Z. Tari
Place of PublicationBerlin
ISBN (Print)3-540-48287-3
Publication statusPublished - 2006

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'Web service mining and verification of properties : an approach based on event calculus'. Together they form a unique fingerprint.

Cite this