Une approche automatique de transformation des diagrammes d'activités UML vers les modèles YAWL.

Abstract

Dans ce travail nous proposons une approche automatique de transformation de diagramme d'activité vers le modèle YAWL basée sur la transformation de graphe. cette approche consiste à proposer un méta-modèle pour le diagramme d'activité et un autre pour le modèle YAWL. après, nous proposons une première grammaire de graphe qui fait la tranformation des diagrammes d'activité UML vers les modèles YAWL. une deuxième grammaire de graphe est développée pour transformer les modèles YAWL vers un format textuel afin de les charger dans un outil qui permet l'analyse et de vérification. l'outil ATOM est utilisé.