For modeling and verifying business processes.


4 independent and integrated modules to specify and design communicating systems:

Free download here.

In a few words

PragmaDev provides two lines of product:

PragmaDev Process is a simple and powerful tool that aims at helping business process modelers to verify their models. It integrates a BPMN editor, executor and explorer.

PragmaDev Studio is a tool to specify and design communicating systems. It integrates four different tools based on international standard technologies. PragmaDev Specifier helps system engineers to unambiguously specify and verify the functionalities of the system, and define the best architecture for performance or energy efficiency. PragmaDev Developer helps software designers to write maintainable and self documented code. PragmaDev Tester helps testers to write validation and integration tests with an abstract dedicated language. PragmaDev Tracer is a stand alone tracing tool that is also integrated in the other modules.

PragmaDev has established partnership with key players in the real time domain. Customers include Airbus, Renault, Nokia, ST, ABB, the French Army, the European Space Agency, Toshiba, Korean Telecom, or LG Electronics.

Read more...

News and events RSS

Jun 3, 2020 - Watch our new training session Introduction to BPMN.


May 14, 2020 - PragmaDev and MEGA International sign a partnership agreement.


May 8, 2020 - System Analysis and Modelling (SAM 2020) - Call for paper under the theme Languages, Methods, and Tools for AI-based systems.


Apr 15, 2020 - PragmaDev Process V1.1 identifies unreachable paths in business processes.


Feb 19, 2020 - PragmaDev to propose on line licensing.


Jun 23 - 26, 2020 - 2020 Global Industrie trade fair has been cancelled. PragmaDev was supposed to exhibit as a member of the Solution Providers for the Industry 4.0.


Feb 27, 2020 - PragmaDev will take part in the Techinnov B2B meetings.


Jan 30, 2020 - PragmaDev will present Automatic Verification of BPMN Models paper at the 2020 ERTS2 conference.