Dans notre mémoire, nous proposons une approche de transformation des diagrammes globaux d'interaction vers Maude. Ce travail est inscrit dans le contexte de I'IDM (Ingénierie dirigée par modéles) ou on utilise et exploite ...