CTL Model Checking of Web Services Composition based on Open Workflow Nets Modeling.
Zohra SbaïRawand GuerfelPublished in: Int. J. Serv. Sci. Manag. Eng. Technol. (2016)
Keyphrases
- model checking
- process algebra
- temporal logic
- web services composition
- computation tree logic
- model checker
- temporal properties
- formal specification
- automated verification
- finite state
- formal verification
- bounded model checking
- transition systems
- verification method
- concurrent systems
- formal methods
- symbolic model checking
- web services
- epistemic logic
- linear temporal logic
- timed automata
- asynchronous circuits
- reactive systems
- web service composition
- quality of service
- highly reliable
- control flow
- modeling language
- real time
- alternating time temporal logic
- planning domains
- service composition