Video
Not enough ratings.
Reduction Rules, Anti Patterns & Data Aware Compliance Checking
Create Note
Dear user,
with the manuscript function you'll be able to create your own digital lecture manuscript.
However, in order to link all your notes 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 manuscript function you'll be able to create your own digital lecture manuscript.
However, in order to link all your notes 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.
Add a New Marker
Dear user,
with the marker function you'll be able to create your own digital time markers.
However, in order to link all your markers 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 marker function you'll be able to create your own digital time markers.
However, in order to link all your markers 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.
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.
Tags added to this content
No tags 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.
Links added to this content
No links have been added to this content so far.
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.
16972731541561571586736746866876886977487711041108110831201120312041216121712241244124512471250129112971299130013331380138113821383138413851388138913901391139213931394139513961429143214331434143714401442144314441445144614471448144914501452152815851718188619822410247824822483254426642730274027442745275527662774277627802783278428132840285128542874289729113057312731283239338934653514361936204453
Lecture Structure
- Handling Large State Space (00:00:01)
- Reuse of reduction rules when possible (00:00:01)
- space what can we Reduction (00:00:01)
- The analysis does not require investigation whole (00:00:01)
- of activities (00:00:01)
- in studying the relation between pairs (00:00:01)
- We are interested in s (00:00:01)
- wry (00:01:09)
- K 3123 2 XI (00:01:09)
- swim (00:01:12)
- Checking Rule 2 (00:02:34)
- WEN (00:02:34)
- Reuse of reduction rules when possible (00:02:37)
- space what can we Reduction (00:02:37)
- The analysis does not require investigation whole (00:02:37)
- of activities (00:02:37)
- studying (00:02:37)
- g the relation between pairs (00:02:37)
- We are interested in s (00:02:37)
- Reduction Rules (00:02:38)
- Merging of split gateways (00:02:38)
- Structured Blocks (00:02:38)
- interest to the rule are replaced by an edge (00:02:38)
- Checking Rule (00:11:13)
- Applying (00:11:15)
- Reduction Rules (00:11:26)
- Merging of split gateways (00:11:26)
- Structured Blocks (00:11:26)
- interest to the rule are replaced by an edge (00:11:26)
- Checking Rule (00:11:27)
- Applying (00:11:37)
- Reduction Ru R4 Reduction of structured loops (00:17:21)
- AND join nodes (00:17:21)
- output AND split and single input (00:17:21)
- Reduction of single c (00:17:21)
- activity parallel blocks (00:17:21)
- Reduction of single (00:17:21)
- Applying (00:18:01)
- Reduction Ru R42 Reduction of structured loops (00:18:03)
- AND join nodes (00:18:03)
- output AND split and single input (00:18:03)
- Reduction of single c (00:18:03)
- Reduction of single activity parallel blocks (00:18:03)
- Applying J Reduction R5 Removing Activity Parallel Blocks (00:20:01)
- Reduction Ru R42 Reduction of structured loops (00:20:03)
- AND join nodes (00:20:03)
- output AND split and single input (00:20:03)
- Reduction of single c (00:20:03)
- Reduction of single activity parallel blocks (00:20:03)
- Applying (00:20:04)
- Reduction Ru R42 Reduction of structured loops (00:20:16)
- AND join nodes (00:20:16)
- output AND split and single input (00:20:16)
- Reduction of single c (00:20:16)
- Reduction of single activity parallel blocks (00:20:16)
- Applying 3 Reduction R5 Removing Activity Parallel Blocks (00:20:17)
- Reduction Ru R7 Reduction of single output XOR split (00:20:24)
- Applying J Reduction R5 Removing Activity Parallel Blocks (00:20:44)
- Reduction Ru R42 Reduction of structured loops (00:20:45)
- AND join nodes (00:20:45)
- single (00:20:45)
- output AND split and (00:20:45)
- Reduction of single c (00:20:45)
- Reduction of single activity parallel blocks (00:20:45)
- Applying g Reduction R5 Removing Activity Parallel Blocks (00:20:47)
- Reduction Ru R7 Reduction of single output XOR split (00:20:50)
- 3 Rule 2 (00:21:34)
- More than Yes No Answer (00:21:37)
- Rule 2 (00:21:39)
- More than Answer (00:21:40)
- Rule 2J (00:22:13)
- Rule (00:23:00)
- Applying Reduction (00:23:01)
- Handling Large State Space In the previous example the matching part of the process (00:23:02)
- space what can we Reduction (00:23:02)
- The analysis does not require investigation of the whole (00:23:02)
- g the relation between pairs (00:23:02)
- We are interested in studying (00:23:02)
- Checking Rule (00:23:03)
- Checking Rule 2 (00:23:05)
- Checking Rule (00:23:08)
- Checking Rule (00:23:11)
- Example (00:23:12)
- Process (00:23:13)
- Checking Rule (00:23:16)
- The Big Picture (00:23:52)
- Concluding Compliance Checking checking is a nice application of model (00:23:53)
- pp IS David Ly Stefanie Ma Holger On Enabling Aware Compliance Checking of Models ER 2010 (00:23:53)
- I V f 0 1 L 4 I I Ahmed Matthias and Mathias Weske Specification and of Violation for Data Aware Compliance Rules pp 500 51 I 4 n c I Than I u I i f r (00:23:53)
- Matthew B George S and James C Corbett Patterns n property for In pages 41 I 420 1999 (00:23:53)
- Abstracted Rule Original R After confirming an order non premium (00:23:55)
- But we cannot express something like (00:23:55)
- State sigma state eta (00:23:55)
- Abstracted rule (00:23:55)
- status should be offered to the customer (00:23:55)
- Compliance Checking (00:23:57)
- Resources (00:23:57)
- Data (00:23:57)
- Control Flow (00:23:57)
- The existence of certain activities within the process reporting (00:23:57)
- Activities (00:23:57)
- Anti Patterns Summarized Anti patterns are derived from (00:24:00)
- Matching g Anti Patterns to Process Check whether the hold (00:24:02)
- Anti Patterns Leads to Anti Pattern (00:24:03)
- Using Counter Examples (00:24:04)
- Reduction R7 Reduction of single output XOR split (00:24:05)
- S mp e process model that can be evaluated (00:24:05)
- Result (00:24:05)
- Start events and associated edges as long as we have single (00:24:05)
- Other reduction rules reduce (00:24:05)
- g Reduction R5 Removing Activity Parallel Blocks (00:24:06)
- AND join nodes (00:24:06)
- Reduction of single output AND split and single input (00:24:06)
- other activities that re parallel to it the parallel block is replaced (00:24:06)
- Reduction Ru R41 Reduction of structured loops (00:24:07)
- source of How and the of its (00:24:07)
- AND join nodes (00:24:07)
- Reduction of single output AND split and single input (00:24:07)
- Reduction of single activity parallel blocks (00:24:07)
- Loops having an XOR join node as an and an XOR split as (00:24:07)
- Reduction Ru R71 Reduction of single output XOR split (00:24:08)
- Simple process model that can be evaluated efficiently (00:24:08)
- Result (00:24:08)
- Other reduction rules reduce (00:24:08)
- is applicable only if the activity is involved in (00:24:08)
- Checking Rule (00:24:09)
- Rule 2 (00:24:11)
- More than Yes No Answer (00:24:12)
- Can we benefit from Model Checker counter (00:24:12)
- Questions to address (00:24:12)
- e process is not (00:24:12)
- Tempo a logic formula (00:25:28)
- Using J Counter Examples Can this counter example be used to show violations on (00:26:25)
- Approach Anti Patterns (00:26:25)
- examples are not useful (00:26:25)
- The answer Not always because (00:26:25)
- the process model (00:26:25)
- Patterns and Anti Patterns (00:28:38)
- Approach (00:28:38)
- sure that the process is free from (00:28:38)
- Anti patterns reflect undesired behavior we need to be (00:28:38)
- always do a compliance (00:28:38)
- The Approach (00:31:26)
- Anti Patterns Leads to Anti Pattern (00:39:44)
- patterns properly It can h that (00:39:44)
- Observation is not expressive enough to define anti (00:39:44)
- Anti Patterns (00:40:10)
- Example (00:41:22)
- Anti Patterns (00:41:23)
- Example (00:42:24)
- Compliance Rule Before opening a correspondent account a due diligence (00:44:46)
- analyze the respondent bank (00:44:46)
- Before opening the correspondent account we have to (00:44:46)
- analyzed (00:44:46)
- If respondent Bank annual is received it has to be (00:44:46)
- study on the respondent bank must be conducted (00:44:46)
- Matching Anti Patterns to Process Check whether the patterns hold (00:45:30)
- Deriving Anti Patterns Pattern Anti Pattern (00:45:41)
- Matching Anti Patterns to Process Pattern violated because (00:45:44)
- Deriving Anti Patterns Pattern Anti Pattern (00:45:45)
- Matching Anti Patterns to Process Check whether the patterns hold (00:45:55)
- Deriving Anti Patterns Pattern Anti Pattern (00:46:06)
- Matching Anti Patterns to Process Check whether the patterns hold (00:46:14)
- Deriving Anti Patterns Pattern Anti Pattern (00:46:16)
- Matching Anti Patterns to Process Pattern violated because (00:46:20)
- Deriving Anti Patterns Pattern Anti Pattern (00:46:23)
- Matching Anti Patterns to Process Check whether the patterns hold (00:46:24)
- Deriving Anti Patterns Pattern Anti Pattern (00:46:53)
- Matching Anti Patterns to Process Check whether the patterns hold (00:47:20)
- Deriving Anti Patterns Pattern Anti Pattern (00:47:31)
- Matching Anti Patterns to Process Pattern violated because (00:47:34)
- Anti Patterns Summarized Anti patterns are derived from (00:47:54)
- Data Aware Compliance Checking (00:48:17)
- Anti Patterns Summarized Anti patterns are derived from (00:48:31)
- Data Aware Compliance Checking (00:50:57)
- Matching Anti Patterns to Process can be performed without (00:52:07)
- Data Aware Compliance Checking (00:52:08)
- Data Aware Compliance Checking Approach (00:53:59)
- A data object can assume one state time (00:53:59)
- Assumptions (00:53:59)
- Example (00:53:59)
- we only data that are relevant for (00:53:59)
- Representing I Data Compliance (00:56:29)
- See example next slide (00:56:29)
- with data and states of data (00:56:29)
- Conditional Flow and Data (00:56:29)
- to represent read write activities (00:56:29)
- supports states of data (00:56:29)
- Data compliance is expressed by (00:56:29)
- e 0 y 5sm Han (00:57:45)
- Example (00:58:34)
- Formalization of Data Access Semantics (01:00:19)
- Data and Conditional Rules in Q (01:14:20)
Keyword
Please enable javascript to use this function.
Please enable javascript to use this function.