Business Process Compliance (ST 2011) - tele-TASKhttps://www.tele-task.de/series/833/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.deen℗; ©; tele-TASKSun, 19 Sep 2021 14:11:04 GMTPyRSS2Gen-1.1.0http://blogs.law.harvard.edu/tech/rssExercisehttps://www.tele-task.de/lecture/video/2775/enDr. Ahmed Awad01:39:04tele-TASK, HPI, computer science, technology, Germany, PotsdamDr. Ahmed AwadDr. Ahmed Awadhttps://www.tele-task.de/lecture/video/2775/Mon, 18 Jul 2011 09:21:55 GMTChecking Approachhttps://www.tele-task.de/lecture/video/2757/enDr. Ahmed Awad01:15:05tele-TASK, HPI, computer science, technology, Germany, PotsdamDr. Ahmed AwadDr. Ahmed Awadhttps://www.tele-task.de/lecture/video/2757/Mon, 11 Jul 2011 09:18:56 GMTPractice: Data Abstractionhttps://www.tele-task.de/lecture/video/2734/enDr. Ahmed Awad01:33:39tele-TASK, HPI, computer science, technology, Germany, PotsdamDr. Ahmed AwadDr. Ahmed Awadhttps://www.tele-task.de/lecture/video/2734/Mon, 04 Jul 2011 09:15:53 GMTConsistency of Compliance Ruleshttps://www.tele-task.de/lecture/video/2720/enDr. Ahmed Awad01:17:46tele-TASK, HPI, computer science, technology, Germany, PotsdamDr. Ahmed AwadDr. Ahmed Awadhttps://www.tele-task.de/lecture/video/2720/Mon, 27 Jun 2011 09:14:40 GMTPractise Violation Explanationhttps://www.tele-task.de/lecture/video/2714/enDr. Ahmed Awad01:26:40tele-TASK, HPI, computer science, technology, Germany, PotsdamDr. Ahmed AwadDr. Ahmed Awadhttps://www.tele-task.de/lecture/video/2714/Mon, 20 Jun 2011 09:17:18 GMTPractice Model Checkinghttps://www.tele-task.de/lecture/video/2657/enDr. Ahmed Awad01:29:30tele-TASK, HPI, computer science, technology, Germany, PotsdamDr. Ahmed AwadDr. Ahmed Awadhttps://www.tele-task.de/lecture/video/2657/Mon, 06 Jun 2011 09:15:47 GMTAnti Patternshttps://www.tele-task.de/lecture/video/2640/enDr. Ahmed Awad01:31:22tele-TASK, HPI, computer science, technology, Germany, PotsdamDr. Ahmed AwadDr. Ahmed Awadhttps://www.tele-task.de/lecture/video/2640/Mon, 30 May 2011 09:14:58 GMTCompliance Checkinghttps://www.tele-task.de/lecture/video/2627/enDr. Ahmed Awad01:23:26tele-TASK, HPI, computer science, technology, Germany, PotsdamDr. Ahmed AwadDr. Ahmed Awadhttps://www.tele-task.de/lecture/video/2627/Mon, 23 May 2011 09:14:31 GMTModel Checkinghttps://www.tele-task.de/lecture/video/2608/enProf. Dr. Mathias Weske01:26:19tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/2608/Mon, 16 May 2011 09:15:32 GMTExercise: Business Process in BPMNhttps://www.tele-task.de/lecture/video/2594/enDr. Ahmed Awad01:27:36tele-TASK, HPI, computer science, technology, Germany, PotsdamDr. Ahmed AwadDr. Ahmed Awadhttps://www.tele-task.de/lecture/video/2594/Mon, 09 May 2011 09:15:43 GMTKripke Structurehttps://www.tele-task.de/lecture/video/2548/enProf. Dr. Mathias Weske01:29:11tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/2548/Mon, 18 Apr 2011 09:17:12 GMTOrganisation and Introductionhttps://www.tele-task.de/lecture/video/2533/enProf. Dr. Mathias Weske01:30:49tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/2533/Mon, 11 Apr 2011 09:15:00 GMT