Modelling Dynamic Web Data

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 semi-structured data, and an extension of the π-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π, motivated by examples.

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

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

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

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

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

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

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

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

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

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

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

[12]  James Riely,et al.  Resource Access Control in Systems of Mobile Agents , 2002, Inf. Comput..

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

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

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

[16]  Matthew Hennessy,et al.  A theory of weak bisimulation for Core CML , 1998 .

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

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

[19]  Andrew D. Gordon,et al.  Validating a Web service security abstraction by typing , 2002, XML Security.

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

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

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

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

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

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

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

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

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

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