Assessing business process models : a literature review on techniques for BPMN testing and formal verification
Year of publication: |
2023
|
---|---|
Authors: | Lopes, Tomás ; Guerreiro, Sérgio Luís Proença Duarte |
Subject: | BPMN | Business process | Business process testing | Formal verification | Model-based testing | Test automation | Prozessmanagement | Business process management | Modellierung | Scientific modelling | Statistischer Test | Statistical test |
-
A model-driven engineering approach to formally verify BPMN models using Petri nets
Lyazidi, Achraf, (2017)
-
Formal semantics and transformation of BPMN models
Maarouk, Toufik Messaoud, (2019)
-
Business process modeling : software engineering, analysis and applications
Beckmann, Jason A., (2011)
- More ...
-
A survey on association rule mining for enterprise architecture model discovery
Pinheiro, Carlos, (2024)
-
Guerreiro, Sérgio Luís Proença Duarte, (2021)
-
A survey on business process view integration : past, present and future applications to blockchain
Belchior, Rafael, (2022)
- More ...