APICe » Publications » ShareddataSac99

Comparing Coordination Models based on Shared Distributed Replicated Data

Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro
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 data space models, one preserving the order in which data is produced and a second one not necessarily preserving this order. For example, we show that if dataspaces are multisets them 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.
Keywords: Coordination models, software architectures, distributed dataspace, shared dataspace, transition system semantics
1999 ACM symposium on Applied Computing (SAC '99), pages 156-165, 1999, ACM
@inproceedings{shareddata-sac99,
	Author = {Bonsangue, Marcello M. and Kok, Joost N. and Zavattaro, Gianluigi},
	Booktitle = {1999 ACM symposium on Applied Computing (SAC '99)},
	Doi = {10.1145/298151.298226},
	Isbn = {1-58113-086-4},
	Keywords = {Coordination models, software architectures, distributed dataspace, shared dataspace, transition system semantics},
	Pages = {156--165},
	Publisher = {ACM},
	Title = {Comparing Coordination Models based on Shared Distributed Replicated Data},
	Url = {http://dl.acm.org/citation.cfm?id=298226},
	Year = 1999}