Abstrakt. Att kontrollera efterlevnaden är av stor betydelse i dagens näringsliv. Flera strategier har föreslagits för att ta itu med olika aspekter av kontrollen av efterlevnaden. En av de viktiga aspekterna av efterlevnadskontroll är att se till att affärsverksamheten utförs i en viss ordning. I ett tidigare arbete har vi presenterat ett formellt tillvägagångssätt för effektiv efterlevnadskontroll baserad på modellkontrollteknik. En begränsning av detta tillvägagångssätt och av liknande tillvägagångssätt är bristen på förklaring om hur överträdelser kan inträffa. I detta dokument löser vi denna begränsning genom att utnyttja begreppet mönster/antimönster. Genomförande order efterlevnad regler uttrycks som BPMN-Q frågor. För varje fråga en uppsättning av anti mönster frågor automatiskt härleds och kontrolleras mot process modeller också. När en överträdelse (ett antimönster) hittar en match, visas den kränker delen av processen för användaren.
Med hjälp av efterlevnadsmönster och anti-mönster av överträdelser, används detta tillvägagångssätt för att visualisera skäl för överträdelser av efterlevnaden i processmodellen REF.
Visualization of Compliance Violation in Business Process Models
{'venue': 'Business Process Management Workshops', 'journal': None, 'mag_field_of_study': ['Computer Science']}