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 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)


How to Formalize it?

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

Modelling Concurrent Systems

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

Linear Temporal Logic

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

Computation Trees & Model Checking

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

Pragmatic Model Checking: From Theory to Implementation

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

LTL Model Checking & Compliance Checking

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

Compliance Checking

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

Data Aware Compliance Checking

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

Conditional Execution Patterns & Consistency of Compliance Rules

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