The paper entitled ”Web Service Mining and Verification of Properties: An Approach Based on Event Calculus”, starting on page 408 of this publication, has been retracted. A significant part of the paper was copied from four pieces of work by the authors K. Mahbub and G. Spanoudakis. The pieces of work in question are:
A Framework for Requirements Monitoring of Service Based Systems
Requirements Monitoring for Service-Based Systems: Towards a Framework Based on Event Calculus
Run-time Monitoring of Requirements for Systems Composed of Web-Services: Initial Implementation and Evaluation Experience
A Scheme for Requirements Monitoring of Web Service Based Systems
Plagiarism was committed by the first author, Mohsen Rouached. The other authors were not aware of this. Moreover, the contribution of the third author, Wil M. P. van der Aalst, had nothing to do with the part of the work that was plagiarized.