Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes
We present a language \scc\ for the specification of direct exchange and/or global sharing of information in multi-agent systems. \scc\ is based on concurrent constraint programming paradigm which we modify in such a way that agents can
(i)~maintain its local private store,
(ii)~share (read/write) the information in the global store and
(iii)~communicate with other agents (via multi-party or hand-shake).
To justify our proposal we compare \scc\ to a recently proposed language for the exchange of information in multi-agent systems. We also provide an operational semantics of \scc\ and prove its compositionality.