Formal Verification of Web Service Interaction Contracts.
German ShegalovGerhard WeikumPublished in: IEEE SCC (2) (2008)
Keyphrases
- formal verification
- web services
- model checking
- automated verification
- bounded model checking
- model checker
- human computer interaction
- supply chain
- symbolic model checking
- program slicing
- user interaction
- temporal logic
- semantic web services
- functional verification
- web service selection
- web service composition
- service providers
- open source
- knowledge representation