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

Mohsen Rouached*, Walid Gaaloul, Wil M.P. Van Der Aalst, Sami Bhiri, Claude Godart

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

28 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationOn the Move to Meaningful Internet Systems 2006
Subtitle of host publicationCoopIS, DOA, GADA, and ODBASE - OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Proceedings
PublisherSpringer Verlag
Pages408-425
Number of pages18
ISBN (Print)3540482873, 9783540482871
DOIs
Publication statusPublished - 2006
Externally publishedYes
EventOTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006 - Montpellier, France
Duration: Oct 29 2006Nov 3 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4275 LNCS - I
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherOTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006
Country/TerritoryFrance
CityMontpellier
Period10/29/0611/3/06

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

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