Especificació Ada de la interfície semàntica