2006 | Erratum | Chapter
Towards Formal Verification of Web Service Composition
Authors : Mohsen Rouached, Olivier Perrin, Claude Godart
Published in: Business Process Management
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
The paper entitled “Towards Formal Verification of Web Service Composition”, starting on page 257 of this publication, has been retracted. A significant part of the paper was copied from three 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
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.