createDevice::Dr.Hibbert::30,8::doctor(dept:string:neurosurgery);genericDoctor()
createResource::device1::45,10::medicalEquipment
createResource::device2::22,2::medicalEquipment
createResource::device3::26,10::medicalEquipment
// ‘Close’ device, but no emergency -> DENY
requestAccess::Dr.Hibbert::doctor::read::device1::3/5/2011 10:30::equipment-of:string=spider man
createEvent::0::medicalEmergency::spider man::null::45,10
// ‘close’ device and visible event; device belongs to the one that generated the event -> PERMIT
requestAccess::Dr.Hibbert::doctor::read::device1::3/5/2011 10:35::equipment-of:string=spider man
// ‘close’ device and visible event; device does NOT belong to the one that generated the event -> DENY
requestAccess::Dr.Hibbert::doctor::read::device3::3/5/2011 10:38::equipment-of:string=superman
//move the user in the operating room
moveUser::Dr.Hibbert::42,2
// visible event but device is not ‘close’ -> DENY
requestAccess::Dr.Hibbert::doctor::read::device1::3/5/2011 10:40::equipment-of:string=spider man
createEvent::0::medicalEmergency::batman::null::22,2
//move the user in the corridor
moveUser::Dr.Hibbert::24,2
//doctor role is disabled outside the department  -> DENY
requestAccess::Dr.Hibbert::doctor::read::device2::3/5/2011 11:00::equipment-of:string=batman
//access using the genericDoctor role -> PERMIT
requestAccess::Dr.Hibbert::genericDoctor::read::device2::3/5/2011 11:00::equipment-of:string=batman