Sciweavers

Share
DAGSTUHL
2004

Audition of Web Services for Testing Conformance to Open Specified Protocols

10 years 11 months ago
Audition of Web Services for Testing Conformance to Open Specified Protocols
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...
Antonia Bertolino, Lars Frantzen, Andrea Polini, J
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2004
Where DAGSTUHL
Authors Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans
Comments (0)
books