Automatic synthesis of behavior protocols for composable web-services

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

Volumn , Issue , 2009, Pages 141-150

  Bertolino, Antonia ^a   Inverardi, Paola ^b   Pelliccione, Patrizio ^b   Tivoli, Massimo ^b  

^a ISTI CNR   (Italy)

^b UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

Automatic synthesis; Behavior protocols; Testing; Web services

Indexed keywords

AMAZON E-COMMERCE SERVICE; AUTOMATIC SYNTHESIS; BUSINESS PROCESS; DATA TYPE; TESTING TECHNIQUE;

COMPUTER SOFTWARE; SYNTHESIS (CHEMICAL); TESTING; TRANSLATION (LANGUAGES);

INTERNET PROTOCOLS;

EID: 77949403354     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1595696.1595719     Document Type: Conference Paper

References (16)

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.