Home

ReSpecT Home

ReSpecT is a logic-based coordination language aimed at defining the behaviour of tuple centres in order to coordinate autonomous computational entities, such as software agents.

ReSpecT adopts a tuple-based coordination model, where communication is based on logic tuples, and the behaviour of the coordination media in response to communication events is not fixed once and for all by the coordination model, but can be defined and tailored according to the global system's requirements.

In this conceptual framework, ReSpecT has a twofold role:

• as a specification language, ReSpecT makes it possible to filter communication 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 communication events, by providing for both a logic-based syntax for the definition of reactions, and a model for their execution.