Abstrakt. Processbrytningstekniker relaterar observerat beteende till modellerat beteende, t.ex. automatisk upptäckt av ett Petri-nät baserat på en händelselogg. Processbrytning är inte begränsad till processfyndighet och omfattar även konformitetskontroll. Metoder för kontroll av överensstämmelse används för att utvärdera kvaliteten på upptäckta processmodeller och för att diagnostisera avvikelser från vissa normativa modeller (t.ex. för att kontrollera överensstämmelse). Befintliga metoder för kontroll av överensstämmelse är vanligtvis inriktade på kontrollflödet och kan därmed inte diagnostisera avvikelser i fråga om data. I detta dokument föreslås en teknik för att kontrollera överensstämmelsen hos data-medvetna processmodeller. Vi använder så kallade Petri nät med Data för att modellera datavariabler, vakter, och läsa / skriva åtgärder. Data-medveten överensstämmelse kontroll problem kan vara mycket tidskrävande och ibland även intractable när det finns många övergångar och datavariabler. Därför föreslår vi en teknik för att bryta ner stora data-medveten konformitet kontroll problem i mindre problem som kan lösas mer effektivt. Vi ger ett allmänt korrekt resultat som visar att nedbrytningen inte påverkar resultatet av konformitetskontroll. Metoden stöds genom ProM-plug-ins och experimentella resultat visar betydande prestandaförbättringar. Experiment har också genomförts med en fallstudie i verkligheten, vilket visar att metoden också är relevant i verkliga affärsmiljöer.
I de REF lägger författarna fram ett förslag om nedbrytning av stora data-aware-konformitet kontroll av problem i mindre problem som kan lösas mer effektivt.
Decomposing Alignment-Based Conformance Checking of Data-Aware Process Models
{'venue': 'OTM Conferences', 'journal': None, 'mag_field_of_study': ['Computer Science']}