Changes for page ReSpecT

Summary

• Page properties (1 modified, 0 added, 0 removed)

Details

Page properties

Content

...	...	@@ -1,25 +1,23 @@
1		-{{include document="Main.MacroSheet"/}}{{velocity}}
2		->#respect() (**Re**action **Spec**ification **T**uples) is a logic-based coordination language enabling tuple space programming
	1	+>{{respect/}} (**Re**action **Spec**ification **T**uples) is a logic-based coordination language enabling tuple space programming
3	3
4		-#respect() promotes on a tuple-based coordination model, where
	3	+{{respect/}} promotes on a tuple-based coordination model, where
5	5	* communication is based on //logic tuples//;
6	6	* coordination occur through //logic tuple spaces//;
7	7	* the behaviour of each tuple space is //programmable// so to embed any computable coordination policy.
8	8
9		-In this conceptual framework, #respect() has a twofold role:
10		-* as a specification language, #respect() makes it possible to catch interaction //events// and associate them to //reactions// by means of first-order logic tuples;
11		-* 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.
	8	+In this conceptual framework, {{respect/}} has a twofold role:
	9	+* as a specification language, {{respect/}} makes it possible to catch interaction //events// and associate them to //reactions// by means of first-order logic tuples;
	10	+* 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.
12	12
13		->What is #respect() for?
	12	+>What is {{respect/}} for?
14	14
15		-#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().
	14	+{{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/}}.
16	16
17		->Where is #respect()?
	16	+>Where is {{respect/}}?
18	18
19		-Currently, #respect() is distributed as a part of the [[#tucson()>>http://tucson.apice.unibo.it]] middleware.
20		-#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.
	18	+Currently, {{respect/}} is distributed as a part of the [[{{tucson/}}>>TuCSoN.WebHome]] middleware.
	19	+{{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.
21	21
22		-Correspondingly, the #respect() technology is currently made available as an essential part of the [[#tucson() distribution>>TuCSoN.Download]].
23		-{{/velocity}}
	21	+Correspondingly, the {{respect/}} technology is currently made available as an essential part of the [[{{tucson/}} distribution>>TuCSoN.Download]].
24	24
25	25	{{include reference="Environment" excludeFirstHeading="yes"/}}