Business Process Management (WS 2009/10) - tele-TASKhttps://www.tele-task.de/series/732/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. High quality e-learning content created with tele-TASK - more than video! Powered by Hasso Plattner Institute (HPI)Prof. Dr. Mathias WeskeThe 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. notele-TASKtele-task@hpi.deen℗; ©; tele-TASKMon, 18 Mar 2019 16:32:18 GMTPyRSS2Gen-1.1.0http://blogs.law.harvard.edu/tech/rssCompliance Checking (2)https://www.tele-task.de/lecture/video/1762/Prof. Dr. Mathias Weske01:06:39tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/1762/Mon, 25 Jan 2010 00:00:00 GMTCompliance Checkinghttps://www.tele-task.de/lecture/video/1749/Prof. Dr. Mathias Weske01:23:11tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/1749/Mon, 18 Jan 2010 00:00:00 GMTState Space Reduction Techniques to Verify Business Processeshttps://www.tele-task.de/lecture/video/1731/Niels Lohmann01:11:42tele-TASK, HPI, computer science, technology, Germany, PotsdamNiels LohmannNiels Lohmannhttps://www.tele-task.de/lecture/video/1731/Mon, 11 Jan 2010 00:00:00 GMTExplicit vs. Symbolic Model Checkinghttps://www.tele-task.de/lecture/video/1717/Prof. Dr. Mathias Weske01:27:32tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/1717/Mon, 04 Jan 2010 00:00:00 GMTTemporal Logicshttps://www.tele-task.de/lecture/video/1665/Dr. Matthias Weidlich01:27:35tele-TASK, HPI, computer science, technology, Germany, PotsdamDr. Matthias WeidlichDr. Matthias Weidlichhttps://www.tele-task.de/lecture/video/1665/Mon, 23 Nov 2009 00:00:00 GMTStateshttps://www.tele-task.de/lecture/video/1614/Prof. Dr. Mathias Weske01:26:38tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/1614/Mon, 09 Nov 2009 00:00:00 GMTOryx Workshophttps://www.tele-task.de/lecture/video/1596/Nicolas Peters01:12:56tele-TASK, HPI, computer science, technology, Germany, PotsdamNicolas PetersThe 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.Nicolas Petershttps://www.tele-task.de/lecture/video/1596/Wed, 04 Nov 2009 00:00:00 GMTHow to formalize ithttps://www.tele-task.de/lecture/video/1580/Dr. Matthias Weidlich01:32:33tele-TASK, HPI, computer science, technology, Germany, PotsdamDr. Matthias WeidlichDr. Matthias Weidlichhttps://www.tele-task.de/lecture/video/1580/Mon, 02 Nov 2009 00:00:00 GMTIntroductionhttps://www.tele-task.de/lecture/video/1564/Prof. Dr. Mathias Weske01:30:14tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/1564/Mon, 26 Oct 2009 00:00:00 GMT