Abstract FR:

Les travaux presentes dans ce memoire portent sur l'etude des langages et methodes de conception des systemes automatises de conception (sap). Notre objectif est l'amelioration de la rigueur de la definition de ces langages et methodes. Le moyen retenu est l'utilisation d'un langage formel, le langage z, pour les meta-modeliser. Dans une premier temps, nous presentons les travaux existants sur l'etude de l'activite de modelisation, afin de montrer l'interet de la meta-modelisation vis-a-vis de notre objectif. Dans un deuxieme temps, nous caracterisons les differents aspects que doit couvrir un meta-modele pour representer avec rigueur un langage ou une methode. Dans un troisieme temps, nous presentons de quelle facon le langage z permet de couvrir l'ensemble de ces besoins. Nous validons alors notre approche sur deux exemples. Le premier exemple est un langage de conception des systemes a evenements discrets : les reseaux de petri generalises. Le deuxieme exemple est une methode de conception de la commande des systemes hybrides integrant deux langages : les reseaux de petri temporels a evenements et les equations differentielles.