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.

[1]  Philippa Gardner,et al.  Behavioural equivalences for dynamic Web data , 2008, J. Log. Algebraic Methods Program..

[2]  Philippa Gardner,et al.  Modelling Dynamic Web Data , 2003, DBPL.

[3]  Steven J. DeRose,et al.  XML Path Language (XPath) Version 1.0 , 1999 .

[4]  Luca Cardelli,et al.  A Query Language Based on the Ambient Logic , 2001, SEBD.

[5]  Mario Tokoro,et al.  An Object Calculus for Asynchronous Communication , 1991, ECOOP.

[6]  Martin Friedrich Berger.  Towards abstractions for distributed systems , 2003 .

[7]  Arnaud Sahuguet,et al.  Resource Sharing Through Query Process Migration , 2001 .

[8]  Massimo Merro.  On Equators in Asynchronous Name-passing Calculi without Matching , 1999, EXPRESS.

[9]  Bent Thomsen.  A Theory of Higher Order Communicating Systems , 1995, Inf. Comput..

[10]  Nobuko Yoshida,et al.  On Reduction-Based Process Semantics , 1995, Theor. Comput. Sci..

[11]  Philippa Gardner,et al.  Context logic and tree update , 2005, POPL '05.

[12]  Ioana Manolescu,et al.  Active XML: Peer-to-Peer Data and Web Services Integration , 2002, VLDB.

[13]  Dan Suciu,et al.  Data on the Web: From Relations to Semistructured Data and XML , 1999 .

[14]  Johann Blieberger,et al.  Reliable Software Technologies — Ada-Europe 2002 , 2002, Lecture Notes in Computer Science.

[15]  Davide Sangiorgi,et al.  Techniques of \ weak bisimulation up to " , 1992 .

[16]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[17]  Arnaud Sahuguet,et al.  Distributed Query Optimization : Can Mobile Agents Help ? , 2000 .

[18]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[19]  Ioana Manolescu,et al.  Dynamic XML documents with distribution and replication , 2003, SIGMOD '03.

[20]  Sylvain Conchon,et al.  Jocaml: mobile agents for Objective-Caml , 1999, Proceedings. First and Third International Symposium on Agent Systems Applications, and Mobile Agents.

[21]  Ioana Manolescu,et al.  Active XML: A Data-Centric Perspective on Web Services , 2004, Web Dynamics.

[22]  Davide Sangiorgi,et al.  The Pi-Calculus - a theory of mobile processes , 2001 .

[23]  Cédric Fournet,et al.  The Join Calculus: A Language for Distributed Mobile Programming , 2000, APPSEM.

[24]  Arnaud Sahuguet,et al.  Ubql: a distributed query language to program distributed query systems , 2002 .

[25]  Davide Sangiorgi,et al.  Expressing mobility in process algebras : first-order and higher-order paradigms , 1993 .

[26]  Peter Sewell,et al.  Iota: A concurrent XML scripting language with applications to Home Area Networking , 2003 .

[27]  Julian Rathke,et al.  Contextual equivalence for higher-order pi-calculus revisited , 2005, Log. Methods Comput. Sci..

[28]  Nobuko Yoshida,et al.  Linearity and Bisimulation , 2002, FoSSaCS.

[29]  Benjamin C. Pierce,et al.  Pict: a programming language based on the Pi-Calculus , 2000, Proof, Language, and Interaction.

[30]  Alfons Kemper,et al.  ObjectGlobe: Ubiquitous query processing on the Internet , 2001, The VLDB Journal.

[31]  Cosimo Laneve,et al.  Linear forwarders , 2007, Inf. Comput..

[32]  Matthew Hennessy,et al.  A theory of weak bisimulation for core CML , 1996, ICFP '96.

[33]  Nicolás Marín,et al.  Review of Data on the Web: from relational to semistructured data and XML by Serge Abiteboul, Peter Buneman, and Dan Suciu. Morgan Kaufmann 1999. , 2003, SGMD.

[34]  James Riely,et al.  Resource Access Control in Systems of Mobile Agents , 2002, HLCL.

[35]  Alfons Kemper,et al.  Hyperqueries: Dynamic Distributed Query Processing on the Internet , 2001, VLDB.

[36]  Sergio Maffeis,et al.  On the Expressive Power of Polyadic Synchronisation in pi-calculus , 2002, EXPRESS.

[37]  Robin Milner,et al.  The Problem of "Weak Bisimulation up to" , 1992, CONCUR.

[38]  Sabrina De Capitani di Vimercati,et al.  A fine-grained access control system for XML documents , 2002, TSEC.

[39]  Vladimiro Sassone,et al.  A Calculus of Mobile Resources , 2002, CONCUR.

[40]  Andrew D. Gordon,et al.  Validating a web service security abstraction by typing , 2002, XMLSEC '02.