Abstrakt. Ledningen av affärsprocesser har nyligen fått mycket uppmärksamhet. Ett av de mest intressanta problemen är beskrivningen av en processmodell på ett språk som gör det möjligt att kontrollera efterlevnaden av en processutförande (eller spårning) till modellen. I detta dokument föreslår vi ett språk för representation av processmodeller som inspireras till SCIFF-språket och är en förlängning av klausallogiken. En processmodell representeras i språket som en uppsättning integritetsbegränsningar som tillåter konjunktiva formler som disjunkter i huvudet. Vi presenterar en strategi för att inducera dessa modeller från data: vi definierar en subkonsumtionsrelation för integriteten begränsningar, vi definierar en förfining operatör och vi anpassar algoritmen ICL till problemet med att lära sig sådana formler. Systemet har tillämpats på problemet med att införa modellen för en sluten auktion och NetBill-protokollet. De data som användes för inlärning och testning genererades slumpmässigt från en korrekt modell av processen.
I REF föreslog författarna både en språkdel av SCIFF för att beskriva processmodeller och algoritmen DPML för gruvdrift integritet begränsningar.
Applying inductive logic programming to process mining
{'venue': 'In ILP 2007, volume 4894 of LNAI', 'journal': None, 'mag_field_of_study': ['Computer Science']}