Audition of Web services for testing conformance to open specified protocols (Articolo in rivista)

Type
Label
  • Audition of Web services for testing conformance to open specified protocols (Articolo in rivista) (literal)
Anno
  • 2006-01-01T00:00:00+01:00 (literal)
Alternative label
  • Bertolino A.; Frantzen L.; Polini A.; Tretmans J. (2006)
    Audition of Web services for testing conformance to open specified protocols
    in Lecture notes in computer science
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Bertolino A.; Frantzen L.; Polini A.; Tretmans J. (literal)
Pagina inizio
  • 1 (literal)
Pagina fine
  • 25 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: Architecting Systems with Trustworthy Components. International Seminar (Dagstuhl Castle, Germany, December 12-17, 2004). Revised Selected Papers. pp. 1-25. R.H. Reussner, J.A. Stafford, C.A. Szyperski (eds.). (Lecture notes in computer science, vol. 3938). Springer-Verlag, 2006. (literal)
Note
  • ISI Web of Science (WOS) (literal)
Titolo
  • Audition of Web services for testing conformance to open specified protocols (literal)
Abstract
  • A Web Service (WS) is a type of component specifically conceived for distributed machine-to-machine interaction. Interoperability between WSs involves both data and messages exchanged and protocols of usage, and is pursued via the establishment of standard specifications to which service providers must conform. In previous work we have envisaged a framework for WS testing. Within this framework, this paper focuses on how the intended protocol of access for a standard service could be specified, and especially on how the conformance of a service instance to this specified protocol can then be tested. We propose to augment the WSDL description with a UML2.0 Protocol State Machine (PSM) diagram. The PSM is intended to express how, and under which conditions, the service provided by a component through its ports and interfaces can be accessed by a client. We then propose to translate the PSM to a Symbolic Transition System, to which existing formal testing theory and tools can be readily applied for conformance evaluation. A simple example illustrates the approach and highlights the peculiar challenges raised by WS conformance testing. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it