Formal verification of mediatedweb service interactions considering client's expected behaviours.
ZhangBing ZhouSami BhiriLei ShuManfred HauswirthPublished in: CollaborateCom (2009)
Keyphrases
- formal verification
- model checking
- model checker
- client server architecture
- automated verification
- symbolic model checking
- service providers
- bounded model checking
- client server
- program slicing
- service oriented
- service systems
- end users
- web service composition
- service discovery
- service quality
- service composition
- temporal logic
- streaming services
- information services
- web services
- messages exchanged