Business Process Compliance (ST 2012) - tele-TASKhttps://www.tele-task.de/series/899/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 lectureHigh quality e-learning content created with tele-TASK - more than video! Powered by Hasso Plattner Institute (HPI)Prof. Dr. Mathias WeskeIn 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 lecturenotele-TASKtele-task@hpi.dede℗; ©; tele-TASKMon, 20 May 2019 15:10:23 GMTPyRSS2Gen-1.1.0http://blogs.law.harvard.edu/tech/rssRecapitulation and Summaryhttps://www.tele-task.de/lecture/video/3433/Prof. Dr. Mathias Weske01:02:35tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3433/Mon, 02 Jul 2012 09:38:19 GMTReduction Rules, Anti Patterns & Data Aware Compliance Checkinghttps://www.tele-task.de/lecture/video/3369/Prof. Dr. Mathias Weske01:14:19tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3369/Mon, 25 Jun 2012 09:30:52 GMTCompliance Checkinghttps://www.tele-task.de/lecture/video/3335/Prof. Dr. Mathias Weske00:55:50tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3335/Mon, 18 Jun 2012 09:50:34 GMTLTL Model Checkinghttps://www.tele-task.de/lecture/video/3302/Prof. Dr. Mathias Weske01:22:39tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3302/Mon, 04 Jun 2012 09:21:05 GMTTemporal Logicshttps://www.tele-task.de/lecture/video/3263/Prof. Dr. Mathias Weske01:25:00tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3263/Mon, 14 May 2012 09:15:59 GMTModeling Concurrent Systems & Temporal Logicshttps://www.tele-task.de/lecture/video/3242/Prof. Dr. Mathias Weske01:33:39tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3242/Mon, 07 May 2012 09:16:32 GMTFormalizations and Task Structureshttps://www.tele-task.de/lecture/video/3238/Prof. Dr. Mathias Weske01:31:29tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3238/Mon, 30 Apr 2012 09:14:38 GMTBusiness Process Technologyhttps://www.tele-task.de/lecture/video/3216/Dr. Matthias Kunze01:31:30tele-TASK, HPI, computer science, technology, Germany, PotsdamDr. Matthias KunzeDr. Matthias Kunzehttps://www.tele-task.de/lecture/video/3216/Mon, 23 Apr 2012 09:15:56 GMT