Changes for page ReSpecT

Summary

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

Details

Page properties

Syntax

...	...	@@ -1,1 +1,1 @@
1		-XWiki 1.0
	1	+XWiki 2.1

Content

...	...	@@ -1,31 +1,34 @@
1		-#includeMacros("Main.MacroSheet")#includeMacros("ReSpecT.MacroSheet")
	1	+{{include document="Main.MacroSheet"/}}{{include document="ReSpecT.MacroSheet"/}}
2	2
3		-1 #respect() at a Glance
	3	+{{velocity filter="none"}}
	4	+{{html clean="false" wiki="true"}}
	5	+= #respect() at a Glance =
4	4
5		-1.1 What is #respect()?
	7	+== What is #respect()? ==
6	6
7		-#respect() (*Re*action *Spec*ification *T*uples) is a logic-based coordination language enabling tuple space programming.
	9	+#respect() (**Re**action **Spec**ification **T**uples) is a logic-based coordination language enabling tuple space programming.
8	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.
12		-
	11	+* communication is based on //logic tuples//;
	12	+* coordination occur through //logic tuple spaces//;
	13	+* the behaviour of each tuple space is //programmable// so to embed any computable coordination policy.
	14	+<p/>
13	13	In this conceptual framework, #respect() has a twofold role:
14	14
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;
16		-
	17	+* 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	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.
18	18
19		-1.1 What is #respect() for?
	20	+== What is #respect() for? ==
20	20
21	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().
22	22
23		-1.1 Where is #respect()?
	24	+== Where is #respect()? ==
24	24
25		-Currently, #respect() is distributed as a part of the [ #tucson() | http://tucson.apice.unibo.it ] middleware.
	26	+Currently, #respect() is distributed as a part of the [[#tucson()>>http://tucson.apice.unibo.it]] middleware.
26	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.
27		-
28		-Coorespondingly, the #respect() technology is currently made available as an essential part of the [#tucson() distribution | TuCSoN.Download].
29		-
	28	+<p/>
	29	+Coorespondingly, the #respect() technology is currently made available as an essential part of the [[#tucson() distribution>>TuCSoN.Download]].
	30	+<p/>
30	30	##*Try [ #respect() Online | #attachmentUrl('respect-launch.jnlp') ]!*
31	31	##info("Work In Progress!")
	33	+{{/html}}
	34	+{{/velocity}}