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