Checking Business Process Models for Compliance – Comparing Graph Matching and Temporal Logic

Riehle Dennis M


Abstract
Business Process Compliance Management (BPCM) is an integral part of Business Process Management (BPM). A key objective of BPCM is to ensure and maintain compliance of business processes models with certain regulations, e.g. governmental laws. As legislation may change fast and unexpectedly, automated techniques for compliance checking are of great interest among researchers and practitioners. Two dominant concepts in this area are graph-based pattern matching and pattern matching based on temporal logic. This paper compares these two approaches by implementing four compliance patterns from literature with both approaches. It discusses what requirements both approaches have towards business process models and shows how to meet them. The results show that temporal logic is not able to fully capture all four patterns.

Keywords
Process Querying; Pattern Matching; Compliance Patterns; Graph Matching; GMQL; Temporal Logic; CTL



Publication type
Research article in proceedings (conference)

Peer reviewed
Yes

Publication status
Published

Year
2019

Conference
Business Process Management Workshops (BPM2018)

Venue
Sydney, Australia

Book title
Business Process Management Workshops - BPM 2018

Editor
Daniel Florian, Sheng Quan Z., Motahari Hamid

Pages range
403-415

Volume
342

Title of series
Lecture Notes in Business Information Processing

Publisher
Springer

Language
English

ISBN
978-3-030-11640-8

DOI

Full text