A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking.
Jinyu KaiHuaikou MiaoKun ZhaoJiaan ZhouHonghao GaoPublished in: Int. J. Softw. Innov. (2015)
Keyphrases
- service oriented
- model checking
- temporal logic
- finite state machines
- symbolic model checking
- formal verification
- model driven
- finite state
- web services
- timed automata
- formal specification
- service oriented architecture
- model checker
- software as a service
- transition systems
- automated verification
- computation tree logic
- temporal properties
- pspace complete
- formal methods
- knowledge acquisition
- epistemic logic
- binary decision diagrams
- probabilistic reasoning
- reachability analysis
- service composition