Dando como resultado la descripción externa de la operación del sistema considerado.