ReSpecT Home

Warning: For security reasons, the document is displayed in restricted mode as it is not the current version. There may be differences and errors due to this.

ReSpecT Home

ReSpecT (Reaction Specification Tuples) is a logic-based coordination language enabling tuple space programming

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.

What is ReSpecT for?

ReSpecT can be used as a simple yet highly expressive event-driven programming language to program complex process / agent coordination laws outside processes / agents. The more complex is the management of the interaction within a software system the more useful is ReSpecT.

Where is ReSpecT?

Currently, ReSpecT is distributed as a part of the TuCSoN middleware.
TuCSoN is a middleware for the coordination of distributed processes, as well as autonomous, intelligent & mobile agents, providing #respect() tuple centres as its main coordination abstractions.

Correspondingly, the ReSpecT technology is currently made available as an essential part of the TuCSoN distribution.

Failed to execute the [velocity] macro. Cause: [The execution of the [velocity] script macro is not allowed in [xwiki:ReSpecT.Environment]. Check the rights of its last author or the parameters if it's rendered from another script.]. Click on this message for details.

2P |  TuCSoN