CIAO-Specifications