Modelling and model checking suspendible business processes via statechart diagrams and CSP.
Wing Lok YeungKarl R. P. H. LeungJi WangWei DongPublished in: Sci. Comput. Program. (2007)
Keyphrases
- model checking
- business processes
- business process
- temporal logic
- constraint satisfaction problems
- model checker
- automated verification
- formal verification
- formal specification
- web services
- process model
- temporal properties
- workflow management systems
- computation tree logic
- epistemic logic
- verification method
- business process models
- bounded model checking
- transition systems
- symbolic model checking
- business environment
- business process management
- business objectives
- test cases
- service oriented architecture
- workflow systems
- formal methods
- business process modeling
- business partners
- alternating time temporal logic
- binary decision diagrams
- modal logic
- np complete