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

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

25 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
Volume4275 LNCS - I
ISBN (Print)3540482873, 9783540482871
Publication statusPublished - 2006
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
CountryFrance
CityMontpellier
Period10/29/0611/3/06

Fingerprint

Event Calculus
Web services
Web Services
Mining
Process Mining
Process Model
Discrepancy
Industry

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Rouached, M., Gaaloul, W., Van Der Aalst, W. M. P., Bhiri, S., & Godart, C. (2006). Web service mining and verification of properties: An approach based on event calculus. In On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE - OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Proceedings (Vol. 4275 LNCS - I, pp. 408-425). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4275 LNCS - I). Springer Verlag.

Web service mining and verification of properties : An approach based on event calculus. / Rouached, Mohsen; Gaaloul, Walid; Van Der Aalst, Wil M P; Bhiri, Sami; Godart, Claude.

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE - OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Proceedings. Vol. 4275 LNCS - I Springer Verlag, 2006. p. 408-425 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4275 LNCS - I).

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

Rouached, M, Gaaloul, W, Van Der Aalst, WMP, Bhiri, S & Godart, C 2006, Web service mining and verification of properties: An approach based on event calculus. in On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE - OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Proceedings. vol. 4275 LNCS - I, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4275 LNCS - I, Springer Verlag, pp. 408-425, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, 10/29/06.
Rouached M, Gaaloul W, Van Der Aalst WMP, Bhiri S, Godart C. Web service mining and verification of properties: An approach based on event calculus. In On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE - OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Proceedings. Vol. 4275 LNCS - I. Springer Verlag. 2006. p. 408-425. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Rouached, Mohsen ; Gaaloul, Walid ; Van Der Aalst, Wil M P ; Bhiri, Sami ; Godart, Claude. / Web service mining and verification of properties : An approach based on event calculus. On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE - OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Proceedings. Vol. 4275 LNCS - I Springer Verlag, 2006. pp. 408-425 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{e4f281b723aa453a86f9c73c565ad5ff,
title = "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.",
author = "Mohsen Rouached and Walid Gaaloul and {Van Der Aalst}, {Wil M P} and Sami Bhiri and Claude Godart",
year = "2006",
language = "English",
isbn = "3540482873",
volume = "4275 LNCS - I",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "408--425",
booktitle = "On the Move to Meaningful Internet Systems 2006",

}

TY - GEN

T1 - Web service mining and verification of properties

T2 - An approach based on event calculus

AU - Rouached, Mohsen

AU - Gaaloul, Walid

AU - Van Der Aalst, Wil M P

AU - Bhiri, Sami

AU - Godart, Claude

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=33845396748&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33845396748&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:33845396748

SN - 3540482873

SN - 9783540482871

VL - 4275 LNCS - I

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 408

EP - 425

BT - On the Move to Meaningful Internet Systems 2006

PB - Springer Verlag

ER -