Modelling Dynamic Web Data

We introduce the Xdπ 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 Xdπ 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 Xdπ, to analyze the various possible patterns of data and process interaction. Key words: Dynamic web data, process orchestration, π-calculus, XML, web services, semi-structured data

• Type: Conference
• Year: 2003
• Where: DBPL
• Authors: Philippa Gardner, Sergio Maffeis
• Keywords: DBPL 2003, Dynamic Web Data, Web Data, Xdπ Calculus