Process Calculi and Peer-to-peer Web Data Integration

Abstract Peer-to-peer systems exchanging dynamic documents through web services are a simple and effective platform for data integration on the Web. Dynamic documents can contain both data and declarative references to external sources, in the form of links, service calls, or coordination scripts. XML standards and industrial platforms for web services provide a wide technological basis for building such systems. We argue that process algebras are a promising tool for studying and understanding their formal properties.

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

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

[3]  Martín Abadi,et al.  A calculus for cryptographic protocols: the spi calculus , 1997, CCS '97.

[4]  Cosimo Laneve,et al.  PiDuce: A Process Calculus with Native XML Datatypes , 2005, EPEW/WS-FM.

[5]  Daniele Varacca,et al.  Semantic subtyping for the /spl pi/-calculus , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).

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

[7]  Lucia Acciai,et al.  XPi: A Typed Process Calculus for XML Messaging , 2005, FMOODS.

[8]  Roberto Bruni,et al.  Orchestrating Transactions in Join Calculus , 2002, CONCUR.

[9]  Cédric Fournet,et al.  The reflexive CHAM and the join-calculus , 1996, POPL '96.

[10]  Daniele Varacca,et al.  Semantic subtyping for the pi-calculus , 2008, Theor. Comput. Sci..

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

[12]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[13]  Cosimo Laneve,et al.  Foundations of Web Transactions , 2005, FoSSaCS.

[14]  Martín Abadi,et al.  Mobile values, new names, and secure communication , 2001, POPL '01.

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

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

[17]  Martín Abadi,et al.  A Calculus for Cryptographic Protocols: The spi Calculus , 1999, Inf. Comput..

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

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

[20]  Andrea Ferrara,et al.  Web services: a process algebra approach , 2004, ICSOC '04.

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

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