Abstrakt. Beslutsmodellen och notation (DMN) är en standardnotation för att fånga beslutslogik i affärsapplikationer i allmänhet och affärsprocesser i synnerhet. En central konstruktion i DMN är en beslutstabell. Den ökande användningen av DMN-beslutstabeller för att fånga kritisk affärskunskap ökar behovet av att stödja analysuppgifter på dessa tabeller såsom korrekthet och fullständighet kontroll. Detta dokument ger en formell semantik för DMN-tabeller, en formell definition av nyckelanalysuppgifter och skalbara algoritmer för att ta itu med två sådana uppgifter, dvs. upptäckt av överlappande regler och saknade regler. Algoritmerna bygger på en geometrisk tolkning av beslutstabeller som kan användas för att stödja andra analysuppgifter genom att använda geometriska algoritmer. Algoritmerna har implementerats i en DMN-redigerare med öppen källkod och testats på stora beslutstabeller som härletts från en kreditutlåningsdatauppsättning.
REF föreslår en formell semantik av DMN-beslutstabeller, ett begrepp av DMN-tabell korrekthet, och algoritmer som kontrollerar upptäckten av överlappande regler och saknade regler.
Semantics and Analysis of DMN Decision Tables
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}