Differences

This shows you the differences between two versions of the page.

--- research:recap [2010/07/31 17:08] – Brief stijnm
+++ research:recap [2010/07/31 18:23] (current) – added stijnm
@@ Line 2: / Line 2: @@
 ===== Reactive Context-Aware Programming =====
 [[http://soft.vub.ac.be/soft/members/stijnmostinckx|Stijn Mostinckx]]
-<note>
-This page is under construction, some sections are not yet completed. Please refer to the [[:research:rfid#further_reading|further reading]] section for a full text.
-</note>
 Reactive Context-Aware Programming (ReCAP) extends the ambient-oriented programming paradigm to tailor it for the Internet of Things (IoT): a network environment in which physical objects are given an embedded digital representation.
@@ Line 21: / Line 17: @@
 additional event handlers to propagate environmental changes to modules which are only indirectly affected by them.
-Note that it is often possible to avoid the inversion of control altogether.  For instance, to abstract over (dis)appearing communication partners, one can use an [[research:ambientrefs|ambient reference]]. In the general case, the inversion of control can often be removed through the use of [[research:rp|reactive programming]].
+Note that it is often possible to avoid the inversion of control altogether.  For instance, to abstract over (dis)appearing communication partners, one can use an [[research:ambientrefs|ambient reference]]. In the general case, the inversion of control can often be removed through the use of [[research:rp|reactive values]].
 ==== Window on the World ====
+† Quick-link: [[research:patterns|Pattern matching]]
+One of the key elements of the IoT is that all physical objects are equipped with an embedded digital representation (e.g. using an RFID tag). Given the premise that the presence of any given  object can be a cue that steers the application of IoT applications, it is crucial that programmers have adequate tools to describe the applications //window on the world//.
+The window on the world denotes the set of physical objects and devices whose presence or absence has to be reported to the application.  Determining whether an object is visible in an application's window on the world may depend on its type, current state, as well as on the presence or absence of other objects.
+In the ReCAP paradigm, the window of the world is constructed using [[research:patterns|pattern matching]] rules, which are applied to a [[research:rp|reactive]] representation of the application's context.