ITACA: an integrated toolbox for the automatic composition and adaptation of web services. Adaptation is of utmost importance in systems developed by assembling reusable software services accessed through their public interfaces. This process aims at solving, as automatically as possible, mismatch cases which may be given at the different interoperability levels among interfaces by synthesizing a mediating adaptor. In this paper, we present a toolbox that fully supports the adaptation process, including: (i) different methods to construct adaptation contracts involving several services; (ii) simulation and verification techniques which help to identify and correct erroneous behaviours or deadlocking executions; and (iii) techniques for the generation of centralized or distributed adaptor protocols based on the aforementioned contracts. Our toolbox relates our models with implementation platforms, starting with the automatic extraction of behavioural models from existing interface descriptions, until the final adaptor implementation is generated for the target platform.
Keywords for this software
References in zbMATH (referenced in 5 articles )
Showing results 1 to 5 of 5.
- Canal, Carlos; Cámara, Javier; Salaün, Gwen: Structural reconfiguration of systems under behavioral adaptation (2012)
- Durán, Francisco; Ouederni, Meriem; Salaün, Gwen: A generic framework for $n$-protocol compatibility checking (2012)
- Martín, J.A.; Martinelli, F.; Pimentel, E.: Synthesis of secure adaptors (2012)
- Martín, J.A.; Pimentel, E.: Contracts for security adaptation (2011)
- Cansado, Antonio; Canal, Carlos; Salaün, Gwen; Cubo, Javier: A formal framework for structural reconfiguration of components under behavioural adaptation (2010)