Le présent travail s'inscrit dans le domaine de l'ingénierie dirigé par les modèles (IDM) en générale, et dans la transformation et la vérification de modèles à l'aide des grammaires de graphes en particulier . notre ...