Home > Downloads
<< Previous - Next >>

PragmaDev Process V3.4

Download :

PragmaDev Process aims at verifying and optimizing business process models described with BPMN (Business Process Model Notation). The new version of the tool introduces a peformance analyzer to explore a business process with a set of scenarios against a set of resources. Check the exhaustive list of new features here. A presentation of the main features can be found here.

PragmaDev Process is 64 bit on all platforms.

Please note FLEXlm is no longer supported since version 2.1. Use PLM or the on line license management instead.

The editor is free of charge without any restrictions and the executor offers free execution of small models.

MEGA Hopex integration

As part of the VeriMoB project we have developed with MEGA International an integration module so that MEGA Hopex users can easily verify their models with PragmaDev Process. A dedicated menu in Hopex allows to transfer models directly to Process, and in Process a dedicated button allows to jump back to the source diagram in Hopex. The integration is demonstrated in this short video. Installation instructions are detailed in the enclosed pdf.

Previous Process versions

Previous version of our tool can be downloaded here.

PragmaDev Process Manuals

The following manuals which are in PragmaDev Process distribution are also available below:

PragmaDev Studio V6.1

Download (June 9th 2026 build):

PragmaDev Studio V6.1 introduces:
  • Reducing the range of possible values for complex parameters carried by incoming messages.
  • Limiting the number of incoming messages considered for each message type.
  • Automatically identifying internal variables that can be excluded from the global model state without affecting verification results.

Please note FLEXlm is no longer supported since that version. Use PLM or the on line license management instead.

Check the exhaustive list of new features here.

Free ETSI SIP executable

ETSI conformance test suite for SIP are available for free as a win32, linux 32 or linux 64 executable and no license is required to execute them. The TTCN-3 source files are also available to download, it requires a PragmaDev Tester license to be edited or compiled. Please note these source files are slightly different from the original ETSI source files since some minor errors in the original ones had to be corrected.

Previous Studio versions

Previous version of our tool can be downloaded here.

PragmaDev Studio Manuals

The following manuals which are in PragmaDev Studio distribution are also available below: