Home
Last modified by Andrea Omicini on 11/12/2020 18:35
ReSpecT at a Glance
What is ReSpecT?
ReSpecT (Reaction Specification Tuples) is a logic-based coordination language enabling tuple space programming. More precisely, ReSpecT promotes on a tuple-based coordination model, where- communication is based on logic tuples;
- coordination occur through logic tuple spaces;
- the behaviour of each tuple space is programmable so to embed any computable coordination policy. In this conceptual framework, ReSpecT has a twofold role:
- as a specification language, ReSpecT makes it possible to catch interaction events and associate them to reactions by means of first-order logic tuples;
- as a reaction language, ReSpecT supports the notion of reaction as a computational activity to be executed locally to a tuple centre in response to interaction events, by providing for both a logic-based syntax for the definition of reactions, and a model for their execution.