Composable Patterns of Coordination as Library Services: Experiments in ReSpecT

   page       attach   

ReSpecT is a language for programming coordination mechanisms, laws, and policies in a tuple space based setting.
Although the language is extremely powerful and capable of injecting within a tuple space a wide range of both reactive and proactive behaviours, it is often perceived as "the assembly of coordination"—also because it has been conceived as such on purpose.
In fact, ReSpecT language constructs are essentially Linda coordination primitives, thus the very basic bricks of coordination models.

The thesis aims at exploring the opportunity to design and implement a library of higher-level coordination patterns, composable and exploitable as a programmer would do with a Java library. Particular emphasis will be dedicated to bio-inspired patterns for self-organisation, and on investigating the limits of composability of such patterns.