PragmaDev Process v3.2, édité par PragmaDev permet de vérifier et d’optimiser les processus métier écrits avec la notation BPMN (Business Process Model and Notation) et qui décrivent les activités des différents participants dans une organisation et comment ils interagissent. Cette version de l’outil permet d’explorer automatiquement les combinaisons possibles de scénarios et de ressources en intégrant, au-delà d’un simulateur statistique de la performance du processus, une fonction de gestion des ressources associées à ce processus. Les processus sont simulés automatiquement sur la base de différents scénarios avec les ressources possibles.

- Indication de quand le temps d'exécution du processus est trop important et des actions correctives possibles

- Définition et allocation des ressources nécessaires pour optimiser un processus, et définition de scénarios spécifiques pour évaluer la performance d'un processus

- Définition de variations classiques dans un scénario comme la fréquence d'exécution du processus ou la quantité disponible pour une ressource

- Ressources définies par leur quantité, leur disponibilité et leur facteur de performance pour réaliser l'activité

- Résultats présentés et exprimés sous forme de pourcentages permettant de visualiser les meilleures ressources pour chaque scénario