LiveZilla Live Chat Software

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

Runtime monitoring of web service choreographies using streaming XML

Hallé Sylvain et Villemaire Roger. (2009). Runtime monitoring of web service choreographies using streaming XML. Dans : Proceedings of the 2009 ACM symposium on Applied Computing , March 08-12, 2009 , Honolulu, Hawaii.

[img]
Prévisualisation
PDF
152kB

URL officielle: http://dx.doi.org/10.1145/1529282.1529752

Résumé

A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be checked statically on abstractions of actual services, it is desirable that violations of these specifications be also detected at runtime. In this paper, we show that, given a suitable translation of LTL formulæ into XQuery expressions, such runtime monitoring of choreography constraints is possible by feeding the trace of messages to a streaming XQuery processor. The forward-only fragment of LTL is introduced; it represents the fragment of LTL supported by available streaming engines.

Type de document:Matériel de conférence (Non spécifié)
Date:2009
Identifiant unique:10.1145/1529282.1529752
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:streaming XML, runtime monitoring, temporal logic, LTL, XPath, XQuery, web services
Déposé le:11 avr. 2013 00:23
Dernière modification:11 avr. 2013 00:23
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