PMC3279233_01
Our context Model. The box with thick borders is the default MC.
sensors-12-00632f2.jpg
PMC3279233_01_sensors-12-00632f2.jpg
f2-sensors-12-00632
So, if a patient is coming in and the hospital database is unavailable from the admission terminal (Figure 2), CareGiver(x, y) times out and the door stays close (in a way, the system derives negation from lack of information).
Case Study scenario.
sensors-12-00632f3.jpg
PMC3279233_01_sensors-12-00632f3.jpg
f3-sensors-12-00632
In our case study (Figure 3) access to a diagnostic device is controlled by different rule sets depending on the active contexts.