Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Using BPMN-Q to show violation of execution ordering compliance rules

822 views

Published on

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

How to use compliance checking for ordering rules.

  • Login to see the comments

  • Be the first to like this

Using BPMN-Q to show violation of execution ordering compliance rules

  1. 1. Using BPMN-Q to show violation ofexecution ordering compliance rulesBusiness Process Technology Seminar 2008 Manuel Blechschmidt
  2. 2. Overview2 ■ 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. 3. Problem Domain3 ■ 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. 4. Needs for compliance checking4 ■ 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. 5. Example5 ■ 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. 6. Anti-Pattern6 ■ Derive Anti-Pattern from query {exclude := „A“} ■ Execute anti pattern against process and hope that it wont find matches
  7. 7. Automated derivation of anti patterns7 ■ Anti-Patterns have to be derivate manually ■ Challenge: How to do this automatically?
  8. 8. Possible solution8 ■ 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. 9. Questions9 Questions?

×