Cover Image
QR Code

Runtime Verification of Web Service Interface Contracts.

The article focuses on an experiment that showed the advantages of using a model-based approach to do a runtime test and monitor Web applications. It states that Amazon E-Commerce Service (AWS ECS) defined web service by using the Web Service Description Language (WSDL) and the Simple Object Access...

Full description

Published in:Computer (00189162) Vol. 43; no. 3; pp. 59 - 67
Main Authors: Hallé, Sylvain, Bultan, Tevfik, Hughes, Graham, Alkhalaf, Muath, Villemaire, Roger
Format: Article
Published: IEEE Mar2010
Subjects:
Application software
Web services
Programming languages
Simple Object Access Protocol (Computer network protocol)
Computer software
Online Access:View this record in EBSCOhost