(24-9-12) - Publications section updated.
(25-9-12) - Downloads section added.


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. ITACA is a toolbox that fully supports the adaptation process, including:

  • Different methods to construct adaptation contracts involving several services.
  • Simulation and verification techniques which help to identify and correct erroneous behaviours or deadlocking executions.
  • Techniques for the generation of centralized or distributed adaptor protocols based on the aforementioned contracts.

Overview of the ITACA adaptation process.

Overview of the adaptation process supported by ITACA.


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.

Click here for a quick tour through ITACA (Flash Plugin required)