A Framework for Model Checking Web Service Compositions Based on BPEL4WS.
Guilan DaiXiaoying BaiChongchong ZhaoPublished in: ICEBE (2007)
Keyphrases
- model checking
- temporal logic
- formal verification
- abstract interpretation
- artifact centric
- formal specification
- model checker
- epistemic logic
- temporal properties
- concurrent systems
- reachability analysis
- ordered binary decision diagrams
- web services
- verification method
- symbolic model checking
- computation tree logic