Abstract FR:

Cette thèse est une contribution à la génération automatique d'éditeurs structurés graphiques incrémentaux, et plus particulièrement aux problèmes de visualisation au sein de tels éditeurs. Nous utilisons les grammaires attribuées comme méthode de spécification formelle exécutable des représentations graphiques, avec tous les avantages que présente cette technologie dont les plus intéressants sont l'aspect déclaratif et l'incrémentation de l'évaluation. Les travaux et résultats présentés dans ce mémoire sont : 1) le système GIGAS (Graphical Interface Generation by Attribute Specification), dont les principales composantes sont : a) un langage de spécification graphique de haut niveau GSL (Graphic Specification Language), et un compilateur pour ce langage produisant un système d'attributs ; b) un évaluateur d'attributs incrémental pour le système d'attributs engendrés par le compilateur GSL ; c) une machine abstraite graphique offrant à l'utilisateur final un environnement convivial de développement sous un éditeur ; d) le langage GSL, mettant en œuvre le concept des boîtes de Knuth et permettant d'exprimer sous une forme purement déclarative les contraintes de positionnement entre les différents objets d'une application développée sous un éditeur ; 2) des exemples d'éditeurs engendrés à partir du système GIGAS, et tout particulièrement un éditeur pour le langage LOTOS et sa syntaxe graphique G-LOTOS, permettant le développement d'objets sous une forme textuelle ou graphique, et le passage d'une forme à l'autre