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