Mirko Viroli, Andrea Omicini

In this paper, we elaborate on modelling tuple-based coordination media in terms of observable sources providing coordination as a service. Only the medium's part directly affecting its observable behaviour is explicitly represented, while its inner activity is represented only as a source for proactive behaviour, thus abstracting away from its details. As an example of this methodology, we formalise JavaSpaces' time passing and leasing mechanisms, which are both modelled in terms of the medium's inner activity. Then, the formalisation of tuple centres is also shown that emphasises the ability of our approach to deal with the explicit representation of complex coordination services.

Coordination Models and Languages, Lecture Notes in Computer Science 2315, pages 364-379, 2002.
Farhad Arbab, Carolyn Talcott (eds.), Springer Berlin Heidelberg
5th International Conference (COORDINATION 2002), York, UK, 8-11 April 2002. Proceedings
	Author = {Viroli, Mirko and Omicini, Andrea},
	Booktitle = {Coordination Models and Languages},
	Doi = {10.1007/3-540-46000-4_33},
	Editor = {Arbab, Farhad and Talcott, Carolyn},
	Isbn = {978-3-540-43410-8},
	Isbn-10 = {3-540-43410-0},
	Isbn-Online = {978-3-540-46000-8},
	Issn = {0302-9743},
	Issn-Online = {1611-3349},
	Note = {5th International Conference (COORDINATION 2002), York, UK, 8--11~} # apr # {~2002. Proceedings},
	Pages = {364--379},
	Publisher = {Springer Berlin Heidelberg},
	ScopusId = {2-s2.0-23044534697},
	Series = {Lecture Notes in Computer Science},
	Title = {Tuple-based Models in the Observation Framework},
	Url = {http://link.springer.com/10.1007/3-540-46000-4_33},
	Volume = 2315,
	WosId = {000181348700033},
	Year = 2002}



2011 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna