Automatic synthesis of behavior protocols for composable Web-services
Bertolino A., Inverardi P., Pelliccione P., Tivoli M.
synthesis Automatic Synthesis Behaviour protocols Web-services testing ACM learing [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] Testing
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.
Source: 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, pp. 141–150, Amsterdam, 24-28 August 2009
Publisher: Association Of Computing Machinery (ACM), New York, USA
[2] CORDIS, ICT, Programme: Service and Software Architectures, Infrastractures and Engineering (SSAI). http://cordis.europa.eu/fp7/ict/ssai/home_en.html.
[3] WSDL: Web Services Description Languages v1.1 spec. http://www.w3.org/tr/2001/note-wsdl-20010315.
[4] C. Bartolini, A. Bertolino, E. Marchetti, and A. Polini. WS-TAXI: a WSDL-based testing tool for Web Services. In ICST 2009, Denver, Colorado - USA. IEEE, 2009.
[5] T. Berg, B. Jonsson, and H. Raffelt. Regular Inference for State Machines Using Domains with Equality Tests. In FASE 2008, Budapest, Hungary, pages 317-331, 2008.
[6] A. Brogi and R. Popescu. Automated generation of BPEL adapters. In ICSOC 2006, Chicago, USA, 2006.
[7] D. Calvanese, G. D. Giacomo, M. Lenzerini, M. Mecella, and F. Patrizi. Automatic Service Composition and Synthesis: the Roman Model. IEEE Data Eng. Bull., 31(3):18-22, 2008.
[8] C. Ghezzi, A. Mocci, and M. Monga. Synthesizing Intentional Behavior Models by Graph Transformation. In ICSE 2009, Vancouver, Canada, 2009.
[9] D. Lorenzoli, L. Mariani, and M. Pezzè. Automatic Generation of Software Behavioral Models. In ICSE 2008, pages 501-510, NY, USA, 2008. ACM.
[10] A. Marconi, M. Pistore, and P. Traverso. Automated Composition of Web Services: the ASTRO Approach. IEEE Data Eng. Bull., 31(3):23-26, 2008.
[11] K. Meinke. Automated Black-box Testing of Functional Correctness using Function Approximation. SIGSOFT Softw. Eng. Notes, 29(4):143-153, 2004.
[12] T. Melliti, P. Poizat, and S. B. Mokhtar. Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. In FASE 2008, LNCS 4961, Springer.
[13] J. Pathak, S. Basu, R. R. Lutz, and V. Honavar. MOSCOE: an Approach for Composing Web Services through Iterative Reformulation of Functional Specifications. Int. Journal on Artificial Intelligence Tools, 17(1):109-138, 2008.
[14] M. Utting and B. Legeard. Practical Model-Based Testing - A Tools Approach. Morgan and Kaufmann, 2006.
[15] A. Wasylkowski and A. Zeller. Mining Operational Preconditions. http://www.st.cs.uni-saarland.de/models/ papers/wasylkowski-2008-preconditions.pdf (Tech. Rep.).
[16] A. Wasylkowski, A. Zeller, and C. Lindig. Detecting Object Usage Anomalies. In ESEC-FSE '07, pp. 35-44. ACM, 2007.
Metrics
Back to previous page
@inproceedings{oai:it.cnr:prodotti:91952,
title = {Automatic synthesis of behavior protocols for composable Web-services},
author = {Bertolino A. and Inverardi P. and Pelliccione P. and Tivoli M.},
publisher = {Association Of Computing Machinery (ACM), New York, USA},
doi = {10.1145/1595696.1595719},
booktitle = {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, pp. 141–150, Amsterdam, 24-28 August 2009},
year = {2009}
}
0000-0001-8749-1356DOIAlso available from
