BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Deontic logic for modelling data flow and use compliance - David E
 vans (Computer Laboratory)
DTSTART:20081125T143000Z
DTEND:20081125T150000Z
UID:TALK14406@talks.cam.ac.uk
CONTACT:Pedro Brandao
DESCRIPTION:*Slides "available":http://www.cl.cam.ac.uk/research/srg/opera
 /meetings/attachments/2008-11-25-DeonticLogDataFlow_evans.pdf .*\n\n\nWe a
 dvocate using deontic logic and its representation in the event calculus t
 o control access to information in a distributed ubiquitous system.  Contr
 acts between information owners are encoded in terms of classes of organis
 ations\, data\, and interactions. Fluents\, events\, and application-speci
 fic rules that link the two are then extracted from the contracts and mapp
 ed to the components\, endpoints\, and messages used to implement the syst
 em.  The expression of organisations' responsibilities is natural and lead
 s to a simple mechanism of data flow monitoring.\nSome parts of the system
  can make forward progress while others are in conflict\, meaning that res
 olution does not impede other processing.\nFurthermore\, specification in 
 terms of entities' behaviour rather than explicit modelling of service lev
 el agreements (SLAs) means that it is straightforward to make decisions ba
 sed on observations that are not specified in the SLA but that are noticed
  by a human.
LOCATION:Room FW11\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR