PragmaDev Process
PragmaDev Process est un éditeur, un exécuteur et un explorateur de modèles BPMN. C'est le résultat d'un projet de recherche financé par la DGA (Direction générale de l'armement) appelé VeriMoB qui avait pour objectif la vérification des modèles BPMN issus des modèles NAF (NATO Architecture Framework)[1],[2],[3].
Cet article est orphelin. Moins de trois articles lui sont liés ().
Vous pouvez aider en ajoutant des liens vers [[PragmaDev Process]] dans les articles relatifs au sujet.
| Développé par | PragmaDev |
|---|---|
| Dernière version | 1.0 () |
| Environnement | Linux, Windows, macOS |
| Type | Processus métier, Workflow, Business Process Management |
| Licence | Gratuit et commercial |
| Site web | pragmadev.com |
Fonctionnalités modifier
Exécuteur modifier
L’éditeur PragmaDev Process peut exécuter les modèles BPMN pas à pas en s'appuyant sur la sémantique du standard. Les flux exécutables sont affichés dans l'éditeur et l'utilisateur peut alors vérifier que le comportement est celui attendu. Une trace graphique peut être générée et rejouée manuellement pas à pas ou automatiquement[1].
Explorateur modifier
PragmaDev Process peut explorer automatiquement tous les chemins possibles du modèle de processus métier. Pour cela il se connecte à l'outil OBP (Observer Based Prover) de l'ENSTA Bretagne (École nationale supérieure de techniques avancées Bretagne). Une propriété peut être vérifiée pour tous les scénarios automatiquement joués lors de l'exploration. La propriété peut être exprimée graphiquement sous forme de PSC (Property Sequence Chart) ou textuellement en GPSL (Generic Property Specification Language). En l'absence de propriété, à l'issue de l'exploration, un index de complexité est produit[2].
PragmaDev modifier
L'éditeur de PragmaDev Process est la société privée PragmaDev. PragmaDev a été créée en 2001 et est située à Paris en France[4].
Références modifier
- (en) Mihal Brumbulli, Emmanuel Gaudin et Frédéric Berre, Complex Systems Design & Management, Springer, Cham, coll. « Advances in Intelligent Systems and Computing », , 27-36 p. (ISBN 978-3-030-34843-4, DOI 10.1007/978-3-030-34843-4_3, lire en ligne)
- Mihal Brumbulli, Emmanuel Gaudin et Ciprian Teodorov, « Automatic Verification of BPMN Models », 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Toulouse, France, (lire en ligne)
- « PragmaDev Process »
- « PragmaDev. Profile. » (consulté le ) : « PragmaDev is [a] provider of graphical software modelling tools based on SDL... »
