Résumé:
UML est un langage standardisé par L'OMG et il est devenu incontournable. il fournit plusieurs diagrammes à l'instar du diagramme d'activité utilisé pour la modélisation des enchainements des activités. de l'autre coté , L'EPC est très largement adopté pour la modélisation des processus métiers. la convergence entre les deux formalismes est très bénéfique. ce travail est inscrit dans le cadre de l'ingénierie dirigée par modèles (IDM) en général es dans la transformation de modèles. tout d'abord, nous avons défini des méta-modèles pour chaque formalisme (diagramme d'activité, modèleEPC) , ensuite nous avons proposé des règles de tranformation des diagrammes d'activité vers les modèles EPC. l'objectif est de dériver des modèles EPCde n'importe quel diagramme d'activité , afin de faciliter l'utilisation des techniques d'analyse formelle au cours du cycle de développement des systèmes complexes. pour réaliser ce travail , nous avons utilisé la transformation des graphes basée sur la méta modélisation et les grammaires de graphes. le tout est implémenté en atom.
