A reuse-based approach to the correct and automatic composition of web-services

ABSTRACT

Service oriented technologies, such as web services, can be considered one of the latest trends in distributed computing. Nowadays, the Internet arena is populated by an ever more increasing number of web services. This has led to the need for reuse-based approaches to the automatic construction of new services as a correct composition of existing ones. A composition of services is correct when it respects the Service Level Specification (SLS) specified for the composite service to be built. To this end, we propose an extension of our previous work on the automatic component assembly. The aim of this extension is to propose an automatic and specification-based approach for constructing composite services from existing ones, which are discovered from a service repository. We instantiate the proposal in the context of web services. This work has to be considered as an ongoing work. In this paper, we also raise some research questions concerning the current gap between what we are able to do by means of the proposed extension and what still remains an open issue.

REFERENCES

• 1: G. Alonso, F. Casati, H. Kuno, and V. Machiraju. Web Services. Springer, berlin Heidelberg New York, 2004.
• 2: M. Autili, M. Flammini, P. Inverardi, A. Navarra, and M. Tivoli. Synthesis of concurrent and distributed adaptors for component-based systems. In LNCS 4344. 2006.
• 3: Marco Autili , Paola Inverardi , Alfredo Navarra , Massimo Tivoli, SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems, Proceedings of the 29th international conference on Software Engineering, p.784-787, May 20-26, 2007 [doi>10.1109/ICSE.2007.84]
• 4: Antonio Brogi , Carlos Canal , Ernesto Pimentel, Behavioural Types for Service Integration: Achievements and Challenges, Electronic Notes in Theoretical Computer Science (ENTCS), v.180 n.2, p.41-54, June, 2007 [doi>10.1016/j.entcs.2006.10.045]
• 5: A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo. Formalizing web service choreographies. In Electronic Notes in Theoretical Computer Science, 105:73--94, Elsevier. ISSN 1571-0661, 2004.
• 6: A. Brogi and R. Popescu. Automated Generation of BPEL Adapters. In In A. Dan and W. Lamersdorf, editors, Proceedings of the 4th International Conference on Service Oriented Computing (ICSOC 06), Springer-Verlag LNCS vol. 4294, pages 27--39, 2006.
• 7: IBM. BPEL4WS, Business Process Execution Language for Web Services, version 1.1, http://download.boulder.ibm.com/ibmdl/pub/software/dw/specs/ws-bpel/ws-bpel.pdf. 2003.
• 8: P. Inverardi and M. Tivoli. Software Architecture for Correct Components Assembly. volume LNCS 2804. 2003.
• 9: Hamid Reza Motahari Nezhad , Boualem Benatallah , Axel Martens , Francisco Curbera , Fabio Casati, Semi-automated adaptation of service interactions, Proceedings of the 16th international conference on World Wide Web, May 08-12, 2007, Banff, Alberta, Canada [doi>10.1145/1242572.1242706]
• 10: Erhard Rahm , Philip A. Bernstein, A survey of approaches to automatic schema matching, The VLDB Journal — The International Journal on Very Large Data Bases, v.10 n.4, p.334-350, December 2001 [doi>10.1007/s007780100057]
• 11: Gwen Salaün , Lucas Bordeaux , Marco Schaerf, Describing and Reasoning on Web Services using Process Algebra, Proceedings of the IEEE International Conference on Web Services, p.43, June 06-09, 2004 [doi>10.1109/ICWS.2004.46]
• 12: W3C. Web Service Definition Language, http://www.w3.org/tr/wsdl.
• 13: W3C. UDDI technical white paper, http://www.uddi.org/pubs/lru_uddi_technical_paper.pdf. 2001.