Le travail présent| dans ce mémoire s'inscrif dans l'I.D.M (l'ingénierie dirigée par les modéles), Son objectif est de réaliser un systéme de vérification des diagrammes en BPMN des erreurs de conception causées par le ...