Modelling Dynamic Web Data
Venue
Proceedings of 9th International Workshop on Database Programming Languages (DBPL’03), pp. 130–146
Publication Year
2003
Identifiers
Authors
- Philippa Gardner
- Sergio Maffeis
Abstract
We introduce Xd\pi, a peer-to-peer model for reasoning about the dynamic behaviour of web data. It is based on an idealised model of semi-structured data, and an extension of the pi-calculus with process mobility and with an operation for interacting with data. Our model can be used to reason about behaviour found in, for example, dynamic web page programming, applet interaction, and service orchestration. We study behavioural equivalences for Xd\pi, motivated by examples.