Changes for page Overview

Summary

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

Details

Page properties

Title

...	...	@@ -1,1 +1,1 @@
1		-Overview
	1	+ReSpecT Overview

Content

...	...	@@ -1,15 +1,8 @@
1		-{{include document="Main.MacroSheet"/}}{{include document="ReSpecT.MacroSheet"/}}
	1	+{{include document="Main.MacroSheet"/}}{{velocity}}
	2	+* #respect() (**Re**action **Spec**ification **T**uples) is a logic-based language for the coordination of complex software systems.
	3	+* #respect() promotes a coordination model providing tuple centres as programmable, general-purpose coordination media.
	4	+* the behaviour of #respect() tuple centres is programmed through the #respect() first-order logic language.
2	2
3		-{{velocity filter="none"}}
4		-{{html clean="false" wiki="true"}}
5		-= #respect() Overview =
6		-
7		-#respect() (**Re**action **Spec**ification **T**uples) is a logic-based language for the coordination of complex software systems.
8		-##
9		-#respect() promotes a coordination model providing tuple centres as programmable, general-purpose coordination media.
10		-##
11		-The behaviour of #respect() tuple centres is programmed through the #respect() first-order logic language.
12		-
13	13	== The #respect() Tuple Centre Coordination Model ==
14	14
15	15	A tuple centre is a tuple space enhanced with the possibility to program its behaviour in response to interactions.
...	...	@@ -83,6 +83,5 @@
83	83	In principle, this allows intelligent agents to reason about the state of collaboration activities, and to possibly affect their dynamics.
84	84	##
85	85	Furthermore, the twofold interpretation (either declarative or procedural) of #respect() specification tuples allows knowledge and control to be represented uniformly (as Prolog-like facts) and encapsulated within the same coordination artefact.
86		-
87		-{{/html}}
88	88	{{/velocity}}
	80	+{{include document="ReSpecT.MacroSheet"/}}