Modelling dynamic web data

We introduce the X d π calculus, a peer-to-peer model for reasoning about dynamic web data. Web data is not just stored statically. Rather it is referenced indirectly, for example using hyperlinks, service calls, or scripts for dynamically accessing data, which require the complex coordination of da...

Full description

Saved in:
Bibliographic Details
Published in:Theoretical computer science 2005-09, Vol.342 (1), p.104-131
Main Authors: Gardner, Philippa, Maffeis, Sergio
Format: Article
Language:English
Subjects:
[formula omitted]-calculus
Algorithmics. Computability. Computer arithmetics
Applied sciences
Computer science
control theory
systems
Computer systems and distributed systems. User interface
Dynamic web data
Exact sciences and technology
Process orchestration
Programming languages
Semi-structured data
Software
Theoretical computing
Web services
XML
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We introduce the X d π calculus, a peer-to-peer model for reasoning about dynamic web data. Web data is not just stored statically. Rather it is referenced indirectly, for example using hyperlinks, service calls, or scripts for dynamically accessing data, which require the complex coordination of data and processes between sites. The X d π calculus models this coordination by integrating the XML data structure with process orchestration techniques associated with the distributed pi-calculus. We study behavioural equivalences for X d π , to analyze the various possible patterns of data and process interaction.
ISSN:0304-3975
1879-2294
DOI:10.1016/j.tcs.2005.06.006