A typed calculus for querying distributed XML documents

Authors:
Lucia Acciai;Michele Boreale;Silvano Dal Zilio
Affiliations:
Laboratoire d'Informatique Fondamentale de Marseille, CNRS and Université de Provence, France;Dipartimento di Sistemi e Informatica, Università di Firenze, Italy;Laboratoire d'Informatique Fondamentale de Marseille, CNRS and Université de Provence, France
Venue:
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Year:
2006

Citing 12
Cited 0

Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Regular expression pattern matching for XML

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Asynchronous Model of Locality, Failurem and Process Mobility

COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
XDuce: A statically typed XML processing language

ACM Transactions on Internet Technology (TOIT)
A theory of weak bisimulation for Core CML

Journal of Functional Programming
Regular expression types for XML

ACM Transactions on Programming Languages and Systems (TOPLAS)
Modelling dynamic web data

Theoretical Computer Science - Applied semantics: Selected topics
MapReduce: simplified data processing on large clusters

OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
Active XML: peer-to-peer data and web services integration

VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Patterns and types for querying XML documents

DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
XPi: a typed process calculus for XML messaging

FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
PiDuce: a process calculus with native XML datatypes

EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 π-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.