Le travail présenté dans ce manuscrit s'inscrit dans le domaine de l'ingénierie dirigée par les modèles (IDM) en général et dans la transforamation et la vérification formelle de modèles a l'aide des grammaires de graphes ...