Changes for page Overview

Summary

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

Details

Page properties

Title

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

Content

...	...	@@ -1,8 +1,15 @@
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.
	1	+{{include document="Main.MacroSheet"/}}{{include document="ReSpecT.MacroSheet"/}}
5	5
	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	+
6	6	== The #respect() Tuple Centre Coordination Model ==
7	7
8	8	A tuple centre is a tuple space enhanced with the possibility to program its behaviour in response to interactions.
...	...	@@ -76,5 +76,6 @@
76	76	In principle, this allows intelligent agents to reason about the state of collaboration activities, and to possibly affect their dynamics.
77	77	##
78	78	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}}
79	79	{{/velocity}}
80		-{{include document="ReSpecT.MacroSheet"/}}