|
Freemium model
PragmaDev Process and PragmaDev Studio can be freely downloaded here. You can either:- Use the Freemium version that comes with all the features but which is:
- Restricted in model size for PragmaDev Studio: 50Kb per file and 200Kb per project (this includes all diagrams except the MSC, declaration files such as SDL-PR and ASN.1 files, and TTCN-3 source files).
- Restricted in execution steps for PragmaDev Process but no restriction on the model size.
- Rent a license for a monthly fee that includes maintenance (support and upgrades). Minimum is 3 months.
- Buy a permanent license so that you own it for an unlimited amount of time. In this case upgrades and support are part of an optional annual maintenance fee. Please contact us for more information: .
License management
For the paid version there are two possible license management:- Floating license on a local network: PragmaDev modules can be shared over your local network. One license is one user at a time, and the same license can be used over Windows, Linux, and macOS.
- On line license management: from the member account on our web site it is possible to buy or rent licenses with a credit card. When started the tool connects to our web site to check the license.
Please find below the prices and detailed features for each module.
Tool Feature |
PragmaDev Process |
PragmaDev Specifier |
PragmaDev Developer |
PragmaDev Tester |
PragmaDev Studio |
PragmaDev Tracer |
| BPMN Editor | X | - | - | - | - | - |
| BPMN Executor | X | - | - | - | - | - |
| BPMN Explorer | X | - | - | - | - | - |
| BPMN Simulator | X | - | - | - | - | - |
| MSC - PSC | X | X | X | X | X | X |
| HMSC - Use Case | - | X | X | X | X | - |
| Prototyping GUI | - | X | X | X | X | - |
| Documentation generator | - | X | X | X | X | - |
| Model Diff / Merge | - | X | X | X | X | - |
| ASN.1 | - | X | X | X | X | - |
| Traceability | - | X | X | X | X | - |
| SDL model editors | - | X | - | - | X | - |
| SDL model simulator | - | X | - | - | X | - |
| SDL-RT model editors | - | - | X | - | X | - |
| SDL-RT to C code generation | - | - | X | - | X | - |
| MSC to TTCN-3 code generation | - | - | - | X | X | - |
| TTCN-3 advanced editor | - | - | - | X | X | - |
| TTCN to MSC generation | - | - | - | X | X | - |
| TTCN-3 simulator | - | - | - | X | X | - |
| TTCN-3 to C++ code generator | - | - | - | X | X | - |
| SDL deployment simulator | - | - | - | - | X | - |
| SDL performance analyzer | - | - | - | - | X | - |
| SDL to PR export | - | - | - | - | X | - |
| SDL explorer (model checking) | - | - | - | - | X | - |
| SDL to C/C++ code generator | - | - | - | - | X | - |
| Freemium license (€) | 0 | 0 | 0 | 0 | 0 | 0 |
| Monthly subscription / license (€) | 90 | 170 | 170 | 170 | 290 | 0 |