Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking.
Chengyang MiHuaikou MiaoJinyu KaiHonghao GaoPublished in: SERA (2016)
Keyphrases
- model checking
- web services composition
- process algebra
- highly reliable
- formal methods
- temporal logic
- service composition
- web services
- automated verification
- model checker
- composition of web services
- web service composition
- verification method
- formal verification
- temporal properties
- formal specification
- bounded model checking
- partial order reduction
- service selection
- reactive systems
- symbolic model checking
- concurrent systems
- computation tree logic
- epistemic logic
- timed automata
- quality of service
- asynchronous circuits
- modeling language
- modal logic
- service oriented
- petri net
- service discovery
- composite web services
- lightweight