Using BPMN-Q to show violation of execution ordering compliance rules
0 likes499 views
The seminar discusses the need for compliance checking in business processes to meet standards like Basel II and ISO 9000. It introduces a query language called bpmn-q for automatically deriving compliance patterns and anti-patterns, aiming to streamline the verification of large numbers of processes. The talk emphasizes the challenge of deriving anti-patterns automatically and suggests a method to generalize them from atomic bpmn-q elements.
Using BPMN-Q to show violation of execution ordering compliance rules
- 1. Using BPMN-Q to show violation of execution ordering compliance rules Business Process Technology Seminar 2008 Manuel Blechschmidt
- 2. Overview 2 ■ The problem domain □ Business Processes in companies □ Compliance standards like Basel II or ISO 9000 ■ Needs for compliance checking ■ Example ■ The enhancement □ Automated derivation of Anti-Patterns □ Formalization of derivation
- 3. Problem Domain 3 ■ Big companies have 1000s of documented business processes ■ They want to follow standards because □ they are forced by law □ the standards make them more efficient ■ The standards are written in prose and have 100s of pages ■ Somebody has to read it, understand it and check all business processes manually if they are compliant ■ This sucks!
- 4. Needs for compliance checking 4 ■ Create language to run queries against processes □ done. Solution: BPMN-Q by Ahmed Awad ■ Use query language to check for different properties □ Create a pattern which expresses your constraint □ Create an anti-pattern which searches for counter examples
- 5. Example 5 ■ Every full execution of the process has to contain activity A A ■ Run this query against the process model and try to find at least one match ■ Now we have to check if there are any counter examples
- 6. Anti-Pattern 6 ■ Derive Anti-Pattern from query {exclude := „A“} ■ Execute anti pattern against process and hope that it won't find matches
- 7. Automated derivation of anti patterns 7 ■ Anti-Patterns have to be derivate manually ■ Challenge: How to do this automatically?
- 8. Possible solution 8 ■ Derive anti patterns for atomic BPMN-Q elements ■ Use induction to generalize the anti patterns for any BPMN-Q query ■ Formalize these derivations ■ optional proof the derivation
- 9. Questions 9 Questions?