next up previous
Next: Le traducteur vers Up: Implantation et développement Previous: Le générateur de

Interface graphique pour FNC-2

 

avec Bernard AMILIEN en 92-93 [Ami92,Ami93] Jusqu'à présent l'utilisateur qui devait construire une grosse application à l'aide de FNC-2 était aidé par un shell-script qui vérifiait la présence des fichiers source requis, contrôlait leurs dépendances et assurait l'enchaînement des divers constructeurs; ce programme dialoguait avec l'utilisateur à travers une interface textuelle assez frustre. En 92 B. AMILIEN [Ami92] a réalisé une version graphique de ce programme Xfnc2 tournant sous X-Window. Les indications de l'utilisateur sont données par sélection dans des menus et les messages produits par les divers constructeurs sont dirigés vers une fenêtre déroulante. L'accès aux services de FNC-2 est ainsi encore plus simple que précédemment.

En 1993, nous avons poursuivi notre effort sur les supports pour faciliter l'utilisation de FNC-2 en réalisant un autre outil graphique Xvisu [Ami93]. Cet outil est une interface graphique pour notre test de circularité dans une GA [PDRJ96], qui permet de visualiser d'une manière graphique des portions d'une GA --- plus précisément les graphes de dépendances entre les attributs --- et de se déplacer interactivement dans la GA, en se souvenant des productions visitées, pour y rechercher la ou les règles sémantiques ``fautives''. Ainsi à l'aide d'un protocole sur les graphes de dépendances le système de trace de circularité interagis avec l'utilisateur à travers une interface graphique. Le choix d'utiliser un protocole est largement inspiré des travaux de projet CROAP autour de système SOPHTALK, pour un éventuel interfaçage comme pour ATC CENTAUR (cf. la section 3.3.3). J'ai donc remis à jour (recodé) le test de circularité que j'avais défini lors de mon stage de DEA en 1985 [PDRJ96]. Il est aussi possible d'utiliser cette même interface comme browser, pour visualiser simplement et graphiquement les dépendances dans une GA sans qu'il y ait forcément de circularité.



Didier Parigot
Mon Apr 7 11:02:46 MET DST 1997