Detta dokument fokuserar på skapandet av en första ordning som bygger på kalkylbaserade regelefterlevnads-assistanssystem som bygger på ett XML-ramverk. Två forskningsområden som stöder utvecklingen av systemet för stöd till efterlevnad diskuteras. Den första är ett dokumentarkiv som innehåller federala och statliga regler och kompletterande dokument. Den andra är ett XML-ramverk för att representera regelverk och tillhörande metadata. Prototypen för regleringsstödsystemet har varit inriktad på miljöbestämmelser och tillhörande dokument. Systemet för stöd till överensstämmelse illustreras inom området för hantering av använd olja. Syftet med denna forskning är att utveckla en formell infrastruktur för hantering av regulatorisk information och stöd till efterlevnad.
Formalismen som föreslås i REF är en första ordning som bygger på en XML-ram.
Logic-based regulation compliance-assistance
{'venue': 'ICAIL', 'journal': None, 'mag_field_of_study': ['Computer Science']}