Automatic Synthesis of Behavior Protocols for Composable Web-Services

Abstract : Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing new composite web-services out of existing ones. In the literature many approaches have been proposed with the aim to automatically compose web-services. All of them assume that, along with the webservice signature, some information is provided about how clients interacting with the web-service should behave when invoking it. We call this piece of information the web-service behavior protocol. Unfortunately, in the practice this assumption turns out to be unfounded. To address this need, in this paper we propose a method to automatically derive from the web-service signature an automaton modeling its behavior protocol. The method, called StrawBerry, combines synthesis and testing techniques. In particular, synthesis is based on data type analysis. The conformance between the synthesized automaton and the implementation of the corresponding web-service is checked by means of testing. The application of StrawBerry to the Amazon E-Commerce Service shows that it is practical and realistic.
Type de document :
Communication dans un congrès
Hans van Vliet and Valérie Issarny. The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) – ESEC/FSE09, Aug 2009, Amsterdam, ACM, pp.141-150, 2009, 〈10.1145/1595696.1595719〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00415421
Contributeur : Massimo Tivoli <>
Soumis le : vendredi 11 septembre 2009 - 10:24:06
Dernière modification le : mercredi 4 octobre 2017 - 11:24:02
Document(s) archivé(s) le : mardi 15 juin 2010 - 23:28:35

Fichier

esec107-bertolino.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Antonia Bertolino, Paola Inverardi, Pelliccione Patrizio, Tivoli Massimo. Automatic Synthesis of Behavior Protocols for Composable Web-Services. Hans van Vliet and Valérie Issarny. The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) – ESEC/FSE09, Aug 2009, Amsterdam, ACM, pp.141-150, 2009, 〈10.1145/1595696.1595719〉. 〈inria-00415421〉

Partager

Métriques

Consultations de la notice

100

Téléchargements de fichiers

234