Upper-Bounded Model Checking for Declarative Process Models.
Nicolai SchützenmeierMartin KäppelSebastian PetterStefan JablonskiPublished in: PoEM (2021)
Keyphrases
- process model
- bounded model checking
- model checking
- formal verification
- process mining
- temporal logic
- linear temporal logic
- business process
- business processes
- event logs
- knowledge representation
- domain independent
- petri net
- design patterns
- code generator
- high level
- reference models
- data mining
- rough sets
- multi agent systems
- decision making