Hallé Sylvain et Villemaire Roger. (2008). Satisfying a fragment of XQuery by branching-time reduction. Dans : 15th International Symposium on Temporal Representation and Reasoning , 16-18 June 2008 , Montreal, Canada.
Prévisualisation |
PDF
164kB |
URL officielle: http://dx.doi.org/10.1109/TIME.2008.20
Résumé
Configuration Logic (CL) is a fragment of XQuery that allows first-order quantification over node labels. In this paper, we study CL satisfiability and seek a deterministic decision procedure to build models of satisfiable CL formulæ. To this end, we show how to revert CL satisfiability into an equivalent CTL satisfiability problem in order to leverage existing model construction algorithms for CTL formulæ.
Type de document: | Matériel de conférence (Non spécifié) |
---|---|
Date: | 2008 |
Identifiant unique: | 10.1109/TIME.2008.20 |
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: | Trace validation, runtime monitoring, temporal logic, XML, streaming, web services |
Déposé le: | 26 avr. 2013 00:48 |
---|---|
Dernière modification: | 26 avr. 2013 00:48 |
Éditer le document (administrateurs uniquement)