Generating Interface Grammars from WSDL for Automated Verification of Web Services

  • Authors:

  • Sylvain Hallé;Graham Hughes;Tevfik Bultan;Muath Alkhalaf

  • Affiliations:

  • University of California, Santa Barbara, USA 93106-5110;University of California, Santa Barbara, USA 93106-5110;University of California, Santa Barbara, USA 93106-5110;University of California, Santa Barbara, USA 93106-5110

  • Venue:
  • ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

Interface grammars are a formalism for expressing constraints on sequences of messages exchanged between two components. In this paper, we extend interface grammars with an automated translation of XML Schema definitions present in WSDL documents into interface grammar rules. Given an interface grammar, we can then automatically generate either 1 a parser, to check that a sequence of messages generated by a web service client is correct with respect to the interface specification, or 2) a sentence generator producing compliant message sequences, to check that the web service responds to them according to the interface specification. By doing so, we can validate and generate both messages and sequences of messages in a uniform manner; moreover, we can express constraints where message structure and control flow cannot be handled separately.