DCR Graphs as Co-created Executable Models of the Law
summary
A formal declarative language developed over 15 years for executable models of regulation, claiming maintainable encoding of decision rules and temporal constraints and a rule engine embeddable as a module or service. Toolchain includes DCR Graphs with online design and simulation tools and an open source case manager client; demos use Danish social‑services paragraphs, GDPR and Covid guidelines, live simulation, process‑mining on logs (award‑winning), industrial embedding in an ADC workflow product, but modular composition and some formal analyses remain unimplemented.
AI-written summary · about
chapters (7)
- 0:00DCR Graphs for law modeling
- 1:24Legal system implementation problems
- 3:08Co-created executable models
- 5:16Core model structure and relations
- 7:24Model extensions
- 9:11Tool pipeline and open source
- 9:53Q&A
related talks
33mData-Dependent Confidentiality in DCR Graphs
43mC4 models as code
45mResponsibility Driven Design Revisited
42mTo DDD or not to DDD? Domain modelling case study
39mDiagrams as Code 2.0
54mHow'd we get here? A guide to Architectural Decision Records
43mGetting Started with Architectural Decision Records
34mDiagram as Code - Decoding Architectural Diagrams