News

14.04.2011

Flash Player im neuen Design mit neuen Funktionen

Der Flash Player für die kompletten Vorlesungen ist in einem neuen Design verfügbar. Der flexible Player, der die beiden Videostreams ... [more]
11.03.2011

Statistiken

Die ersten Statistiken des Portals können auf der Webseite gefunden werden. Eine kleine Statistik über die aktuelle Zahl der Vorlesungen ... [more]
13.02.2011

Verknüpfung von externen Webseiten

Neuerdings ist es möglich, zu Vorlesungen passende Webseiten zu verknüpfen. Somit können weitere Informationen einfach zur Verfügung gestellt werden. Dabei ... [more]
01.10.2010

Neue Suchfunktion

Ab heute gibt es eine neue Suchfunktion. Es ist jetzt ganz einfach möglich, nach allen Objekten, unabhängig von ihrem Typ ... [more]
Feed of Series: Business Process Management (WS 2009/10)Feed of Series: Business Process Management (WS 2009/10)

Business Process Management (WS 2009/10)

Prof. Dr. Mathias Weske

The lecture introduces advanced topics in Business Process Management (BPM). In particular, the formal side of BPM is investigated. In the first part, we focus on the generic formalization aspects including syntax and semantics of process languages. Based thereon, basic notions for formal analysis of process models are investigated. Finally, a set of existing techniques for analyzing concrete properties is introduced.

Introduction

Introduction
Nicht genügend Bewertungen3mehr benötigt
Datum:26.10.2009
Sprache: en
Dauer:01:30:14
Vorlesungen abspielen
• Organization 00:11:16
• Introduction and Motivation 00:17:10
• BPM Primer (1) 00:21:08
• BPM Primer (4) 00:19:40
• Syntax of Formalizations 00:11:04
• Translations Semantics 00:11:28

How to formalize it

How to formalize it
Nicht genügend Bewertungen3mehr benötigt
Datum:02.11.2009
Sprache: en
Dauer:01:32:33
Vorlesungen abspielen
• Review 00:14:19
• Operational Semantics 00:14:12
• Formalization Principles 00:18:57
• Conceptualization Principle 00:14:13
• Semantics of Task Structures 00:12:31
• Denotational Semantics 00:12:15

Oryx

Oryx Workshop
Nicht genügend Bewertungen2mehr benötigt
Datum:04.11.2009
Sprache: en
Dauer:01:12:56

Oryx Workshop

Nicolas Peters

The Oryx workshop gives a comprehensive overview of the fundamentals of the extensible, web-based modeling platform Oryx that consists of a model editor and a repository to store and manage models. The presentation gives insight into the history and the intentions to develop a platform that supports research in modeling, particularly process modeling. After introducing the platform and its software architecture, the presenter focuses on extending the editor with new modeling languages through stencil sets, and new functionality through plugins. Finally, a brief insight into the structure of the project is given as a starting point to implement new features.

Vorlesungen abspielen
• Introduction 00:06:49
• Architecture 00:09:11
• Stencil Sets 00:22:45
• Client Plugins 00:10:00
• Server Plugins 00:05:50
• Development Environment 00:18:21

States

Temporal Logics
Nicht genügend Bewertungen2mehr benötigt
Datum:23.11.2009
Sprache: en
Dauer:01:27:35
Vorlesungen abspielen
• Temporal Logics 00:17:14
• Investigated paths 00:14:44
• Semantic of Temporal Operators 00:11:41
• Definition of Relation 1 00:14:04
• Definition of Relation 6 00:18:04
• Temporal Logic CTL 01:28:00
States
Nicht genügend Bewertungen2mehr benötigt
Datum:09.11.2009
Sprache: en
Dauer:01:26:38
Vorlesungen abspielen
• Introduction 00:13:31
• Didactive Verification 00:11:22
• Petri Net Process 00:12:49
• Petri Net Example 2 00:12:13
• Kripke Structures 00:09:22
• Definition of Path 00:12:48
• State Space 00:14:33

Model Checking Basics & Temporal Logics

Datum:11.01.2010
Sprache: en
Dauer:01:11:42
Vorlesungen abspielen
• Correctness of Business Processes 00:10:12
• State Space Explosion 00:09:27
• Partial Order Reduction 00:22:17
• Symmetry Reduction 00:14:18
• Lessons Learned 00:15:34
Compliance Checking
Nicht genügend Bewertungen2mehr benötigt
Datum:18.01.2010
Sprache: en
Dauer:01:23:11
Vorlesungen abspielen
• Application: Compliance Checking 00:22:50
• Reaction to new Compliance Rule 00:10:34
• Expressing Compliance Rules as Queries 00:06:54
• Final State Model Checking 00:15:13
• Process Subject to Checking 00:20:18
• Patterns and Anti Patterns 00:07:22
Compliance Checking (2)
Nicht genügend Bewertungen3mehr benötigt
Datum:25.01.2010
Sprache: en
Dauer:01:06:39
Vorlesungen abspielen
• Checking Rule 00:11:02
• Anti Patterns 00:09:17
• Matching Anti Patterns to Process 00:10:15
• Representing Data Compliance 00:11:46
• Data and Conditional Rules in BPMN-Q 00:10:21
• Conditional Precedence 00:13:58
Explicit vs. Symbolic Model Checking
Nicht genügend Bewertungen2mehr benötigt
Datum:04.01.2010
Sprache: en
Dauer:01:27:32
Vorlesungen abspielen
• Modelling Process Overview 00:11:08
• Next Steps 00:05:36
• Büchi Automoton for Kripke Structure 00:22:01
• Example 00:15:19
• Immediate Acknowledgement 00:23:23
• CTL Model Checking, Idea 00:10:05
Ähnliche Serien
You need javascript to use this function

Related series will be loaded

Tags added to this content

process (1);