
There are a number of possible refinements and extensions to the current RM. Two of them are sketched below. Further ones are discussed in the contributions by (... to be added).
A further phase in the development of a complete formal reference model
is to express in a semi-formal notation the functionalities
of each black box component of the system.
As an example, let us consider the Goal Refinement component in the
Content Layer. Below we sketch a semi-formal specification of
parts of its interactions (in the style of CSP [17]).
The specification expresses the following matter of subject: The Goal Refinement component non-deterministically receives goals from the Control Layer's Goal Selection component (line 1). Received goals are decomposed (2) and stored in the context knowledge in the Context Expert (3).
If the Content Selection component is ready to proceed with a new goal (4), and so is the Media Allocation component(5) and there is such a new goal reported from the Context Expert (6), then the goal will be actually forwarded to the Content Selection (7) and Media Allocation (8) components.
Goal Refinement also receives notifications (9), from the Linearization component. Notifications are analyzed: if they report success (10) then they are elaborated (11) and eventually propagated upwards to the Control Layer (13). If any problem occurred then a repair strategy should be determined (14) which is pushed into the Context Expert (16). Finally, if no repair strategy is applicable then an elaborated version of the notification (17) will be forwarded to the Control Layer (18).

As already emphasized in the introduction, the current RM is rather limited in its abilities to handle user interactions. To be more precise, the RM only covers interactions of the following types:
