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 |
Published in: |
Business process management journal. - Bingley : Emerald, ISSN 1758-4116, ZDB-ID 2014421-0. - Vol. 29.2023, 8, p. 133-162
|
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)
-
Rebiai, Samiha, (2022)
-
Formal semantics and transformation of BPMN models
Maarouk, Toufik Messaoud, (2019)
- More ...
-
Guerreiro, Sérgio Luís Proença Duarte, (2021)
-
Guerreiro, Sérgio Luís Proença Duarte, (2022)
-
A survey on business process view integration : past, present and future applications to blockchain
Belchior, Rafael, (2022)
- More ...