createDevice::Dr.Hibbert::1,2::doctor(dept:string:cardiology)
createDevice::Dr.Nick::30,2::doctor(dept:string:stroke_unit)
createResource::record1::1,2::patientRecords
//access request outside working hours -> DENY
requestAccess::Dr.Hibbert::doctor::read::record1::3/5/2011 13:30::dept:string=cardiology
requestAccess::Dr.Nick::doctor::read::record1::3/5/2011 13:30::dept:string=stroke_unit
createEvent::0::criticalPatient::null::null::18,6
//Critical patient in department cardiology -> PERMIT
requestAccess::Dr.Hibbert::doctor::read::record1::3/5/2011 13:30::dept:string=cardiology
requestAccess::Dr.Nick::doctor::read::record1::3/5/2011 13:30::dept:string=stroke_unit
removeEvent::0::criticalPatient::null::null::18,6
createEvent::0::criticalPatient::null::null::27,3
requestAccess::Dr.Hibbert::doctor::read::record1::3/5/2011 13:30::dept:string=cardiology
//Critical patient in department stroke unit -> PERMIT
requestAccess::Dr.Nick::doctor::read::record1::3/5/2011 13:30::dept:string=stroke_unit