Proposition d'une grammaire de Graphe pour la vérification syntaxique des Workflow Patterns

Abstract

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 non respect des régles et condition d'utilisation des workflow patterns. Pour cela, Nous avons utilisé les techniques de grammaire de graphe et de la méta-modélisation offertes par I'outil AToM3. La solution proposée permet de signaler les erreurs des correspondances et les affichées d'un fichier texte.