LiveZilla Live Chat Software

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

Runtime monitoring of message-based workflows with data

Hallé Sylvain et Villemaire Roger. (2008). Runtime monitoring of message-based workflows with data. Dans : 12th International IEEE Enterprise Distributed Object Computing Conference , 15-19 Sept. 2008, Munich, Germany.

[img]
Prévisualisation
PDF
247kB

URL officielle: http://dx.doi.org/10.1109/EDOC.2008.32

Résumé

We present an algorithm for the runtime monitoring of business process properties with data parameterization. The properties are expressed in LTL-FO+, an extension to traditional Linear Temporal Logic that includes full first-order quantification over the data inside a trace of XML messages. The algorithm works “on-the-fly”: it keeps in memory only the states that are necessary at each step. Initial results indicate that LTL-FO+ is an appropriate language for expressing data dependencies on message traces and that its processing overhead on sample traces is acceptable.

Type de document:Matériel de conférence (Non spécifié)
Date:2008
Identifiant unique:10.1109/EDOC.2008.32
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:runtime monitoring, temporal logic, web services, LTL-FO+
Déposé le:09 avr. 2013 22:12
Dernière modification:09 avr. 2013 22:12
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