Finding non-compliances with declarative process constraints through semantic technologies

Di Ciccio, Claudio ORCID: https://orcid.org/0000-0001-5570-0475 and Ekaputra, Fajar J and Cecconi, Alessio and Ekelhart, Andreas and Kiesling, Elmar (2019) Finding non-compliances with declarative process constraints through semantic technologies. In: Information Systems Engineering in Responsible Information Systems. CAiSE 2019. Lecture Notes in Business Information Processing, 350. Springer, Cham. pp. 60-74.

[img]
Preview
Text
2018CAiSE_FJE_Process_Mining.pdf
Available under License Creative Commons: Attribution 4.0 International (CC BY 4.0).

Download (457kB) | Preview

Abstract

Business process compliance checking enables organisations to assess whether their processes fulfil a given set of constraints, such as regulations, laws, or guidelines. Whilst many process analysts still rely on ad-hoc, often handcrafted percase checks, a variety of constraint languages and approaches have been developed in recent years to provide automated compliance checking. A salient example is DECLARE, a well-established declarative process specification language based on temporal logics. DECLARE specifies the behaviour of processes through temporal rules that constrain the execution of tasks. So far, however, automated compliance checking approaches typically report compliance only at the aggregate level, using binary evaluations of constraints on execution traces. Consequently, their results lack granular information on violations and their context, which hampers auditability of process data for analytic and forensic purposes. To address this challenge, we propose a novel approach that leverages semantic technologies for compliance checking. Our approach proceeds in two stages. First, we translate DECLARE templates into statements in SHACL, a graph-based constraint language. Then, we evaluate the resulting constraints on the graph-based, semantic representation of process execution logs. We demonstrate the feasibility of our approach by testing its implementation on realworld event logs. Finally, we discuss its implications and future research directions.

Item Type: Book Section
Version of the Document: Accepted for Publication
Variance from Published Version: None
Depositing User: Elmar Kiesling
Date Deposited: 29 Dec 2021 11:21
Last Modified: 29 Dec 2021 11:21
Related URLs:
URI: https://epub.wu.ac.at/id/eprint/8491

Actions

View Item View Item

Downloads

Downloads per month over past year

View more statistics