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: April 11, 2011
Language: English
Duration: 01:30:49
Views: 203

Kripke Structure

Kripke Structure

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

Exercise: Business Process in BPMN

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

Model Checking

Model Checking

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

Compliance Checking

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

Anti Patterns

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

Practice Model Checking

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

Consistency of Compliance Rules

Consistency of Compliance Rules

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

Practice: Data Abstraction

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

Checking Approach

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

Exercise

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