Skip to Main content Skip to Navigation
Conference papers

D-SPACES: Implementing Declarative Semantics for Spatially Structured Information

Stefan Haar 1, 2 Salim Perchy 3 Frank Valencia 3, 4 
2 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
3 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Abstract : We introduce in this paper D-SPACES, an implementation of constraint systems with space and extrusion operators. Constraint systems are algebraic models that allow for a semantic language-like representation of information in systems where the concept of space is a primary structural feature. We give this information mainly an epistemic interpretation and consider various agents as entities acting upon it. D-SPACES is coded as a c++11 library providing implementations for constraint systems, space functions and extrusion functions. The interfaces to access each implementation are minimal and thoroughly documented. D-SPACES also provides property-checking methods as well as an implementation of a specific type of constraint systems (a boolean algebra). This last implementation serves as an entry point for quick access and proof of concept when using these models. Furthermore, we offer an illustrative example in the form of a small social network where users post their beliefs and utter their opinions
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download
Contributor : Salim PERCHY Connect in order to contact the contributor
Submitted on : Thursday, December 22, 2016 - 9:50:28 PM
Last modification on : Wednesday, February 2, 2022 - 3:57:55 PM


Files produced by the author(s)


  • HAL Id : hal-01328189, version 4


Stefan Haar, Salim Perchy, Frank Valencia. D-SPACES: Implementing Declarative Semantics for Spatially Structured Information. 11th International Conference on Semantic Computing , IEEE, Jan 2017, San Diego, California, United States. ⟨hal-01328189v4⟩



Record views


Files downloads