Résumé:
De nos jours, les processus métier devient de plus en plus complexe Dans le cas où plusieurs processus ou sous processus interagissent entre eux, iis peuvent être contraint par des ressources partagées ou encore par des durées de traitements. La vérification de leur comportement global au moment de la conception, détermine à l'avance si un modèle de processus présente certains comportements souhaitables.
Dans le but de vérifier le comportement global d'un processus BPMN via les Models Checking (une méthode formelle de vérification de modèles). Nous avons effectué la transformation du modèle de processus BPMN en un modèle réseau de Petri afin de pouvoir vérifier son comportement global dans nos travaux futurs via les Models Checking.
La transformation de BPMN en réseau de Petri a était faite en deux parties. La première consiste à transformer de BPMN en XPDL en utilisant la méthode la plus adéquat. La deuxième partie consiste à transformer XPDL en réseau de Petri. Nous avons proposé une méthode de transformation ainsi que développer un outil qui permet de mettre en oeuvre notre méthode. Cet outil a été réalisé en utilisant le langage de programmation Java EE ainsi que le langage de transformation de modèle ATL.
Mots-clefs : BPMN, réseau de Petri, XPDL, ingénierie dirigée par les modèles, transformation de modèles, ATL.
