Conflict detection in composite web services based on model checking.
Yeon-Seok KimDong-Hoon ShinHyun-Bae JeonKyong-Ho LeeKee-Seong ChoWonjoo ParkPublished in: Int. J. Web Grid Serv. (2013)
Keyphrases
- model checking
- conflict detection
- composite web services
- temporal logic
- web services composition
- service composition
- formal verification
- model checker
- web services
- automated verification
- formal specification
- service selection
- symbolic model checking
- quality of service
- timed automata
- computation tree logic
- verification method
- temporal properties
- bounded model checking
- formal methods
- web service composition
- epistemic logic
- transition systems
- control flow
- reactive systems
- concurrent systems
- planning domains
- data mining