Le projet VeriMoB était un projet de recherche financé par la DGA (direction Générale de l'Armement) qui avait pour objectif de développer un outil permettant de vérifier les modèles BPMN. L'outil PragmaDev Process est le résultat de ces travaux qui ont été menés en collaboration avec des partenaires d'horizon variés tels que la DGA (Armée Française), Eurocontrol (Contrôle de Trafic Aérien Européen), Airbus Defence and Space. L'ENSTA Bretagne et MEGA International sont aussi des partenaires technologiques dans ce projet.

Fondé en 1991, MEGA est un éditeur français d’envergure mondiale reconnu leader international sur le marché depuis 11 ans. La plateforme HOPEX connecte et centralise l’ensemble des informations liées aux métiers, au système d’information, aux données et aux risques dans un référentiel commun tout en s’intégrant parfaitement dans l’écosystème existant de l’entreprise.

Un des objectifs du projet VeriMoB était d'aider spécifiquement les utilisateurs de MEGA Hopex à vérifier leurs modèles avec PragmaDev Process. Pour cela une interface permettant de lancer PragmaDev Process directement depuis Hopex a été développée: Téléchargement gratuit ici.
N'importe quel bloc dans Hopex peut être vérifié avec PragmaDev Process tant qu'il contient au moins un diagramme d'un de ces types:

• Business Process
• Organisational Process
• System Process
• Value Stream

Chacune des méthodes décrites ci dessous déclanche la génération d'un fichier PragmaDev Process. Le fichier peut être sauvegardé ou ouvert directement avec PragmaDev Process.

1. Dans l'interface web d'Hopex, pour vérifier un bloc seul, effectuer un clique droit sur l'objet et choisir Export to PragmaDev Process dans le menu:
   

1. Pour vérifier plusieurs blocs il faut cliquer sur le Main menu dans sur l'interface web d'Hopex, puis Export / Export to PragmaDev Process:
   

   Il est possible de filtrer le type de blocs à exporter et les sélectionner pour les exporter vers PragmaDev Process.

   

2. Pour lancer une vérification de tous les blocs il faut cliquer sur Main menu dans l'interface web d'Hopex, puis Export / Export all to PragmaDev Process.

Il est possible de naviguer vers le diagramme source du block dans Hopex depuis PragmaDev Process via le bouton: