Rapport 29-2006
Lucia Acciai, Michele Boreale and Silvano Dal Zilio
A Typed Calculus for Querying Distributed XML Documents
We study the problems related to querying large, distributed XML documents. Our proposal takes the form of a new process calculus in which XML data are processes that can be queried by means of concurrent pattern-matching expressions. What we achieve is a functional, strongly-typed programming model based on three main ingredients: an asynchronous process calculus that draws features from pi-calculus and concurrent-ML; a model where both documents and expressions are represented as processes, and where evaluation is represented as a parallel composition of the two; a static type system based on regular expression types.
Process calculi, XML, types.
Ce rapport s'intéresse aux problèmes liés à la manipulation et à l'interrogation de documents XML de très grande taille, distribués sur un réseau. Nous proposons un nouveau calcul de processus dans lequel les données sont des processus qui peuvent être interrogés par le biais d'expressions de filtrage concurrentes. Un des résultats de ce travail est un modèle de programmation fonctionnel, fortement typé, basé sur trois ingrédients principaux : un calcul de processus asynchrone qui emprunte certaines de ses caractéristiques au pi-calcul et au langage Concurrent-ML ; un modèle dans lequel documents et requêtes sont représentés par des processus et où l'évaluation d'une requête est représentée par la composition parallèle de ces deux processus ; un système de typage statique basé sur les expressions régulières de types.
Calcul de processus, XML, types.
@TECHREPORT{29-2006,
AUTHOR = {Lucia Acciai, Michele Boreale and Silvano Dal Zilio},
TITLE = {{A Typed Calculus for Querying Distributed XML Documents}},
INSTITUTION = {{LIF}},
ADDRESS = {Marseille, France},
TYPE = {Research report},
NUMBER = {29-2006},
MONTH = {January},
YEAR = {2006},
NOTE = {http://pageperso.lif.univ-mrs.fr/~edouard.thiel/RESP/Rapports/29-2006.html},
}