Automatic synthesis of behavior protocols for composable web-services

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Automatic synthesis of behavior protocols for composable web-services

Full text

Pdf (671 KB)

Source

Foundations of Software Engineering archive
Proceedings of the 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 table of contents

Amsterdam, The Netherlands

SESSION: Service-oriented systems table of contents

Pages 141-150

Year of Publication: 2009

ISBN:978-1-60558-001-2

Authors

Antonia Bertolino	Consiglio Nazionale delle Ricerche, Pisa, Italy
Paola Inverardi	Università dell'Aquila, L'Aquila, Italy
Patrizio Pelliccione	Università dell'Aquila, L'Aquila, Italy
Massimo Tivoli	Università dell'Aquila, L'Aquila, Italy

Sponsors

ACM: Association for Computing Machinery
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 37, Downloads (12 Months): 69, Citation Count: 0

Additional Information:

abstract references index terms

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1595696.1595719 What is a DOI?

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	BPEL4WS: Business Process Execution Languages for Web services v1.1 specification. http://download.boulder.ibm.com/ibmdl/pub/software/dw/specs/ws-bpel/ws-bpel.pdf.
	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.