Resumen de Un lenguaje de especificación formal de sistemas gráficos interactivos
Marcelino Cabrera Cuevas, María Luisa Rodríguez Almendros 
, Francisco Miguel Gea Megías , Juan Carlos Torres Cantero
En este trabajo se presenta un lenguaje de especificación formal de sistemas interactivos, que incorpora mecanismos para la especificación de procesos, el cambio dinámico de la representación gráfica, el control de la realimentación y gestión de errores, características fundamentales a la hora de especificar sistemas interactivos. Se realiza una comparación con otros lenguajes de especificación (Objet Z, OBJ, y LOTOS), mostrando las diferencias entre ellas a través de una tabla resumen de dicha comparación y ejemplos de especificaciones en los distintos lenguajes. También se muestra un ejemplo de especificación de un sistema interactivo, en el que se pueden observar las características propias del lenguaje GRALPLA para la especificación de este tipo de sistemas.
