Business Process Compliance (Wintersemester 2023/2024)
Dozent:
Prof. Dr. Mathias Weske
(Business Process Technology)
,
Anjo Seidel
(Business Process Technology)
Allgemeine Information
- Semesterwochenstunden: 2
- ECTS: 3
- Benotet:
Ja
- Einschreibefrist: 01.10.2023 - 31.10.2023
- Lehrform: Vorlesung / Seminar
- Belegungsart: Wahlpflichtmodul
- Lehrsprache: Englisch
Studiengänge, Modulgruppen & Module
- 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
- CODS: Complex Data Systems
- HPI-CODS-K Konzepte und Methoden
- CODS: Complex Data Systems
- HPI-CODS-T Techniken und Werkzeuge
- CODS: Complex Data Systems
- HPI-CODS-S Spezialisierung
- DAPP: Data Applications
- HPI-DAPP-K Konzepte und Werkzeuge
- DAPP: Data Applications
- HPI-DAPP-T Techniken und Werkzeuge
- DAPP: Data Applications
- HPI-DAPP-S Spezialisierung
- DICR: Digitalization of Clinical and Research Processes
- HPI-DICR-C Concepts and Methods
- DICR: Digitalization of Clinical and Research Processes
- HPI-DICR-T Technologies and Tools
- DICR: Digitalization of Clinical and Research Processes
- HPI-DICR-S Specialization
- HPI-SSE-S Systems Foundations
- HPI-SSE-C Conceptual Foundations
- SSYS: Software Systems
- HPI-SSYS-C Concepts and Methods
- SSYS: Software Systems
- HPI-SSYS-T Technologies and Tools
- DSYS: Data-Driven Systems
- HPI-DSYS-C Concepts and Methods
- DSYS: Data-Driven Systems
- HPI-DSYS-T Technologies and Tools
- MODA: Models and Algorithms
- HPI-MODA-C Concepts and Methods
- MODA: Models and Algorithms
- HPI-MODA-T Technologies and Tools
Beschreibung
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:
- Introduction
- Modeling Concurrent Systems
- Petri nets
- Kripke structures
- Temporal Logics
- Linear Temporal Logic, LTL
- Computational Tree Logic, CTL
- Model Checking
- General idea of model checking
- LTL: Büchi Automata
- CTL model checking: idea
- Compliance Checking
- BPMN-Q to specify compliance rules
- State space reduction techniques
- Visualization of compliance violations
- Data in compliance checking
- Consistency of Compliance Rules
- Detecting conflicts in rules
- Deriving process templates
Voraussetzungen
The completion of the course Business Process Intelligence is recommended.
Literatur
- 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.
Lern- und Lehrformen
The content of the lecture will be provided by asynchronous video material. For every content, ungraded quizzes will be provided in the moodle to test ones understanding of the discussed topics.
To practice the aquired knowledge, students have to solve assignments. The assignments are not graded and will be discussed in the lecutres. Students have two weeks to solve and prepare the assignments.
Every two weeks we will have a live session to discuss the courses content and the latest quizzes or assignments.
All course contents will be available in the HPI Moodle: https://moodle.hpi.de/course/view.php?id=650
(Enrollment key: bpc_23/24!)
Leistungserfassung
A final, written exam determines the grade. The exam will be at the end of the semester.
Termine
The first lecture will be held on Thursday, 19.10.2023 at 13:30 in A2.1.
The exam is on Thursday, 15.02.2024, 13:30, in A-2.1.
We will have a lecture every second week. During the other week, students can watch the video material at their own speed.
Please be aware of announced changes to the schedule!
Date | Lecture Content |
19.10.23 | Introductory Lecture |
26.10.23 | - |
02.11.23 | Assignment Discussion |
09.11.23 | - |
16.11.23 | Quiz Discussion |
23.11.23 | - |
30.11.23 | Assignment Discussion |
07.12.23 | - |
14.12.23 | Assignment Discussion |
21.12.23 | - |
28.12.23 | Christmas Holidays |
04.01.24 | Christmas Holidays |
11.01.24 | Quiz Discussion |
18.01.24 | - |
25.02.24 | Assignment Discussion |
01.02.24 | - |
08.02.24 | Assignment Discussion & Summary |
15.02.24 | Exam |
Zurück