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. 408-425 2006 conf/otm/2006-1 OTM Conferences (1) http://dx.doi.org/10.1007/11914853_25 db/conf/otm/otm2006-1.html#RouachedGABG06