Reflections on the design and application of eFLINT
summary
eFLINT formalizes norms as executable transition systems, with a Haskell reference implementation plus a TCP/HTTP server and Java client used for dynamic compliance checking. It implements syncs with/extends modularity to combine GDPR articles with a hospital consortium agreement, enumerates instances from domain or runtime KBs, supports open/closed types, and reports violations, duties and powers. Experiments show it can run scenarios, monitor live systems, and produce enforcement-ready reports.
AI-written summary · about
chapters (17)
- 0:00Introduction
- 1:43Semantics
- 3:10Wholefeldian Perspective
- 3:31Types of Reasoning
- 5:10Example
- 6:17normative concepts
- 7:05Scenarios
- 8:01Extensions
- 9:04GDPR Example
- 9:39GDPR Article 5
- 10:26GDPR Article 6
- 10:47Use case
- 13:19Design decisions
- 15:39Other extensions
- 16:58eFLINT actors
- 18:05Specification reuse
- 19:08Implementation