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

ESSPE '07 - International Workshop on Engineering of Software Services for Pervasive Environments - In conjunction with the 6th ESEC/FSE Joint Meeting

Volumn , Issue , 2007, Pages 29-33

  Inverardi, Paola ^a   Tivoli, Massimo ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; RESOURCE ALLOCATION; SPECIFICATIONS;

AUTOMATIC CONSTRUCTION; SERVICE LEVEL SPECIFICATION (SLS); SERVICE ORIENTED TECHNOLOGIES; SERVICE REPOSITORY;

WEB SERVICES;

EID: 41149083963     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1294904.1294908     Document Type: Conference Paper

References (13)

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. M. Autili, P. Inverardi, A. Navarra, and M. Tivoli. SYNTHESIS: a tool for automatically assembling correct and distributed component-based systems. In In proceedings of the International Conference on Software Engineering (ICSE 2007) - Research Tool Demos Track., 2007.
4. A. Brogi, C. Canal, and E. Pimentel. Behavioural types for service integration: achievements and challenges. In Electronic Notes in Theoretical Computer Science, Elsevier, ISSN 1571-0661, 2004.
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. H. R. M. Nezhad, B. Benatallha, A. Martens, F. Curbera, and F. Casati. Semi-automated adaptation of service interactions. In WWW 2007 Web Services Track, 2007.
10. E. Rahm and P. A. Bernstein. A survey of approaches to automatic schema matching. The VLDB journal, 10:334-350, 2001.
11. G. Salaun, L. Bordeaux, and M. Schaerf. Describing and reasoning on web services using process algebra. In ICWS'04, IEEE Computer Society Press, pages 43-51, San Diego, USA., 2004.
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.