Emmanuel Gaudin
CEO
PragmaDev
Paris, France
2 profile visits
PragmaDev specialises in the verification and optimisation of models. We implemented this on communication models and on business processes models.
My organisation
PragmaDev provides two lines of product: 1) PragmaDev Process is a simple and powerful tool that aims at helping business process modelers to define, to verify and to optimise their models. It integrates a BPMN editor, an executor, an explorer, and a BPSim simulator. 2) PragmaDev Studio is a tool to specify and design communicating systems. It integrates four different tools based on international standard technologies such as SDL, SDL-RT, MSC, PSC, ASN.1, TTCN-3, UML, and SysML.
About me
I am originally a software developer specialised in telecommunications. I have been working on models for the last 30 years. I started PragmaDev 20 years ago to implement some of my expertise in practical and affordable tools.
Skills
- modeling
- Business Process
- BPMN
- SDL
- MBSE
- BPSim
Interests
- use cases
- Communicating systems
- process optimisation