PragmaDev fournit deux lignes de produits: 1) PragmaDev Process permet de vérifier et d'optimiser un processus métier. Il intègre un éditeur BPMN, un exécuteur, et un explorateur. 2) PragmaDev Studio permet de spécifier et de concevoir des systèmes communicants.