Paper Info
Title
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 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.
Year
DOI
Venue
2009
10.1145/1595696.1595719
ESEC / SIGSOFT FSE
Keywords
Field
DocType
business process,amazon e-commerce service,corresponding web-service,composable web-services,compose web-services,new composite web-services,web-service signature,web-service behavior protocol,synthesized automaton,automatic synthesis,behavior protocol,data type analysis,data type,e commerce,testing,web services,web service
Open platform,Business process,Computer science,Interoperability,Automaton,Theoretical computer science,Data type,Web service
Conference
Citations 
PageRank 
References 
84
2.23
11
Authors
4
Name
Order
Citations
PageRank
Antonia Bertolino11961140.25
Paola Inverardi23155228.92
Patrizio Pelliccione399884.04
Massimo Tivoli4125663.22