Abstract
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.
The original online version for this chapter can be found at http://dx.doi.org/10.1007/11841760_18 .
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rouached, M., Perrin, O., Godart, C. (2006). Towards Formal Verification of Web Service Composition. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds) Business Process Management. BPM 2006. Lecture Notes in Computer Science, vol 4102. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11841760_43
Download citation
DOI: https://doi.org/10.1007/11841760_43
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38901-9
Online ISBN: 978-3-540-38903-3
eBook Packages: Computer ScienceComputer Science (R0)