The last question above addresses an important point; conceptually Splice can be seen as a large global dataspace, where producers write data items and subscribers can select items to read, see figure 1.
However, in a distributed implementation each process has a local dataspace with its locally available items, see figure 2.
Often there is a large stack of protocols to guarantee consistency of the local dataspaces. A design choice of Splice is to avoid these consistency protocols by carefully designing syntax and semantics such that the conceptual model of a single global dataspace can be implemented by distributed local dataspaces without much overhead.
The aim of our work is to formalize these ideas, that is, to define a simple but powerful Splice language with a denotational semantics based on a global dataspace and to prove that this semantics is equivalent to an interpretation with distributed local dataspaces.