APICe » Publications » Time-Aware Coordination in ReSpecT

Time-Aware Coordination in ReSpecT

Andrea Omicini, Alessandro Ricci, Mirko Viroli
Tuple centres allow for dynamic programming of the coordination media: coordination laws are expressed and enforced as the behaviour specification of tuple centres, and can change over time. Since time is essential in a large number of coordination problems and patterns (involving timeouts, obligations, commitments), coordination laws should be expressive enough to capture and govern time-related issues. Along this line, in this paper we discuss how tuple centres and the ReSpecT language for programming logic tuple centres can be extended to catch with time, and to support the definition and enforcement of time-aware coordination policies. Some examples are provided to demonstrate the expressiveness of the ReSpecT language to model timed coordination primitives and laws.
Coordination Models and Languages, Lecture Notes in Computer Science 3454, pages 268-282, April 2005.
Jean-Marie Jacquet, Gian Pietro Picco (eds.), Springer Berlin Heidelberg
7th International Conference (COORDINATION 2005), Namur, Belgium, 20-23 April 2005. Proceedings
	Author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
	Booktitle = {Coordination Models and Languages},
	Doi = {10.1007/11417019_18},
	Editor = {Jacquet, Jean-Marie and Picco, Gian Pietro},
	Isbn = {978-3-540-25630-4},
	Isbn-Online = {978-3-540-32006-7},
	Isbn-10 = {3-540-25630-X},
	Issn = {0302-9743},
	Month = apr,
	Note = {7th International Conference (COORDINATION 2005), Namur, Belgium, 20--23~} # apr # {~2005. Proceedings},
	Pages = {268--282},
	Publisher = {Springer Berlin Heidelberg},
	ScopusId = {2-s2.0-24644471622},
	Series = {LNCS},
	Title = {Time-Aware Coordination in {{\sf ReSpecT}}},
	Url = {http://link.springer.com/10.1007/11417019_18},
	Volume = 3454,
	WosId = {000229104200018},
	Year = 2005}