Show last authors
1 #includeMacros("Main.MacroSheet")#includeMacros("ReSpecT.MacroSheet")
3 1 #respect() at a Glance
5 1.1 What is #respect()?
7 #respect() (*Re*action *Spec*ification *T*uples) is a logic-based coordination language enabling tuple space programming.
8 More precisely, #respect() promotes on a tuple-based coordination model, where
9 * communication is based on ~~logic tuples~~;
10 * coordination occur through ~~logic tuple spaces~~;
11 * the behaviour of each tuple space is ~~programmable~~ so to embed any computable coordination policy.
13 In this conceptual framework, #respect() has a twofold role:
15 * as a specification language, #respect() makes it possible to catch interaction ~~events~~ and associate them to ~~reactions~~ by means of first-order logic tuples;
17 * 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.
19 1.1 What is #respect() for?
21 #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().
23 1.1 Where is #respect()?
25 Currently, #respect() is distributed as a part of the [ #tucson() | ] middleware.
26 #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.
28 Coorespondingly, the #respect() technology is currently made available as an essential part of the [#tucson() distribution | TuCSoN.Download].
30 ##*Try [ #respect() Online | #attachmentUrl('respect-launch.jnlp') ]!*
31 ##info("Work In Progress!")
2008 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna