ITACA: An integrated toolbox for the automatic composition and adaptation of web services

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2009, Pages 627-630

  Cámara, Javier ^a   Martín, José Antonio ^a   Salaün, Gwen ^a   Cubo, Javier ^a   Ouederni, Meriem ^a   Canal, Carlos ^a   Pimentel, Ernesto ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTATION PROCESS; AUTOMATIC COMPOSITION; AUTOMATIC EXTRACTION; BEHAVIOURAL MODEL; IMPLEMENTATION PLATFORMS; INTERFACE DESCRIPTIONS; REUSABLE SOFTWARES; VERIFICATION TECHNIQUES;

INTERNET PROTOCOLS; SOFTWARE ENGINEERING;

COMPUTER SOFTWARE REUSABILITY;

EID: 77949900970     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2009.5070572     Document Type: Conference Paper

References (18)

1. ITACA's Webpage. Accesible from Javier Cámara's Webpage.
2. M. Autili, P. Inverardi, A. Navarra, and M. Tivoli. SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-based Systems. In Proc. of ICSE'07, pages 784-787. IEEE Computer Society, 2007.
3. A. Bracciali, A. Brogi, and C. Canal. A Formal Approach to Component Adaptation. Journal of Systems and Software, 74(1):45-54, 2005.
4. A. Brogi and R. Popescu. Automated Generation of BPEL Adapters. In Proc. of ICSOC'06, volume 4294 of LNCS, pages 27-39. Springer, 2006.
5. C. Canal, P. Poizat, and G. Salaün. Model-Based Adaptation of Behavioural Mismatching Components. IEEE Transactions on Software Engineering, 34(4):546-563, 2008.
6. J. Cubo, G. Salaün, C. Canal, E. Pimentel, and P. Poizat. A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. In Proc. of FACS'07, volume 215 of ENTCS, pages 39-55. Elsevier, 2007.
7. M. Dumas, M. Spork, and K. Wang. Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation. In In Proc. of BPM'06, volume 4102 of LNCS, pages 65-80. Springer, 2006.
8. H. Foster, S. Uchitel, and J. Kramer. LTSA-WS: A Tool for Model-based Verification ofWeb Service Compositions and Choreography. In Proc. of ICSE'06, pages 771-774. ACM Press, 2006.
9. X. Fu, T. Bultan, and J. Su. Analysis of Interacting BPEL Web Services. In Proc. of WWW'04, pages 621-630. ACM Press, 2004.
10. H. Garavel, R. Mateescu, F. Lang, and W. Serwe. CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. In Proc. of CAV'07, LNCS 4590, pages 158-163. Springer, 2007.
11. ISO/IEC. LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807, ISO, 1989.
12. J. A. Mart?́n and E. Pimentel. Automatic Generation of Adaptation Contracts. In Proc. of FOCLASA'08, ENTCS, 2008. To appear.
13. R. Mateescu, P. Poizat, and G. Salaün. Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques. In Proc. of ICSOC'08, LNCS, pages 84-99. Springer, 2008.
14. R. Mateescu and M. Sighireanu. Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus. Science of Computer Programming, 46(3):255-281, 2003.
15. H. R. Motahari Nezhad, B. Benatallah, A. Martens, F. Curbera, and F. Casati. Semi-Automated Adaptation of Service Interactions. In Proc. of WWW'07, pages 993-1002. ACM Press, 2007.
16. M. Ouederni. Measuring Similarity of Service Protocols. Master Thesis, University of Málaga. Available on Meriem Ouederni's Webpage, Sept. 2008.
17. G. Salaün. Generation of Service Wrapper Protocols from Choreography Specifications. In Proc. of SEFM'08, pages 313-322. IEEE Computer Society, 2008.
18. G. Salaün, L. Bordeaux, and M. Schaerf. Describing and Reasoning onWeb Services using Process Algebra. IJBPIM, 1(2):116-128, 2006.