Hasso-Plattner-Institut25 Jahre HPI
Hasso-Plattner-Institut25 Jahre HPI

Business Process Compliance (Sommersemester 2021)

Dozent: Prof. Dr. Mathias Weske (Business Process Technology) , Maximilian Völker (Business Process Technology)

Allgemeine Information

  • Semesterwochenstunden: 2
  • ECTS: 3
  • Benotet: Ja
  • Einschreibefrist: 18.03.2021 - 09.04.2021
  • Lehrform: Vorlesung
  • Belegungsart: Wahlpflichtmodul
  • Lehrsprache: Englisch

Studiengänge, Modulgruppen & Module

IT-Systems Engineering MA
  • BPET: Business Process & Enterprise Technologies
    • HPI-BPET-K Konzepte und Methoden
  • BPET: Business Process & Enterprise Technologies
    • HPI-BPET-S Spezialisierung
  • BPET: Business Process & Enterprise Technologies
    • HPI-BPET-T Techniken und Werkzeuge
  • OSIS: Operating Systems & Information Systems Technology
    • HPI-OSIS-K Konzepte und Methoden
  • OSIS: Operating Systems & Information Systems Technology
    • HPI-OSIS-S Spezialisierung
  • OSIS: Operating Systems & Information Systems Technology
    • HPI-OSIS-T Techniken und Werkzeuge
  • IT-Systems Engineering
    • HPI-ITSE-A Analyse
  • IT-Systems Engineering
    • HPI-ITSE-E Entwurf
Digital Health MA
Data Engineering MA


In this course we look at the problem of business process compliance.

Generally, business processes describe the working procedures within an organization. Still, organizations have to make sure that working procedures follows certain policies and regulations, i.e., compliance rules. Here, we study how to reason about the compliance of business processes with such compliance rules. We base our reasoning on temporal logic.

The following topics are covered in the lecture:


  1. Introduction
  2. Modeling Concurrent Systems
    1. Petri nets
    2. Kripke structures
  3. Temporal Logics
    1. Linear Temporal Logic, LTL
    2. Computational Tree Logic, CTL
  4. Model Checking
    1. General idea of model checking
    2. LTL: Büchi Automata
    3. CTL model checking: idea
  5. Compliance Checking
    1. BPMN-Q to specify compliance rules
    2. State space reduction techniques
    3. Visualization of compliance violations
    4. Data in compliance checking
    5. Decision-Aware Compliance Checking
  6. Consistency of Compliance Rules
    1. Detecting conflicts in rules
    2. Deriving process templates


Completed Bachelor's studies.

For students in the digital health program, it is recommended to complete "Business Process Analytics in Healthcare" before enroling in business process compliance.


  • K. Wolf: Computergestützte Verifikation (HU Berlin / U Rostock)
  • Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, 1999.
  • Baier, C, Katoen, J.-P.: Principles of Model Checking.
  • Matthew B. Dwyer, George S. Avrunin, and James C. Corbett. Patterns in property specifications for finite-state verification. In ICSE, pages 411-420, 1999.
  • Ahmed Awad, Matthias Weidlich, and Mathias Weske. Specification, Verification and Explanation of Violation for Data Aware Compliance Rules. In ICSOC, pp 500-515, 2009.
  • David Knuplesch, Linh Thao Ly, Stefanie Rinderle-Ma, Holger Pfeifer, Peter Dadam: On Enabling Data-Aware Compliance Checking of Business Process Models. ER 2010.
  • Ahmed Awad, Rajeev Gore, James Thomson, and Matthias Weidlich. An Iterative Approach for Business Process Template Synthesis from Compliance Rules. In CAISE 2011.
  • Stephan Haarmann, Kimon Batoulis, and Matthias Weske. Compliance Checking for Decision-Aware Business Processes. In BPM 2018 Workshops.

Lern- und Lehrformen

The course will be conducted online in a mixed setting. The lectures will be held asynchronously and uploaded to moodle. For each lecture, small quizzes will be provided to strengthen the understanding.

We will use the time slot for either brief Q&A sessions, or to discuss one of the five ungraded assignments (see schedule below).

Please enrol in the moodle course:


Key: bpc!2021


The exam will take place Friday, August 6, 2021 at the HPI in room H2.58 (main building).

We will start at 10 a.m., so please make sure that you are there in time, and please bring your student ID. (See the Moodle for more information.)


According to the current planning, there will be live meetings every week in the time slot of the course (Tuesdays, 9:15 to 10:45), either a brief Q&A session or a discussion of an assignment.

Tentative dates:

13.04.2021 Live Introduction
20.04./27.04.2021 Live Q&A for recorded lectures (Link in Moodle)
04.05.2021 Discussion of Assignment 1
11.05./18.05.2021 Live Q&A for recorded lectures
25.05.2021 Discussion of Assignment 2
01.06.2021 Live Q&A for recorded lecture
08.06.2021 Discussion of Assignment 3
15.06./22.06.2021 Live Q&A for recorded lectures
29.06.2021 Discussion of Assignment 4
06.07./13.07.2021 Live Q&A for recorded lectures
20.07.2021 Discussion of Assignment 5
27.07.2021 Summary
06.08.2021 Exam

Please check the Moodle for the most up-to-date information and schedules.