Participants : Healfdene Goguen, Francis Montagnac
Mots clefs : protocole de communication, syntaxe abstraite Le système CtCoq est composé de plusieurs programmes communicant entre eux en utilisant un protocole de transfert de structures arborescentes développé dans le projet. Cette communication a lieu malgré le fait que chacun de ces programmes utilise une représentation différente des structures manipulées. Pour obtenir ce résultat nous avons mis au point un outil de traduction qui met en correspondance les définitions de structures de données utilisées dans les différents systèmes et génère automatiquement les procédures de transfert. Cette nouvelle méthode de travail a permis une amélioration sensible de la qualité des communications établies entre les différents programmes. Elle se traduit également par la mise au point d'un outil réutilisable dans d'autres domaines.