Skip to Main content Skip to Navigation
Conference papers

PEWS-CT: Adding Contract Support to a Web Service Composition Language

Abstract : We present an extension of the PEWS language, named PEWS-CT1, for reliably composing web services using contracts. The expression of contracts adds non functional properties to service compositions. A PEWS-CT program defines the behaviour of a compound web service as the combination of individ- ual operations and conditions for expressing non-functional and temporal con- straints. Therefore, a new runtime system for the language has been specified, taking into consideration the verification of contracts and temporal conditions.
Document type :
Conference papers
Complete list of metadata
Contributor : Fabrice Jouanot Connect in order to contact the contributor
Submitted on : Friday, February 28, 2014 - 12:13:06 PM
Last modification on : Thursday, October 21, 2021 - 3:48:26 AM


  • HAL Id : hal-00953116, version 1



P.A. Souza Neto, M.A. Musicante, Genoveva Vargas-Solar, Jose Luis Zechinelli-Martini. PEWS-CT: Adding Contract Support to a Web Service Composition Language. In Proceedings of the 4th Workshop on Languages and Tools for Multithreaded, Parallel and Distributed Programming, 2010, Salvador, Brazil. pp.1--20. ⟨hal-00953116⟩



Record views