Méthode Formelle pour la Modélisation et la Vérification des Processus Métiers Cas d'étude : Le langage BPMN (Business Process Model and Notation)

Abstract

L’objectif de ce projet est de proposer une approche de transformation de langage BPMN vers un modèle formel appelé RECATNet. Ce dernier est très connu par son pouvoir d’expression qui facilite la modélisation/analyse des systèmes complexes incluant des sous-processus, multi-instance et des exceptions. En plus, RECATNet peut être décrit facilement en termes de la logique de réécriture et par conséquent, le système Maude peut être utilisé lors de la phase d’analyse. Le résultat de ce projet est de développer un outil JAVA qui permet la génération automatique des modèles de RECATNets à partir des processus métiers exprimés en BPMN.