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 timeaware coordination policies. Some examples are provided to demonstrate the expressiveness of the ReSpecT language to model timed coordination primitives and laws.
Time-Aware Coordination in ReSpecT / Omicini Andrea; Ricci Alessandro; Viroli Mirko. - STAMPA. - 3454:(2005), pp. 268-282. (Intervento presentato al convegno 7th International Conference on Coordination Models and Languages (COORDINATION 2005) tenutosi a Namur nel 20-23 aprile 2005) [10.1007/11417019_18].
Time-Aware Coordination in ReSpecT
OMICINI, ANDREA;RICCI, ALESSANDRO;VIROLI, MIRKO
2005
Abstract
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 timeaware coordination policies. Some examples are provided to demonstrate the expressiveness of the ReSpecT language to model timed coordination primitives and laws.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.