Modelling dynamic web data
File(s)DTR03-14.pdf (397.1 KB)
Published version
Author(s)
Gardner, Philippa
Maffeis, Sergio
Type
Report
Abstract
We introduce Xd¼, a peer-to-peer model for reasoning about the dynamic
behaviour of web data. It is based on an idealised model of semistructured
data, and an extension of the ¼-calculus with process mobility
and with operations 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¼, motivated by examples.
behaviour of web data. It is based on an idealised model of semistructured
data, and an extension of the ¼-calculus with process mobility
and with operations 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¼, motivated by examples.
Date Issued
2003-10
Citation
Departmental Technical Report: 03/14, 2003, pp.1-36
Publisher
Department of Computing, Imperial College London
Start Page
1
End Page
36
Journal / Book Title
Departmental Technical Report: 03/14
Copyright Statement
© 2003 The Author(s). This report is available open access under a CC-BY-NC-ND (https://creativecommons.org/licenses/by-nc-nd/4.0/)
Publication Status
Published
Article Number
03/14