[Verse 1] Picture a language that speaks like we do But compiles to logic that computers can chew From SBVR it borrows controlled vocabulary Definitions so clear, no ambiguity From Catala it takes the literate way Natural language and logic in perfect display Side by side they coexist in harmony Policy text meets formal clarity [Chorus] Seven sources make it whole Obligation, permission, prohibition's role Parse it clean, enforce it fast Management controls built to last SBVR, Catala, Deontic too ACE and Rego, OSCAL through LegalRuleML completes the view The ideal language, tried and true [Verse 2] Deontic logic brings the ought and may First-class operators for the rules we obey Obligatory, permitted, or forbidden states Defeasibility when exception creates ACE provides automatic parsing power Detects ambiguity in the crucial hour Paraphrase verification checks what we mean The clearest interpretation you've ever seen [Chorus] Seven sources make it whole Obligation, permission, prohibition's role Parse it clean, enforce it fast Management controls built to last SBVR, Catala, Deontic too ACE and Rego, OSCAL through LegalRuleML completes the view The ideal language, tried and true [Bridge] Rego gives us practical enforcement might Cloud-native integration burning bright OSCAL maps the frameworks we need to meet Lifecycle data model, assessment complete LegalRuleML adds the temporal scope Jurisdictional boundaries help us cope Valid when and where the rule applies No more regulatory surprise [Verse 3] It is obligatory that each access request For restricted resources must pass the test Approved by the owner before provision starts Unless emergency access plays its part Severity-one incident breaks the chain Access logged and reviewed again Within twenty-four hours the review must be Formal semantics set us free [Chorus] Seven sources make it whole Obligation, permission, prohibition's role Parse it clean, enforce it fast Management controls built to last SBVR, Catala, Deontic too ACE and Rego, OSCAL through LegalRuleML completes the view The ideal language, tried and true [Outro] From natural language to enforcement code The ideal language lights the road Management controls that sing and compile Making compliance worth your while
← 1 What Each Language Gets Right | 4 Practical Recommendations →