Behavioural Contracts with Request-Response Operations

Abstract : In the context of service-oriented computing, behavioural contracts are abstract descriptions of the message-passing behaviour of services. They can be used to check properties of service compositions such as, for instance, client-service compliance. Previous formal models for contracts consider unidirectional send and receive operations. In this paper, we present two models for contracts with bidirectional request-response operations, in the presence of unboundedly many instances of both clients and servers. The first model takes inspiration from the abstract service interface language WSCL, the second one is inspired by Abstract WS-BPEL. We prove that client-service compliance is decidable in the former while it is undecidable in the latter, thus showing an interesting expressiveness gap between the modeling of request-response operations in WSCL and in Abstract WS-BPEL.
Type de document :
Communication dans un congrès
Dave Clarke; Gul Agha. 12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. Springer, Lecture Notes in Computer Science, LNCS-6116, pp.16-30, 2010, Coordination Models and Languages. 〈10.1007/978-3-642-13414-2_2〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01054626
Contributeur : Hal Ifip <>
Soumis le : jeudi 7 août 2014 - 16:42:53
Dernière modification le : vendredi 11 août 2017 - 15:34:37
Document(s) archivé(s) le : mercredi 26 novembre 2014 - 05:31:36

Fichier

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

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Lucia Acciai, Michele Boreale, Gianluigi Zavattaro. Behavioural Contracts with Request-Response Operations. Dave Clarke; Gul Agha. 12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. Springer, Lecture Notes in Computer Science, LNCS-6116, pp.16-30, 2010, Coordination Models and Languages. 〈10.1007/978-3-642-13414-2_2〉. 〈hal-01054626〉

Partager

Métriques

Consultations de la notice

145

Téléchargements de fichiers

56