2006 | Erratum | Buchkapitel
Towards Formal Verification of Web Service Composition
verfasst von : Mohsen Rouached, Olivier Perrin, Claude Godart
Erschienen in: Business Process Management
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. 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.