Runtime Verification of Web Service Interface Contracts.
Sylvain HalléTevfik BultanGraham HughesMuath AlkhalafRoger VillemairePublished in: Computer (2010)
Keyphrases
- web services
- model checking
- user interface
- service providers
- supply chain
- business process
- formal verification
- web applications
- user friendly
- neural network
- description language
- face verification
- loosely coupled
- reference architecture
- web services discovery
- novice users
- graphical interface
- interface design
- service composition