Event notification in data-driven coordination languages
Nadia Busi, Gianluigi Zavattaro · 2000
JavaSpaces and TSpaces are two coordination middlewares for distributed Java programming recently proposed by Sun and IBM, respectively.They extend the data-driven coordination model of Linda with an event notification mechanism: a process can register interest in the incoming arrivals of a particular kind of data and receive communication of the occurrences of these events.In [2, 3] we introduce a process calculus L, based on the Linda coordination model, and we prove that if processes are synchronous with the dataspace (ordered interpretation) L is Turing powerful, while this is not the case if they are asynchronous (unordered interpretation).Here, we introduce a new calculus L,~, obtained by extending L with the event notification mechanism, and we prove two main results contrasting with what has been shown for L: (i) L, is Turing powerful also under the unordered interpretation and (ii) it allows a faithful encoding of the ordered semantics on top of the unordered one.1