DIKU ITU KVL

Copenhagen Programming Language Seminar

COPLAS Talk

Bigraphs and Reactive XML - an XML-centric model of computation

Thomas Hildebrandt,
IT University of Copenhagen

Thursday, February 3, 15:15-16:00
DIKU, Universitetsparken 1, room N034

Abstract:

So-called XML-centric models of computation have been proposed as an answer to the demand for interoperability, heterogeneity and openness in globally distributed applications.

Recently, the theoretical model of Bigraphical Reactive Systems has been introduced as a meta-model for reactive systems with semi-structured state. We present an XML representation of bigraphical reactive systems called Reactive XML. It may be seen as an open, XML-centric model of computation with a solid theoretical foundation given by the theory of bigraphical reactive systems. In particular, the theory provides a formal denotation of composition and general transformations of XML documents with links. On the other hand, Reactive XML provides a concrete understanding of the theoretical model of bigraphical reactive systems.

We report on a prototype for Reactive XML, describing how Reactive XML reactions can be carried out in praxis. In particular, we describe how the abstract notion of evaluation contexts may be represented concretely (and generalised) by XPath expressions. The prototype is currently being extended to a distributed, peer-to-peer setting based on XMLstore, ultimately allowing distributed XML-centric applications to coordinate through computations on shared XML data.

The talk is based on a draft paper available at http://www.itu.dk/people/hilde/Papers/reactiveXML.pdf, which is based on an ITU MSc thesis by Jacob Winther.

Scientific host: Fritz Henglein. Administrative host: Camilla Jensen. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU and KVL.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org