Business Process Compliance (ST 2011)

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 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. The following topics are covered in the lecture

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

Introduction

Organisation and Introduction

Date: 2011-04-11
Lang: en
Dur: 01:30:49

Kripke Structure

Kripke Structure

Date: 2011-04-18
Lang: en
Dur: 01:29:11

Exercise: Business Process in BPMN

Date: 2011-05-09
Lang: en
Dur: 01:27:36

Model Checking

Model Checking

Date: 2011-05-16
Lang: en
Dur: 01:26:19

Practice Model Checking

Date: 2011-06-06
Lang: en
Dur: 01:29:30

Consistency of Compliance Rules

Consistency of Compliance Rules

Date: 2011-06-27
Lang: en
Dur: 01:17:46

Practice: Data Abstraction

Date: 2011-07-04
Lang: en
Dur: 01:33:39

Checking Approach

Date: 2011-07-11
Lang: en
Dur: 01:15:05

Exercise

Date: 2011-07-18
Lang: en
Dur: 01:39:04