La version 2 de l’outil Pragmadev Process de PragmaDev, qui décrit des processus complexes (activités des différents participants dans une organisation et comment ils interagissent), se distingue par un simulateur des temps et des coûts associés aux activités des processus. Ce qui permet de les optimiser en fonction de critères de performances et de faciliter les prises de décision. Avec la version 2 de l’outil, des informations de temps et de coûts sont ajoutées aux éléments du modèle avec une notion de variabilité statistique. Sur la base de ces informations, des exécutions sont lancées automatiquement pour évaluer la performance du processus.

- Outil conforme au standard BPMN (Business Process Model and Notation) et simulateur statistique qui s’appuie sur BPSim, notation complémentaire à BPMN

- Vérification de règles statiques, et animation pas à pas du processus sur la base de la sémantique décrite dans le standard

- Lors de l’exécution, génération des traces d’exécution à des fins de documentation

- Fonctionnalité d’exploration de tous les scénarios possibles dans le modèle (suite à une collaboration avec l’ENSTA Bretagne)

- Détection automatique des deadlocks et des scénarios inatteignables, et vérification des invariants