PragmaDev fornece duas linhas de produtos: PragmaDev Process é uma ferramenta simples e poderosa que visa ajudar modeladores de processos de negócios a verificar seus modelos. Ele integra um editor, executor e explorador BPMN. PragmaDev Studio é uma ferramenta para especificar e projetar sistemas de comunicação. Ele integra quatro ferramentas diferentes baseadas em tecnologias padrão internacionais.