Synthesizing adapters for conversational web-services from their WSDL interface

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2010, Pages 104-113

  Cavallaro, Luca ^a   Di Nitto, Elisabetta ^a   Pelliccione, Patrizio ^b   Pradella, Matteo ^c   Tivoli, Massimo ^b  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF L'AQUILA   (Italy)

^c CNR   (Italy)

Author keywords

automatic synthesis; behavior protocols; service adapters; service composition; testing; web services

Indexed keywords

AUTOMATIC SYNTHESIS; BEHAVIOR PROTOCOLS; DEVELOPMENT METHODOLOGY; INPUT/OUTPUT DATUM; SERVICE COMPOSITIONS; SERVICE ORIENTED; THIRD PARTY VENDORS; WSDL INTERFACES;

QUALITY OF SERVICE; SEARCH ENGINES; SOFTWARE ENGINEERING;

INTERNET PROTOCOLS;

EID: 77954583290     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1808984.1808996     Document Type: Conference Paper

References (23)

1. eviware soapUI: http://www.soapui.org.
2. WS-BPEL specification. http://www.oasis-open.org/committees/tc\-home.php? wg\-abbrev=wsbpel.
3. WS-ResourceProperties: http://docs.oasis-open.org/wsrf/wsrf-ws-resource- properties -1.2-spec-os.pdf.
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, 2009.
5. T. Berg, B. Jonsson, and H. Raffelt. Regular Inference for State Machines Using Domains with Equality Tests. In FASE 2008, Budapest, Hungary, 2008.
6. A. Bertolino, P. Inverardi, P. Pelliccione, and M. Tivoli. Automatic synthesis of behavior protocols for composable web-services. In H. van Vliet and V. Issarny, editors, ESEC/SIGSOFT FSE, pages 141-150. ACM, 2009.
7. A. Brogi and R. Popescu. Automated generation of BPEL adapters. In In Proceedings of ICSOC, 2006.
8. L. Cavallaro, E. D. Nitto, and M. Pradella. An automatic approach to enable replacement of conversational services. In L. Baresi, C.-H. Chi, and J. Suzuki, editors, ICSOC/ServiceWave, volume 5900 of Lecture Notes in Computer Science, pages 159-174, 2009.
9. L. Cavallaro, G. Ripa, and M. Zuccalà. Adapting service requests to actual service interfaces through semantic annotations. In In Proceedings of PESOS, 2009.
10. V. De Antonellis, M. Melchiori, L. De Santis, M. Mecella, E. Mussi, B. Pernici, and P. Plebani. A layered architecture for flexible web service invocation. Softw. Pract. Exper., 36(2), 2006.
11. C. Drumm. Improving Schema Mapping by Exploiting Domain Knowledge. PhD thesis, Universitat Karlsruhe, Fakultat fur Informatik, 2008.
12. M. Fredj, N. Georgantas, V. Issarny, and A. Zarras. Dynamic service substitution in service-oriented architectures. In In Proceedings of SERVICES, 2008.
13. C. Ghezzi, A. Mocci, and M. Monga. Synthesizing Intentional Behavior Models by Graph Transformation. In ICSE 2009, Vancouver, Canada, 2009.
14. D. Lorenzoli, L. Mariani, and M. Pezzè. Automatic Generation of Software Behavioral Models. In ICSE 2008, 2008.
15. J. A. Martìn and E. Pimentel. Automatic generation of adaptation contracts. In Proceedings of FOCLASA, 2008.
16. K. Meinke. Automated Black-box Testing of Functional Correctness using Function Approximation. SIGSOFT Softw. Eng. Notes, 29(4), 2004.
17. M. Pradella, A. Morzenti, and P. San Pietro. The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties. In ESEC/SIGSOFT FSE, 2007.
18. M. Pradella, A. Morzenti, and P. San Pietro. Refining real-time system specifications through bounded model- and satisfiability-checking. In ASE, 2008.
19. M. Utting and B. Legeard. Practical Model-Based Testing - A Tools Approach. Morgan and Kaufmann, 2006.
20. W. M. P. van der Aalst and A. H. M. ter Hofstede. Yawl: yet another workflow language. Information Systems, 2005.
21. K. Verma, K. Gomadam, A. Sheth, J. Miller, and Z. Wu. The meteor-s approach for configuring and executing dynamic web processes. Technical report, LSDIS Lab, University of Georgia, Athens, Georgia, 2005.
22. A. Wasylkowski and A. Zeller. Mining Operational Preconditions. http://www.st.cs.uni-saarland.de/models/papers/wasylkowski-2008-preconditions. pdf (Tech. Rep.).
23. A. Wasylkowski, A. Zeller, and C. Lindig. Detecting Object Usage Anomalies. In ESEC-FSE '07, pp. 35-44, 2007.