Audition of web services for testing conformance to open specified protocols

  • Authors:

  • Antonia Bertolino;Lars Frantzen;Andrea Polini;Jan Tretmans

  • Affiliations:

  • Istituto di Scienza e Tecnologie della Informazione “Alessandro Faedo”, Consiglio Nazionale delle Ricerche, Pisa, Italy;Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands;Istituto di Scienza e Tecnologie della Informazione “Alessandro Faedo”, Consiglio Nazionale delle Ricerche, Pisa, Italy;Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands

  • Venue:
  • Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

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.