Business Process Compliance (ST 2012)

Prof. Dr. Mathias Weske

In this course we look at the problem of business process compliance. Generally, business processes describe the working procedures within an the mean time, these 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


Modeling Concurrent Systems

Business Process Technology

Date: April 23, 2012
Language: English
Duration: 01:31:30

Formalizations and Task Structures

Date: April 30, 2012
Language: English
Duration: 01:31:29

Modeling Concurrent Systems & Temporal Logics

Date: May 7, 2012
Language: English
Duration: 01:33:39

Temporal Logics

Model Checking

Compliance Checking

Compliance Checking

Date: June 18, 2012
Language: English
Duration: 00:55:50

Recapitulation and Summary

Date: July 2, 2012
Language: English
Duration: 01:02:35