Using model checking to control the structural errors in BPMN models.
Oussama Mohammed KherboucheAdeel AhmadHenri BassonPublished in: RCIS (2013)
Keyphrases
- model checking
- temporal logic
- finite state machines
- reactive systems
- finite state
- formal verification
- temporal properties
- transition systems
- process model
- verification method
- partial order reduction
- business process models
- model checker
- symbolic model checking
- bounded model checking
- reachability analysis
- automated verification
- formal methods
- asynchronous circuits
- domain independent
- epistemic logic
- timed automata