Abstract-Den ökande tillgången på händelsedata som registrerats av informationssystem, elektroniska enheter, webbtjänster och sensornätverk ger detaljerad information om de faktiska processerna i system och organisationer. Processbrytningstekniker kan använda sådana händelsedata för att upptäcka processer och kontrollera överensstämmelsen hos processmodeller. För konformitetskontroll måste vi analysera om det observerade beteendet matchar det modellerade beteendet. I sådana inställningar är det ofta önskvärt att ange det förväntade beteendet i termer av en deklarativ process modell snarare än en detaljerad förfarandemodell. Deklarativa modeller har dock ingen uttrycklig uppfattning om tillstånd, vilket gör det svårare att fastställa avvikelser och förklara och kvantifiera avvikelser. Detta dokument fokuserar på att tillhandahålla högkvalitativ och förståelig diagnostik. Begreppet aktivering spelar en viktig roll när det gäller att bestämma effekten av enskilda händelser på en given begränsning. Med hjälp av detta begrepp kan vi visa orsaks- och effektrelationer och mäta processens sundhet.
I REF rapporterar författarna ett tillvägagångssätt som kan användas för att utvärdera överensstämmelsen hos en logg med avseende på en Declare-modell.
Techniques for a Posteriori Analysis of Declarative Processes
{'venue': '2012 IEEE 16th International Enterprise Distributed Object Computing Conference', 'journal': '2012 IEEE 16th International Enterprise Distributed Object Computing Conference', 'mag_field_of_study': ['Computer Science']}