Erratum: Web Service Mining and Verification of Properties: An Approach Based on Event Calculus

Abstract

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 http://dx.doi.org/10.1145/1035167.1035181

Requirements Monitoring for Service-Based Systems: Towards a Framework Based on Event Calculus http://dx.doi.org/10.1109/ASE.2004.1342769

Run-time Monitoring of Requirements for Systems Composed of Web-Services: Initial Implementation and Evaluation Experience http://dx.doi.org/10.1109/ICWS.2005.100

A Scheme for Requirements Monitoring of Web Service Based Systems http://www.soi.city.ac.uk/project/DOC_TechReport/TR_2004_DOC_02.pdf

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.

The original online version for this chapter can be found at http://dx.doi.org/10.1007/11914853_25 .