PrePrint: Model-based Runtime Verification of Web Service Interface Contracts

Web applications are required to follow an interface contract that specifies their expected behaviour when they communicate with a web service. Using the Amazon E-­Commerce Service as an example, we show how we can automatically test an implementation for conformance as well as monitor at runtime that each partner fulfills its part of the contract.

---

Web service – Amazon.com – Programming – Service-Oriented Architecture – Business

Technorati Tags: ads, Amazon, Commerce Service, Conformance, Implementation, Interface Web, Nbsp, Nec, Partner, Programming Service, Service Contracts, Service Interface, Service Oriented Architecture, Verification Service, Web Applications, Web Contracts, Web Interface, Web Programming, Web Service, Xad