Tools

ITACA

ITACA is an Integrated Toolbox for Automatic Composition and Adaptation. Website

MAUDE COMPATIBILITY CHECKER

The compatibility checker is a tool for checking the compatibility of n-service protocols. Website

COMPARATOR

Comparator is a tool for measuring the compatibility degree of service protocols. Website