How to formalize it
Part of the series: Business Process Management (WS 2009/10)
Not enough ratings. 3 more required
Matthias Weidlich
| Date: | 02.11.2009 |
| Duration: | 01:32:33 |
| Language: | en |
Description of the series:
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.
Not enough ratings. 3 more required
| Dur.: | 00:14:19 |
| Lang.: | en |
Not enough ratings. 3 more required
| Dur.: | 00:14:12 |
| Lang.: | en |
Not enough ratings. 3 more required
| Dur.: | 00:18:57 |
| Lang.: | en |
Not enough ratings. 3 more required
| Dur.: | 00:14:13 |
| Lang.: | en |
Not enough ratings. 3 more required
| Dur.: | 00:12:31 |
| Lang.: | en |
Not enough ratings. 3 more required
| Dur.: | 00:12:15 |
| Lang.: | en |
Playlists
This playlist is not used in any playlist.
Tags added to this content
No tags have been added to this content so far.
Tags added to the series of this content:process (1);