An Automated Translator for Model Checking Time Constrained Workflow Systems.
Ahmed Shah MashiyatFazle RabbiHao WangWendy MacCaullPublished in: FMICS (2010)
Keyphrases
- model checking
- workflow systems
- temporal logic
- business processes
- temporal constraints
- workflow management
- formal specification
- temporal properties
- verification method
- automated verification
- model checker
- formal verification
- bounded model checking
- widely recognized
- access control
- computation tree logic
- symbolic model checking
- timed automata
- mobile agents
- active databases
- formal methods
- workflow management systems
- transition systems
- business process
- epistemic logic
- process model
- temporal reasoning
- data management
- modal logic