Le travail présenté dans ce mémoire s'inscrit dans le domaine de I'ingenierie dirigé par les modèles < IDM > en général et dans la transformation et la vérification formelle de modèles d l'aide des grammaires de graphes ...