Testing Conformance of BPEL Business Process Based on Model Checking.
Rongsheng DongZhao WeiXiangyu LuoFang LiuPublished in: J. Softw. (2010)
Keyphrases
- business process
- model checking
- business processes
- formal verification
- temporal logic
- process execution
- model checker
- business process modeling
- web services
- automated verification
- formal methods
- formal specification
- symbolic model checking
- ws bpel
- process model
- temporal properties
- business process management
- computation tree logic
- case study
- business rules
- verification method
- transition systems
- bounded model checking
- epistemic logic
- process algebra
- business process models
- service oriented architecture
- software testing
- service oriented
- test cases
- semantic web services
- alternating time temporal logic