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....

- Intégration au sein de l’outil d’un éditeur, d’un exécuteur et d’un explorateur de modèle

- Éditeur de modèles gratuits sans restriction et exécuteur gratuit pour les petits modèles

- Après une exécution manuelle ou automatique, visualisation des symboles qui ont été exécutés

- L’information de couverture peut être fusionnée afin de déterminer si un ensemble de scénarios couvre bien tous les éléments du modèle

- L’outil peut explorer automatiquement tous les chemins d’exécution, ce qui permet d’identifier automatiquement les chemins inatteignables