Static BiLog: a Unifying Language for Spatial Structures
Conforti, G., Macedonio, D. and Sassone, V. (2007) Static BiLog: a Unifying Language for Spatial Structures. Fundamenta Informaticae, 80, 1-20.
Aiming at a uniﬁed view of the logics describing spatial structures, we introduce a general framework, BiLog, whose formulae characterise monoidal categories. As a ﬁrst instance of the framework we consider bigraphs, which are emerging as a an interesting (meta-)model for spatial structures and distributed calculi. Since bigraphs are built orthogonally on two structures, a hierarchical place graph for locations and a link (hyper-)graph for connections, we obtain a logic that is a natural composition of other two instances of BiLog: a Place Graph Logic and a Link Graph Logic. We prove that these instances generalise the spatial logics for trees, for graphs and for tree contexts. We also explore the concepts of separation and sharing in these logics. We note that both the operator ∗ of Separation Logic and the operator | of spatial logics do not completely separate the underlying structures. These two different forms of separation can be naturally derived as instances of BiLog by using the complete separation induced by the tensor product of monoidal categories along with some form of sharing.
|Keywords:||Concurrency, Bigraphs, Spatial Logics, Context Logic, Separation, XML|
|Divisions:||Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science
|Date Deposited:||27 Nov 2007 13:52|
|Last Modified:||21 Aug 2012 04:16|
|Contributors:||Conforti, G. (Author)
Macedonio, D. (Author)
Sassone, V. (Author)
|Further Information:||Google Scholar|
|ISI Citation Count:||1|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)