Business Process Compliance (WT 2013/14)

Dr. Matthias Kunze


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

Predecessor of this series: Business Process Compliance (ST 2012)

Lectures

How to Formalize it?

Date: October 21, 2013
Language: English
Duration: 01:31:36

Modelling Concurrent Systems

Date: November 4, 2013
Language: English
Duration: 01:09:07

Linear Temporal Logic

Date: November 11, 2013
Language: English
Duration: 01:15:19

Computation Trees & Model Checking

Date: November 18, 2013
Language: English
Duration: 01:17:40

Pragmatic Model Checking: From Theory to Implementation

Date: December 3, 2013
Language: English
Duration: 01:23:51

LTL Model Checking & Compliance Checking

Date: December 9, 2013
Language: English
Duration: 01:30:52

Compliance Checking

Date: December 16, 2013
Language: English
Duration: 01:22:43

Data Aware Compliance Checking

Date: January 13, 2014
Language: English
Duration: 00:44:58

Conditional Execution Patterns & Consistency of Compliance Rules

Date: January 20, 2014
Language: English
Duration: 00:57:04