- Outil logiciel de vérification des chemins inatteignables dans les processus métier
Publié le 24 avril 2020 PragmaDev
Mis au point par PragmaDev et résultat d’un projet de recherche financé par la DGA avec des cas d’étude réels venant d’Eurocontrol et d’Airbus DS, l’outil PragmaDev Process permet de vérifier les processus métier décrits avec la notation BPMN (Business Process Model Notation). Grâce à son moteur d’exploration, cette version peut automatiquement identifier les scénarios impossibles dans le processus métier écrit sous forme de modèle graphique....
