Hasso-Plattner-Institut Design IT. Create Knowledge.

News

01.08.2016

openHPI Course "Internetworking 2016"

A new openHPI course about "Internetworking" starts on September 5, 2016. The course is held by Prof. Dr. Christoph Meinel ... [more]
19.05.2016

openHPI Workshop "Embedded Smart Home"

We are going to offer a new openHPI workshop "Embedded Smart Home" in German language. More Infocan be found here ... [more]
10.03.2016

New public demo

You can check out our public demo platform at https://tele-task-demo.hpi.uni-potsdam.de. Please let us know what you ...

Statistics

userclicks 35 M
lecture 5733
activelecturer 2371
series 472
Lecture-Feed of Series: Business Process Compliance (ST 2011) Feed of Series: Business Process Compliance (ST 2011)

Business Process Compliance (ST 2011)

Image of
Not enough ratings.

Prof. Dr. Mathias Weske

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

Predecessor of this series: Business Process Management (WS 2009/10)

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

Not enough ratings.
Date: 11.04.2011
Lang.: en
Dur.: 01:30:49
Play full lecture
• Organisation and Introduction 00:16:55
• Modeling Systems 00:10:42
• Specification of Property I 00:16:45
• Detailed Outline 00:14:34
• Petri Net 1 00:12:23
• Kripke Structures 00:08:14
• Definition of Path 00:11:16

Kripke Structure

Not enough ratings.
Date: 18.04.2011
Lang.: en
Dur.: 01:29:11
Play full lecture
• Big Picture 00:17:39
• State Space 00:19:04
• Derive Kripke Structure 00:19:09
• Paths in transition systems 00:18:38
• Notation 00:14:41
Not enough ratings.
Date: 09.05.2011
Lang.: en
Dur.: 01:27:36
Play full lecture
• Derive Kripke Structure 00:15:35
• Kripke Structures: Next Step 00:14:52
• Kripke Structures: Task C 00:08:58
• LTL (1) 00:15:33
• LTL (2) 00:17:08
• Assignment 3 00:15:30

Model Checking

Not enough ratings.
Date: 16.05.2011
Lang.: en
Dur.: 01:26:19
Play full lecture
• Model Checking Problem 00:17:08
• Büchi Automata 00:15:36
• Büchi Automata Composition 00:10:47
• Example 00:20:34
• Intersection Automata 00:22:14
Not enough ratings.
Date: 23.05.2011
Lang.: en
Dur.: 01:23:26
Play full lecture
• Reaction to New Compliance Rule 00:17:18
• BPMN-Q 00:21:54
• Mapping BPMN to Kripke Structures 00:12:01
• Process Subject to Checking 00:14:17
• Handling Large State Space 00:17:56
Not enough ratings.
Date: 30.05.2011
Lang.: en
Dur.: 01:31:22
Play full lecture
• More than Yes/No Answer 00:21:02
• Anti-Patterns 00:14:55
• Matching Anti Patterns to Process 00:22:10
• Data Aware Compliance Checking 00:17:23
• Data Flow Patterns in BPMN-Q 00:15:52
Not enough ratings.
Date: 06.06.2011
Lang.: en
Dur.: 01:29:30
Play full lecture
• Mapping from Kripke Structure to Büchi Automata 00:12:02
• Properties in LTL 00:19:08
• Properties in LTL(2) 00:16:20
• Model Checking 00:19:08
• BPMN-Q 00:22:52
Not enough ratings.
Date: 20.06.2011
Lang.: en
Dur.: 01:26:40
Play full lecture
• Refreshing last unit 00:15:47
• Using process knowledge to enhance the performance of TLQ solving 00:19:33
• Generating anti patterns 00:17:42
• Explaining violation to conditional precedence 00:17:54
• Abstracted process 00:15:44

Consistency of Compliance Rules

Not enough ratings.
Date: 27.06.2011
Lang.: en
Dur.: 01:17:46
Play full lecture
• Consistency of Compliance Rules 00:18:27
• Domain Knowledge 00:18:58
• Example 00:14:49
• Process Synthesis 00:16:11
• Precedence Graph 00:09:21
Not enough ratings.
Date: 04.07.2011
Lang.: en
Dur.: 01:33:39
Play full lecture
• Conditions 00:20:00
• Status of Compliance 00:21:06
• Assignment 2 00:11:54
• Assignment 3 00:18:23
• Compliance Checker 00:22:16
Not enough ratings.
Date: 11.07.2011
Lang.: en
Dur.: 01:15:05
Play full lecture
• Checking Approach 00:18:17
• Split 00:17:52
• Precedence Graph 00:17:07
• Joins 00:14:27
• Summary of The BPC Lecture 00:07:22
Not enough ratings.
Date: 18.07.2011
Lang.: en
Dur.: 01:39:04
Play full lecture
• Kripke Strukture 00:21:07
• Assignment 1 00:14:11
• Assignment 2 00:11:53
• Assignment 2c 00:15:57
• Assignment 3 00:16:49
• Assignment 4 00:19:07
Tags added to this content

No tags have been added to this content so far.

Tag this content

Please enable javascript to use this function.

Dear user,
with the tagging function you'll be able to add taggs to videos.
However, in order to link all your tags with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
Links added to this content

No links have been added to this content so far.

Add Link to this content

Please enable javascript to use this function.

Dear user,
with the links function you'll be able to add links to other resources to this content.
However, in order to link all your links with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.