Mohsen Rouached, Walid Gaaloul, Wil M. P. van der Aalst, Sami Bhiri, Claude Godart. Web Service Mining and Verification of Properties: An Approach Based on Event Calculus. In Robert Meersman, Zahir Tari, editors, On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I. Volume 4275 of Lecture Notes in Computer Science, pages 408-425, Springer, 2006. [doi]
@inproceedings{RouachedGABG06,
title = {Web Service Mining and Verification of Properties: An Approach Based on Event Calculus},
author = {Mohsen Rouached and Walid Gaaloul and Wil M. P. van der Aalst and Sami Bhiri and Claude Godart},
year = {2006},
doi = {10.1007/11914853_25},
url = {http://dx.doi.org/10.1007/11914853_25},
tags = {rule-based, web service, systematic-approach},
researchr = {https://researchr.org/publication/RouachedGABG06},
cites = {0},
citedby = {0},
pages = {408-425},
booktitle = {On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I},
editor = {Robert Meersman and Zahir Tari},
volume = {4275},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-48287-3},
}