Home > Support > Downloads


Previous Process versions

  • PragmaDev Process V1.2.1: PragmaDev Process aims at verifying business process models described with BPMN (Business Process Model Notation). The new built-in property associated to its powerful exploration engine can automatically identify deadlocks in business processes. Among the new features:
    • Collaborative editing,
    • Boundary events,
    • Signal traces,
    • OBP graphical interface,
    • Deadlock analysis.
    The editor is free of charge without any restrictions and the executor offers free execution of small models. Please note the PragmaDev On Line License Management system is not activate yet on our web site. Check the exhaustive list of new features here (restricted access).

  • Process V1.1
    • Coverage viewer,
    • Unreachable paths,
    • Extended property definition,
    • All features.

  • Process V1.0.1


    FLEXlm V11.5

    This is to be used if the FLEXlm version coming within RTDS (V8.0) is not supported by your license server.

    • For recent Linux server with the new glibc (V2.4 or more) :

Previous Studio versions