PragmaDev Process

Ajouter des liens
Un article de Wikipédia, l'encyclopédie libre.
Ceci est une version archivée de cette page, en date du 2 mai 2021 à 15:51 et modifiée en dernier par SystemesComplexes (discuter | contributions). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.
Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.
Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

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.

PragmaDev Process

Informations
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

modifier - modifier le code - voir Wikidata (aide) Consultez la documentation du modèle

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

Fonctionnalités

Exécuteur

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

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

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

  1. ↑ a et b (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)
  2. ↑ a et b 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)
  3. ↑ « PragmaDev Process »
  4. ↑ « PragmaDev. Profile. » (consulté le ) : « PragmaDev is [a] provider of graphical software modelling tools based on SDL... »

Liens externes

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=PragmaDev_Process&oldid=182513673 ».