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

Authors

Mohsen Rouached

This author has not been identified. Look up 'Mohsen Rouached' in Google

Walid Gaaloul

This author has not been identified. Look up 'Walid Gaaloul' in Google

Wil M. P. van der Aalst

Identified as Wil M. P. van der Aalst

Sami Bhiri

This author has not been identified. Look up 'Sami Bhiri' in Google

Claude Godart

This author has not been identified. Look up 'Claude Godart' in Google