Process mining är en familj av tekniker som syftar till att analysera verksamhet process exekvering data registreras i händelseloggar. Konformanskontroll är en gren av denna disciplin som omfattar metoder för att kontrollera om beteendet hos en process, som registrerats i en logg, är i linje med vissa förväntade beteenden som tillhandahålls i form av en processmodell. De flesta av dessa metoder kräver att insatsprocessens modell är procedurmässig (t.ex. ett Petri-nät). Men i turbulenta miljöer, som kännetecknas av hög variabilitet, är processbeteendet mindre stabilt och förutsägbart. I dessa miljöer är processuella processmodeller mindre lämpliga för att beskriva en affärsprocess. Deklarativa specifikationer, som fungerar i en öppen värld antagande, gör det möjligt för modeller att uttrycka flera möjliga utförande vägar som en kompakt uppsättning begränsningar. Varje process som inte strider mot dessa begränsningar är tillåten. En av de öppna utmaningarna i samband med konformitetskontroll med deklarativa modeller är förmågan att stödja multi-perspektiva specifikationer. I detta dokument täpper vi till denna lucka genom att tillhandahålla en ram för konformitetskontroll baserad på MP-Declare, en multi-perspektiv version av deklarativ process modellering språk Declare. Metoden har implementerats i processbrytningsverktyget ProM och har experimenterats i tre fallstudier i verkligheten.
I REF har ett generellt multiperspektiv presenterats LTL semantics for Declare (MP-Declare).
Conformance Checking Based on Multi-Perspective Declarative Process Models
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}