Especificación de la interfaz semántica de Ada