Di Ciccio, Claudio, Ekaputra, Fajar J., Cecconi, Alessio, Ekelhart, Andreas, Kiesling, Elmar. 2019. Finding Non-compliances with Declarative Process Constraints Through Semantic Technologies. In International Conference on Advanced Information Systems Engineering Forum, CAiSE 2019 Forum, Rome, Italy, Hrsg. Cinzia Cappiello, Marcela Ruiz, 60-74. Rome, Italy: Springer, Cham.
BibTeX
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 per-case 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 real-world event logs. Finally, we discuss its implications and future research directions.
Tags
Press 'enter' for creating the tagPublication's profile
Status of publication | Published |
---|---|
Affiliation | WU |
Type of publication | Contribution to conference proceedings |
WU-Journal-Rating new | STRAT-C |
Language | English |
Title | Finding Non-compliances with Declarative Process Constraints Through Semantic Technologies |
Title of whole publication | International Conference on Advanced Information Systems Engineering Forum, CAiSE 2019 Forum, Rome, Italy |
Editor | Cinzia Cappiello, Marcela Ruiz |
Page from | 60 |
Page to | 74 |
Location | Rome, Italy |
Publisher | Springer, Cham |
Year | 2019 |
URL | https://doi.org/10.1007/978-3-030-21297-1_6 |
Open Access | N |
Associations
- Projects
- RISE_BPM
- Cyber-Physical Social Systems for City-wide Infrastructures
- People
- Di Ciccio, Claudio (Former researcher)
- Cecconi, Alessio (Former researcher)
- External
- Ekaputra, Fajar J. (TU Wien, Austria)
- Ekelhart, Andreas (TU Wien, Austria)
- Kiesling, Elmar (TU Wien, Austria)
- Organization
- Institute for Data, Process and Knowledge Management (AE Sabou) (Details)
- Research areas (Ă–STAT Classification 'Statistik Austria')
- 1105 Computer software (Details)
- 1108 Informatics (Details)
- 1109 Information and data processing (Details)
- 1112 Logistics (Details)
- 1122 Artificial intelligence (Details)
- 1161 Human-computer interaction (Details)
- 5306 Business data processing (Details)
- 5367 Management information systems (Details)