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

https://hal.inria.fr/hal-00953116
Contributor : Fabrice Jouanot <>
Submitted on : Friday, February 28, 2014 - 12:13:06 PM
Last modification on : Tuesday, December 8, 2020 - 10:38:02 AM

Identifiers

  • HAL Id : hal-00953116, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

181