LiveZilla Live Chat Software

Constellation, le dépôt institutionnel de l'Université du Québec à Chicoutimi

Generating interface grammars from WSDL for automated verification of web services

Hallé Sylvain, Hughes Graham, Bultan Tevfik et Alkhalaf Muath. (2009). Generating interface grammars from WSDL for automated verification of web services. Lecture Notes in Computer Science, 5900, p. 516-530.

[img]
Prévisualisation
PDF
196kB

URL officielle: http://dx.doi.org/10.1007/978-3-642-10383-4_38

Résumé

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.

Type de document:Article publié dans une revue avec comité d'évaluation
ISSN:0302-9743
Volume:5900
Pages:p. 516-530
Version évaluée par les pairs:Oui
Date:2009
Identifiant unique:10.1007/978-3-642-10383-4_38
Sujets:Sciences naturelles et génie > Sciences mathématiques > Informatique
Département, module, service et unité de recherche:Départements et modules > Département d'informatique et de mathématique
Mots-clés:interface grammar, runtime verification, web services
Déposé le:11 avr. 2013 00:32
Dernière modification:11 avr. 2013 00:32
Afficher les statistiques de telechargements

Éditer le document (administrateurs uniquement)

Creative Commons LicenseSauf indication contraire, les documents archivés dans Constellation sont rendus disponibles selon les termes de la licence Creative Commons "Paternité, pas d'utilisation commerciale, pas de modification" 2.5 Canada.

Bibliothèque Paul-Émile-Boulet, UQAC
555, boulevard de l'Université
Chicoutimi (Québec)  CANADA G7H 2B1
418 545-5011, poste 5630