PEWS-CT: Adding Contract Support to a Web Service Composition Language - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

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.
No file

Dates and versions

hal-00953116 , version 1 (28-02-2014)

Identifiers

  • HAL Id : hal-00953116 , version 1

Cite

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⟩
59 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More