Automatic synthesis of behavior protocols for composable Web-services (Contributo in atti di convegno)

Type

• Contributo in atti di convegno (Classe)
• Prodotto della ricerca (Classe)

Label

• Automatic synthesis of behavior protocols for composable Web-services (Contributo in atti di convegno) (literal)

Anno

• 2009-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1145/1595696.1595719 (literal)

Alternative label

• Antonia Bertolino; Paola Inverardi; Patrizio Pelliccione; Massimo Tivoli (2009)
  Automatic synthesis of behavior protocols for composable Web-services
  in 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, Amsterdam, 24-28 August 2009
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Antonia Bertolino; Paola Inverardi; Patrizio Pelliccione; Massimo Tivoli (literal)

Pagina inizio

• 141 (literal)

Pagina fine

• 150 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://dl.acm.org/citation.cfm?doid=1595696.1595719 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume

• ESEC-FSE'09 - Proceedings of the Joint 12th European Software Engineering Conference and 17th ACM SIGSOFT Symposium on the Foundations of Software Engineering (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• In: ESEC/FSE 2009 - 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium (Amsterdam, 24-28 August 2009). Proceedings, pp. 141 - 150. ACM, 2009. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto

• 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 an (literal)

Note

• ISI Web of Science (WOS) (literal)
• Scopu (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• CNR-ISTI, Pisa, Università dell'Aquila, Dipartimento di Informatica, Italy (literal)

Titolo

• Automatic synthesis of behavior protocols for composable Web-services (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 978-1-60558-001-2 (literal)

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 web-service 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. (literal)

Editore

• Association Of Computing Machinery (ACM) (Editore)

Prodotto di

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.001) (Modulo)

Autore CNR

• ANTONIA BERTOLINO (Persona)

Insieme di parole chiave

• Keywords of "Automatic synthesis of behavior protocols for composable Web-services" (Insieme di parole chiave)

Incoming links:

Autore CNR di

• ANTONIA BERTOLINO (Persona)

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.001) (Modulo)

Editore di

• Association Of Computing Machinery (ACM) (Editore)

Insieme di parole chiave di

• Keywords of "Automatic synthesis of behavior protocols for composable Web-services" (Insieme di parole chiave)