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

Introduction

Organisation and Introduction

Date: April 11, 2011
Language: English
Duration: 01:30:49

Kripke Structure

Kripke Structure

Date: April 18, 2011
Language: English
Duration: 01:29:11

Exercise: Business Process in BPMN

Date: May 9, 2011
Language: English
Duration: 01:27:36

Model Checking

Model Checking

Date: May 16, 2011
Language: English
Duration: 01:26:19

Compliance Checking

Date: May 23, 2011
Language: English
Duration: 01:23:26

Anti Patterns

Date: May 30, 2011
Language: English
Duration: 01:31:22

Practice Model Checking

Date: June 6, 2011
Language: English
Duration: 01:29:30

Consistency of Compliance Rules

Consistency of Compliance Rules

Date: June 27, 2011
Language: English
Duration: 01:17:46

Practice: Data Abstraction

Date: July 4, 2011
Language: English
Duration: 01:33:39

Checking Approach

Date: July 11, 2011
Language: English
Duration: 01:15:05

Exercise

Date: July 18, 2011
Language: English
Duration: 01:39:04