Un lenguaje de especificación formal de sistemas gráficos interactivos
- Cabrera Cuevas, Marcelino
- Rodríguez Almendros, María Luisa
- Gea Megías, Francisco Miguel
- Torres Cantero, Juan Carlos
- Clares Rodríguez, Buenaventura (dir. congr.)
Editorial: [Almuñécar?] : Asociación Española de Informática y Automática, [1996]
ISBN: 84-8254-080-7
Año de publicación: 1996
Páginas: 143-152
Congreso: Jornadas de Informática (2. 1996. Almuñécar)
Tipo: Aportación congreso
Resumen
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.