A Holistic Approach for Soundness Verification of Decision-Aware Process Models.
Massimiliano de LeoniPaolo FelliMarco MontaliPublished in: ER (2018)
Keyphrases
- process model
- process mining
- business process
- business processes
- business process models
- decision making
- decision rules
- software process
- event logs
- decision makers
- model checking
- reference models
- petri net
- control flow
- case study
- artificial intelligence
- programming language
- association rules
- database systems
- code generator