Comparing coordination models based on shared distributed replicated data
Marcello Bonsangue, Joost N. Kok, Gianluigi Zavattaro · 1999
We present three models for a data-oriented coordination language and show several relationships between the models.We consider a distributed model and two centralized shared dataspace models, one preserving the order in which data is produced and a second one not n ecessarily preserving this order.For example, we show that if dataspaces are multisets then the distributed and the centralized systems are observationally equivalent for any program using read, write and delete operations.The same result does not hold if dataspaces are sets or databases.