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...
| Publicado en: | Computer (00189162) Vol. 43; no. 3; pp. 59 - 67 |
|---|---|
| Autores principales: | , , , , |
| Formato: | Artículo |
| Publicado: |
IEEE
Mar2010
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=48771395&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 48771395 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00189162 PUT jtl: Computer (00189162) issn: 00189162 maglogo: N pubinfo: dt: Mar2010 vid: 43 iid: 3 pid: 13605 pub: IEEE artinfo: ui: 48771395 10.1109/MC.2010.76 ppf: 59 ppct: 8 formats: tig: atl: Runtime Verification of Web Service Interface Contracts. aug: au: Hallé, Sylvain Bultan, Tevfik Hughes, Graham Alkhalaf, Muath Villemaire, Roger affil: University of California, Santa Barbara Université du Québec à Montréal su: Application software Web services Programming languages Simple Object Access Protocol (Computer network protocol) Computer software sug: subj: Application software Web services Programming languages Simple Object Access Protocol (Computer network protocol) Computer software ab: 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 Protocol (SOAP) interface. According to the article, the experiment did not tackle who should initiate the contracts but it is a practice that developers define and provide an interface contract and to documents the constraints as well. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2010 holdings: @attributes: islocal: N |
|---|