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.
Type de document :
Communication dans un congrès
In Proceedings of the 4th Workshop on Languages and Tools for Multithreaded, Parallel and Distributed Programming, 2010, Salvador, Brazil. pp.1--20, 2010
Liste complète des métadonnées

https://hal.inria.fr/hal-00953116
Contributeur : Fabrice Jouanot <>
Soumis le : vendredi 28 février 2014 - 12:13:06
Dernière modification le : jeudi 11 janvier 2018 - 06:22:06

Identifiants

  • 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, 2010. 〈hal-00953116〉

Partager

Métriques

Consultations de la notice

137