Especificación formal de sistemas gráficos