K-Stores: A Spatial and Epistemic Concurrent Constraint Interpreter

Andrés Barco 1 Sophia Knight 2 Frank D. Valencia 3, 2
2 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], INRIA Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : Concurrent constraint programming (ccp) is a mature formalism for reasoning about concurrent systems that exhibit a constrained behavior. Spatial ccp and epistemic ccp are two novel variants of ccp currently being developed by Knight and Valencia. These variants model systems with spatial hierarchies of group information and knowledge. These systems are ubiquitous due to the advent of social networks and cloud computing where agents may share certain information with certain groups. This paper introduces an interpreter for these extensions we call k-stores. The interpreter is a Prolog implementation of the operational semantics of the languages allowing the programmer to simulate distributed information systems. The main feature consists of an implementation of a spatial (distributed) store that allows epistemic information in it. The system supports the specification of (named) processes along with the ccp classic primitives, namely, ask and tell operations. The declarative view of processes is inherited from the ccp extensions. The orthogonal implementation of the local space abstraction and the epistemic constraint system makes further extensions possible. Special attention is paid to the representation of distributed knowledge and common knowledge
Mots-clés : Constraint Programming
Document type :
Conference papers
21st Workshop on Functional and Constraint Logic Programming (WFLP2012), May 2012, Nagoya, Japan. Informal proceedings

Contributor : Frank D. Valencia <>
Submitted on : Wednesday, December 5, 2012 - 11:07:12 PM
Last modification on : Saturday, February 14, 2015 - 1:03:34 AM




  • HAL Id : hal-00761679, version 1



Andrés Barco, Sophia Knight, Frank D. Valencia. K-Stores: A Spatial and Epistemic Concurrent Constraint Interpreter. 21st Workshop on Functional and Constraint Logic Programming (WFLP2012), May 2012, Nagoya, Japan. Informal proceedings. <hal-00761679>




Notice views


Document downloads