Veuillez utiliser cette adresse pour citer ce document : https://di.univ-blida.dz/jspui/handle/123456789/12459
Affichage complet
Élément Dublin CoreValeurLangue
dc.contributor.authorAbdiche., Mohand Amokrane.-
dc.contributor.authorFechit., Abbas.-
dc.date.accessioned2021-10-24T12:25:26Z-
dc.date.available2021-10-24T12:25:26Z-
dc.date.issued2017-09-18-
dc.identifier.urihttp://di.univ-blida.dz:8080/jspui/handle/123456789/12459-
dc.descriptionill.,Bibliogr.fr_FR
dc.description.abstractDe 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.fr_FR
dc.language.isofrfr_FR
dc.publisherUniversité Blida 1fr_FR
dc.subjectBPMN.fr_FR
dc.subjectréseau de Petri.fr_FR
dc.subjectXPDL.fr_FR
dc.subjectingénierie dirigée par les modèles.fr_FR
dc.subjecttransformation de modèles.fr_FR
dc.subjectATL.fr_FR
dc.titleAutomatisation de la transformation de modèle de processus métier BPMN en réseau de Petri.fr_FR
dc.typeThesisfr_FR
Collection(s) :Mémoires de Master

Fichier(s) constituant ce document :
Fichier Description TailleFormat 
abdiche mohand amokrane.pdf31,32 MBAdobe PDFVoir/Ouvrir


Tous les documents dans DSpace sont protégés par copyright, avec tous droits réservés.