@inproceedings{11f849ad05354d71a5a9d5b587bca4ee,
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",
month = jan,
day = "1",
doi = "10.1007/11914853\_25",
language = "English",
isbn = "3540482873",
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",
note = "OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006 ; Conference date: 29-10-2006 Through 03-11-2006",
}