Abstrakt. Dagens informationssystem registrerar realtidsinformation om affärsprocesser. Detta gör det möjligt att övervaka företagens begränsningar i drift. I detta dokument presenterar vi en ny ram för runtime-verifiering baserad på linjär tidslogik och färgad automata. Ramen kontrollerar kontinuerligt överensstämmelse med en fördefinierad begränsningsmodell. Vårt tillvägagångssätt kan ge meningsfull diagnostik även efter att ett tvång har överträtts. Detta är viktigt eftersom människor och organisationer i verkligheten kommer att avvika och i många situationer är det inte önskvärt eller ens omöjligt att kringgå tvångsöverträdelser. Som framgår av detta dokument finns det flera metoder för att återhämta sig efter den första begränsningsöverträdelsen. Traditionella metoder som helt enkelt kontrollerar begränsningar kan inte återhämta sig efter den första överträdelsen och fortfarande förutse (oförutsebara) framtida överträdelser. Ramen har implementerats i processbrytningsverktyget ProM.
Författarna till REF fokuserar på att övervaka företagens begränsningar vid körning med hjälp av tidslogik och färgad automata.
Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata
{'venue': 'In Proc. of BPM, LNCS', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}