PragmaDev Process
| Developer(s) | PragmaDev |
|---|---|
| Stable release | 1.0
|
| Engine | |
| Operating system | Linux, Windows, macOS |
| Type | Business process modelling |
| License | Free and commercial |
| Website | pragmadev |
Search PragmaDev Process on Amazon.
PragmaDev Process is an editor, an executor, and an explorer of Business Process Model and Notation models ( BPMN). It is the result of a research project financed by the French Direction générale de l'armement called VeriMoB which was aiming at verifying BPMN models coming from a NATO Architecture Framework model.[1][2][3]
Features[edit]
Executor[edit]
PragmaDev Process editor can execute step by step the BPMN model with respect to the standard semantic. The executable flows of execution are shown on the editor and the user can therefore verify the behavior is the one expected. A graphical trace can be generated that can be replayed manually step by step or automatically.[1]
Explorer[edit]
PragmaDev Process can automatically explore all possible paths in the business process model. For the matter it connects to OBP (Observer Based Prover) tool from École nationale supérieure de techniques avancées Bretagne. As a result of the exploration a complexity index of the model is produced. Also a property can be verified for all the scenarios automatically executed in the process. The property can be expressed graphically as a PSC (Property Sequence Chart) or textually with GPSL (Generic Property Specification Language).[2]
PragmaDev[edit]
The creator of PragmaDev Process is the private company PragmaDev. PragmaDev was founded in 2001, and is located in Paris, France.[4]
References[edit]
- ↑ 1.0 1.1 Brumbulli, Mihal; Gaudin, Emmanuel; Berre, Frédéric (2019). Complex Systems Design & Management. Advances in Intelligent Systems and Computing. Springer, Cham. pp. 27–36. doi:10.1007/978-3-030-34843-4_3. ISBN 978-3-030-34843-4. Search this book on
- ↑ 2.0 2.1 Brumbulli, Mihal; Gaudin, Emmanuel; Teodorov, Ciprian (January 2020). "Automatic Verification of BPMN Models". 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020). Toulouse, France.
- ↑ "PragmaDev Process".
- ↑
"PragmaDev. Profile". Retrieved 2020-02-13.
PragmaDev is [a] provider of graphical software modelling tools based on SDL...
External links[edit]
This article "PragmaDev Process" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:PragmaDev Process. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
