Information Technology Reference
In-Depth Information
Table 5. Variabbles
This is textually represented by the following process:
(1)
where each
is a process modelling the behaviour of the corresponding ambient
.
Now we give the formal specification of the ISC and the ISs below.
InfoStation
An abstract model of an infostation
(for some integer
) has the following
main components are the AAA request ambient
, the lecture ambient
and
the cache ambient
ℎ
.
The InfoStation is a parent to the inside ambients which are siblings to each other. The
specification of each of these ambients is as follows:
This ambient is responsible for handling AAA requests sent by user devices
willing to register with the InfoStation
. The
ambient receives a request from a
device and, immediately, forwards it to the InfoStation, then receives a reply from the
InfoStation and again, forwards it to the user's device. This behaviour is modelled by the
following process: