News

03.06.2013

openHPI-Kurs "WWW"

Start des openHPI-Kurses "Einführung in die Web-Technologien" (in deutscher Sprache) bei openHPI. Anmelden können Sie sich hier.
08.04.2013

openHPI-Kurs SQL

Start des Kurses "Datenmanagement mit SQL" auf openHPI. Einschreiben in den Kurs können Sie sich noch jederzeit unter der Adresse ... [more]
05.03.2013

tele-TASK auf der CeBIT 2013

Auch dieses Jahr wird das Projekt tele-TASK wieder auf der CeBIT vertreten sein. Ihr findet uns am Stand des Hasso-Plattner-Instituts ... [more]

Statistics

userclicks~31 Mio.
lecture4444
activelecturer1665
series357
Lecture-Feed of Series: Business Process Compliance (ST 2012)Feed of Series: Business Process Compliance (ST 2012)

Business Process Compliance (ST 2012)

Image of Business Process Compliance (ST 2012)
Nicht genügend Bewertungen

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

Modeling Concurrent Systems

Business Process Technology
Nicht genügend Bewertungen
Datum:23.04.2012
Sprache: en
Dauer:01:31:30
Vorlesung abspielen
• BPC Primer 00:16:50
• Petri Nets 00:11:30
• Event-Driven Process Chains 00:18:07
• Business Process Model and Notation 00:11:35
• Sequence Flow - Uncontrolled Flow 00:18:05
• Attached Intermediate Events 00:15:23
Formalizations and Task Structures
Nicht genügend Bewertungen
Datum:30.04.2012
Sprache: en
Dauer:01:31:29
Vorlesung abspielen
• Big Picture 00:14:05
• Semantics of Formalizations 00:14:30
• Formalization Principles 00:20:17
• Case Study: Task Structures 00:11:39
• Syntax of Task Structures 00:08:39
• Semantics of Task Structures 00:17:45
• Mapping Applied 00:04:34
Modeling Concurrent Systems & Temporal Logics
Nicht genügend Bewertungen
Datum:07.05.2012
Sprache: en
Dauer:01:33:39
Vorlesung abspielen
• Translational Semantics 00:13:04
• Modeling Concurrent Systems 00:19:23
• Modeling Systems 00:17:03
• Definition of Path 00:11:20
• Derive Kripke Structure 00:07:59
• Temporal Logics 00:13:39
• Temporal Logic: LTL 00:11:11

Temporal Logics

Temporal Logics
Nicht genügend Bewertungen
Datum:14.05.2012
Sprache: en
Dauer:01:25:00
Vorlesung abspielen
• Temporal Logics 00:07:50
• Definition of Double Turnstile Relation 1/10 00:16:44
• Definition of Double Turnstile Relation 7/10 00:15:22
• What Can be Expressed in LTL? 00:08:41
• Temporal Logic CTL 00:10:09
• AG and EF 00:09:43
• Sample CTL Properties 00:16:31

Model Checking

LTL Model Checking
Nicht genügend Bewertungen
Datum:04.06.2012
Sprache: en
Dauer:01:22:39
Vorlesung abspielen
• Role of Model Checker 00:17:50
• Next Steps 00:05:30
• Büchi Automaton 00:08:06
• Büchi Automaton for Kripke Structure 00:10:38
• Büchi Automata Composition 00:10:20
• Overall Idea LTL Model Checking 00:15:05
• Immediate Acknowledgement for Every Request? 00:15:10

Compliance Checking

Compliance Checking
Nicht genügend Bewertungen
Datum:18.06.2012
Sprache: en
Dauer:00:55:50
Vorlesung abspielen
• CTL Model Checking, Idea 00:04:50
• Compliance Checking 00:13:10
• Patterns for Finite State Verification 00:08:06
• BPMN-Q 00:14:31
• From Petri Net to Kripke Structure 00:15:13
Reduction Rules, Anti Patterns & Data Aware Compliance Checking
Nicht genügend Bewertungen
Datum:25.06.2012
Sprache: en
Dauer:01:14:19
Vorlesung abspielen
• Handling Large State Space 00:17:19
• Reduction Rules (Cont.) 00:11:30
• Patterns and Anti Patterns 00:16:41
• Matching Anti Patterns to Process 00:05:26
• Data Aware Compliance Checking 00:09:23
• Formalization of Data Access Semantics 00:14:00
Recapitulation and Summary
Nicht genügend Bewertungen
Datum:02.07.2012
Sprache: en
Dauer:01:02:35
Vorlesung abspielen
• Formalization of Data Access Semantics 00:14:38
• Sample Process 1 00:21:29
• Sample Process 2 00:21:41
• Violation Explaination for Data Rules 00:04:47
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.