A Bounded Model Checking Approach for the Verification of Web Services Composition.
Ehtesham ZahoorKashif MunirOlivier PerrinClaude GodartPublished in: Int. J. Web Serv. Res. (2013)
Keyphrases
- bounded model checking
- web services composition
- model checking
- formal verification
- web service composition
- composition of web services
- process algebra
- service composition
- temporal logic
- web services
- highly reliable
- linear temporal logic
- model checker
- quality of service
- petri net
- composite web services
- service selection
- concurrent systems
- epistemic logic
- formal specification
- multi agent systems
- formal methods