Time-Aware Coordination in ReSpecT

   page       BibTeX_logo.png   
Jean-Marie Jacquet, Gian Pietro Picco (eds.)
Coordination Models and Languages, pages 268–282
Lecture Notes in Computer Science 3454
Springer Berlin Heidelberg
April 2005

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.

journal or series
book Lecture Notes in Computer Science (LNCS)