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.
![[thumbnail of shrv-sac09-soap.pdf]](https://constellation.uqac.ca/style/images/fileicons/application_pdf.png) 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 |
Éditer le document (administrateurs uniquement)
Altmetric
Altmetric