Abstract FR:

Un environnement de construction de generateurs permet, a partir de la specification formelle de la syntaxe et de la semantique d'un langage, la construction automatique d'outils specialises pour ce langage. Le point commun entre la plupart des environnements est qu'ils exploitent un gestionnaire de representation interne. Ce gestionnaire est exploite pour construire automatiquement la representation interne mise en uvre pour le langage de specification mais aussi pour son parcour ou sa traduction vers une realisation. Le standard step est la norme iso 10303 dont l'objectif est de permettre aux applications industrielles d'echanger et de partager des donnees independamment des specificites des differents systemes echangeant ou partageant des informations. Les travaux de normalisation comprennent la specification de modeles de donnees standards, appeles protocoles d'application et organises par metiers industriels. Ces protocoles d'application sont specifies dans le langage de modelisation express. Les protocoles d'echanges et de partages des donnees definissent un format neutre d'echange de donnees et une interface standard d'acces aux donnees appelees la sdai. Il est possible d'exploiter la technologie step pour la specification et la mise en uvre automatique de generateurs de code. Cette these montre qu'un generateur peut etre specifie en express par la definition de la representation interne et des fonctions qui permettent sa traduction vers une realisation particuliere. Un generateur automatiquement construit a partir de ces specifications comprend essentiellement une sdai qui execute les fonctions de traduction.