State Space Reduction Techniques to Verify Business Processes
Part of the series: Business Process Management (WS 2009/10)
Niels Lohmann
| Date: | 11.01.2010 |
| Duration: | 01:11:42 |
| 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.
| Dur.: | 00:10:12 |
| Lang.: | en |
Not enough ratings.
| Dur.: | 00:09:27 |
| Lang.: | en |
Not enough ratings.
| Dur.: | 00:22:17 |
| Lang.: | en |
Not enough ratings.
| Dur.: | 00:14:18 |
| Lang.: | en |
Not enough ratings.
| Dur.: | 00:15:34 |
| Lang.: | en |
Add to my playlist
Dear user,
with the playlist function you'll be able to create your own lecture video playlists.
However, in order to link all your playlists 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.
with the playlist function you'll be able to create your own lecture video playlists.
However, in order to link all your playlists 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.
Playlists
This content is not used in any playlist.
Overview of the globally available Notes
You need javascript to use this function
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);
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.