Bigraphical Logics for XML

Bigraphs have been recently proposed as a meta-model for global computing resources; they are built orthogonally on two structures: a hierarchical ‘place’ graph for locations and a ‘link’ (hyper-)graph for connections. XML is now the standard meta-language for the data exchange and storage on the web. In this paper we address the similarities between bigraphs and XML and we propose bigraphs as a rich model for XML (and XML contexts). Building on this idea we proceed by investigating how the recently proposed logic of BiLog can be instantiated to describe, query and reason about web data (and web contexts).

[1]  L. Cardelli,et al.  Querying Trees with Pointers , 2003 .

[2]  Paolo Manghi,et al.  The Query Language TQL , 2002, WebDB.

[3]  Silvano Dal-Zilio,et al.  A logic you can count on , 2004, POPL.

[4]  Giorgio Ghelli,et al.  TQL ALGEBRA AND ITS IMPLEMENTATION (EXTENDED ABSTRACT) , 2002 .

[5]  John C. Reynolds,et al.  Separation logic: a logic for shared mutable data structures , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.

[6]  Giorgio Ghelli,et al.  Decidability of Freshness, Undecidability of Revelation , 2004, FoSSaCS.

[7]  Thomas Hildebrandt,et al.  Bigraphs and ( Reactive ) XML an XML-centric model of computation , 2005 .

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

[9]  Robin Milner,et al.  Axioms for bigraphical structure , 2005, Mathematical Structures in Computer Science.

[10]  Peter W. O'Hearn,et al.  Local Reasoning about Programs that Alter Data Structures , 2001, CSL.

[11]  Robin Milner,et al.  Bigraphs and mobile processes (revised): Technical report 580 , 2004 .

[12]  Luca Cardelli,et al.  A spatial logic for concurrency (part I) , 2003, Inf. Comput..

[13]  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.

[14]  Luca Cardelli,et al.  Manipulating Trees with Hidden Labels , 2003, FoSSaCS.

[15]  Luca Cardelli,et al.  Deciding validity in a spatial logic for trees , 2003, TLDI '03.

[16]  Vladimiro Sassone,et al.  Spatial Logics for Bigraphs , 2005, ICALP.

[17]  Luca Cardelli,et al.  A Spatial Logic for Querying Graphs , 2002, ICALP.

[18]  Robin Milner,et al.  Bigraphs and transitions , 2003, POPL '03.

[19]  Philippa Gardner,et al.  A Context Logic for Tree Update , 2004 .

[20]  Luca Cardelli,et al.  TQL: A Query Language for Semistructured Data Based on the Ambient Logic , 2003 .

[21]  Robin Milner,et al.  Bigraphs and mobile processes (revised) , 2004 .

[22]  Luca Cardelli,et al.  Describing semistructured data , 2001, SGMD.

[23]  Serge Abiteboul,et al.  Positive active XML , 2004, PODS '04.

[24]  Luca Cardelli,et al.  A Spatial Logic for Concurrency (Part II) , 2002, CONCUR.