Hasso-Plattner-Institut20 Jahre HPI
Hasso-Plattner-Institut20 Jahre HPI

Business Process Compliance (Wintersemester 2017/2018)

Dozent: Prof. Dr. Mathias Weske (Business Process Technology) , Dr. Luise Pufahl (Business Process Technology)

Allgemeine Information

  • Semesterwochenstunden: 2
  • ECTS: 3
  • Benotet: Ja
  • Einschreibefrist: 27.10.2017
  • Lehrform: Vorlesung
  • Belegungsart: Wahlpflichtmodul
  • Maximale Teilnehmerzahl: 24

Studiengänge & Module

IT-Systems Engineering MA
  • BPET-Konzepte und Methoden
  • BPET-Spezialisierung
  • BPET-Techniken und Werkzeuge
  • OSIS-Konzepte und Methoden
  • OSIS-Spezialisierung
  • OSIS-Techniken und Werkzeuge


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

  6. Consistency of Compliance Rules

    1. Detecting conflicts in rules
    2. Deriving process templates


Completed Bachelor's studies.


  • 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,


  • 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


  • Ahmed Awad, Rajeev Gore, James Thomson, and Matthias

    Weidlich. An Iterative Approach for Business Process Template Synthesis

    from Compliance Rules. In CAISE 2011.

Lern- und Lehrformen

Lecture and Exercises.


Final Exam.


Wednesdays, 9:15-10:45, Room: A-2.2 

Exam on the 23rd February 2018, 10:00-11:30, Room: A-2.2