Algunos lenguajes de descripción o de definición de interfaz: