Overview of the CCLAW L4 project

on YouTube ↗19m

" summary

L4 is a domain specific language that compiles legislation into a rigorous core, a sugary surface language and multiple back ends. It found a race condition in Singapore PDPA notification rules by exporting the model to a model checker (Oopal) and checking a CTL property, and it uses export to ASP (clingo) for abductive planning to enumerate exceptions. The team ships a working CSV-based IDE, an expert-system web app, transpilers to Petri nets BPMN DMN Drools and multilingual output via GF.

AI-written summary · about

" chapters (8)

1. 0:00Start
2. 3:43Model Checking Contracts
3. 7:39Business Rules Management Systems
4. 7:50Constitutive and Prescriptive Rules
5. 8:49Natural Language Text
6. 12:42Unit Testing
7. 16:13Examples of the Key Semantic Rules Governing the Behavior of L4
8. 16:34Semantics