An Algebraic Theory for Web Service Contracts

Cosimo Laneve 1, 2 Luca Padovani 3
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : We study a natural notion of compliance between clients and services in terms of their bpel (abstract) descriptions. The induced preorder shows interesting connections with the must preorder and has normal form representatives that are parallel-free finite-state activities, called contracts. The preorder also admits the notion of least service contract that is compliant with a client contract, called dual contract, and exhibits good precongruence properties when choreographies of Web services are considered. Our framework serves as a foundation of Web service technologies for connecting abstract and concrete service definitions and for service discovery.
Type de document :
Article dans une revue
Formal Aspects of Computing, Springer Verlag, 2015, 27 (4), pp.27. 〈10.1007/s00165-015-0334-2〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01229401
Contributeur : Laneve Cosimo <>
Soumis le : lundi 16 novembre 2015 - 15:38:50
Dernière modification le : samedi 27 janvier 2018 - 01:32:20
Document(s) archivé(s) le : vendredi 28 avril 2017 - 13:39:52

Fichier

ifm2013full.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Cosimo Laneve, Luca Padovani. An Algebraic Theory for Web Service Contracts. Formal Aspects of Computing, Springer Verlag, 2015, 27 (4), pp.27. 〈10.1007/s00165-015-0334-2〉. 〈hal-01229401〉

Partager

Métriques

Consultations de la notice

167

Téléchargements de fichiers

64