Compliance by Design for Artifact-Centric Business Processes

841 views

Published on

Conference presentation given by Niels Lohmann on September 1, 2011 in Clermont-Ferrand, Germany at the 9th International Conference on Business Process Management (BPM 2011).

Published in: Education, Technology, Business
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
841
On SlideShare
0
From Embeds
0
Number of Embeds
10
Actions
Shares
0
Downloads
14
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Compliance by Design for Artifact-Centric Business Processes

  1. 1. COMPLIANCE BY DESIGNFOR ARTIFACT-CENTRICBUSINESS PROCESSESNiels Lohmann
  2. 2. DISLIKED THINGS 1 “ Disliked things must not be forbidden: they have to be impossible! ”
  3. 3. DISLIKED THINGS 1 “ Disliked things must not be forbidden: they have to be impossible! ” CARL ADAM PETRI
  4. 4. DISLIKED THINGS 1 Unsound or noncompliant behaviors “ Disliked things must not be forbidden: they have to be impossible! ” CARL ADAM PETRI
  5. 5. CORRECTNESS BY VERIFICATION 2 SPECIFICATION
  6. 6. CORRECTNESS BY VERIFICATION 2 CHECK SPECIFICATION
  7. 7. CORRECTNESS BY VERIFICATION 2 CHECKREPAIR SPECIFICATION
  8. 8. CORRECTNESS BY VERIFICATION 2 CHECKREPAIR SPECIFICATION
  9. 9. CORRECTNESS BY VERIFICATION 2 CORRECT MODEL CHECKREPAIR SPECIFICATION
  10. 10. CORRECTNESS BY DESIGN 3 SPECIFICATION CORRECT MODEL
  11. 11. CORRECTNESS BY DESIGN 3 SPECIFICATION CORRECT MODEL BEHAVIOR SOUNDNESS DESCRIPTION
  12. 12. CORRECTNESS BY DESIGN 3 SPECIFICATION CORRECT MODEL BEHAVIOR SOUNDNESS DESCRIPTION COMPLIANCE RULES COMPLIANCE
  13. 13. CORRECTNESS BY DESIGN 3 3 SPECIFICATION CORRECT MODEL BEHAVIOR DESCRIPTION 2 SOUNDNESS COMPLIANCE RULES 1 COMPLIANCE
  14. 14. COMPLIANCE RULES 4 LEGAL TEXTS + REGULATIONS OFTEN PROCESS-INDEPENDENT TRANSLATED INTO RULES BY DOMAIN EXPERTS ASSUMPTION: RULES AFFECT MODEL’S BEHAVIOR
  15. 15. COMPLIANCE RULES 4 LEGAL TEXTS + REGULATIONS OFTEN PROCESS-INDEPENDENT TRANSLATED INTO RULES BY DOMAIN EXPERTS ASSUMPTION: RULES AFFECT MODEL’S BEHAVIOR “The action ‘create settlement’ must be executed a"er ‘submit claim’, but before ‘archive claim’.”
  16. 16. COMPLIANCE RULES 4 LEGAL TEXTS + REGULATIONS OFTEN PROCESS-INDEPENDENT TRANSLATED INTO RULES BY DOMAIN EXPERTS ASSUMPTION: RULES AFFECT MODEL’S BEHAVIOR “The action ‘create settlement’ must be executed a"er ‘submit claim’, but before ‘archive claim’.”
  17. 17. COMPLIANCE RULES 4 LEGAL TEXTS + REGULATIONS OFTEN PROCESS-INDEPENDENT TRANSLATED INTO RULES BY DOMAIN EXPERTS ASSUMPTION: RULES AFFECT MODEL’S BEHAVIOR “The action ‘create settlement’ must be executed a"er ‘submit claim’, but before ‘archive claim’.”
  18. 18. COMPLIANCE RULES 4 LEGAL TEXTS + REGULATIONS OFTEN PROCESS-INDEPENDENT TRANSLATED INTO RULES BY DOMAIN EXPERTS ASSUMPTION: RULES AFFECT MODEL’S BEHAVIOR “The action ‘create settlement’ must be executed a"er ‘submit claim’, but before ‘archive claim’.”
  19. 19. MODELING COMPLIANCE RULES 5 SUBMIT CREATE ARCHIVE CLAIM SETTLEMENT CLAIM “The action ‘create settlement’ must be executed a"er ‘submit claim’, but before ‘archive claim’.”
  20. 20. MODELING COMPLIANCE RULES 5 SUBMIT CREATE ARCHIVE CLAIM SETTLEMENT CLAIM “The action ‘create settlement’ must be executed a"er ‘submit claim’, but before ‘archive claim’.”
  21. 21. MODELING COMPLIANCE RULES 5 SUBMIT CREATE ARCHIVE CLAIM SETTLEMENT CLAIM CREATE SETTLEMENT “The action ‘create settlement’ must be executed a"er ‘submit claim’, but before ‘archive claim’.”
  22. 22. MODELING COMPLIANCE RULES 5 ARCHIVE CLAIM SUBMIT CREATE ARCHIVE CLAIM SETTLEMENT CLAIM CREATE SETTLEMENT “The action ‘create settlement’ must be executed a"er ‘submit claim’, but before ‘archive claim’.”
  23. 23. EXPRESSIVENESS 6 ✔ ENFORCEMENT/EXCLUSION OF ACTIONS AND DATA STATES ✔ ORDERING AND NUMBERING CONSTRAINTS ✔ DATA AND CONTROL FLOW CONCURRENCE ✔ FINITE LTL-X
  24. 24. ARTIFACT-CENTRIC BUSINESS PROCESS 7 QUOTE ORDER INVOICE CARGO [LOHMANN AND WOLF, ICSOC 2010]
  25. 25. ARTIFACT-CENTRIC BUSINESS PROCESS 7 QUOTE ORDER “NOUN-CENTRIC” INVOICE CARGO [LOHMANN AND WOLF, ICSOC 2010]
  26. 26. ARTIFACT-CENTRIC BUSINESS PROCESS 7 QUOTE ORDER “NOUN-CENTRIC” DECLARATIVE INVOICE CARGO [LOHMANN AND WOLF, ICSOC 2010]
  27. 27. ARTIFACT-CENTRIC BUSINESS PROCESS 7 CREATED ACCEPTED RECEIVED REJECTED CONFIRMED QUOTE ORDER FILED “NOUN-CENTRIC” DECLARATIVE SENT PAID ASSEMBLED INVOICE PACKAGED CARGO SHIPPED [LOHMANN AND WOLF, ICSOC 2010]
  28. 28. ARTIFACT-CENTRIC BUSINESS PROCESS 7 CREATED ACCEPTED RECEIVED REJECTED CONFIRMED QUOTE ORDER FILED “NOUN-CENTRIC” DECLARATIVE SENT PAID ASSEMBLED INVOICE PACKAGED CARGO SHIPPED [LOHMANN AND WOLF, ICSOC 2010]
  29. 29. ARTIFACTS 8 OBJECT LIFE CYCLE EMPTY MODELS ARTIFACT’S EVOLUTION CREATED ACCEPTED REJECTED QUOTE [LOHMANN AND WOLF, ICSOC 2010]
  30. 30. ARTIFACTS 8 OBJECT LIFE CYCLE EMPTY MODELS ARTIFACT’S EVOLUTION SELLER CREATED AGENTS MAY EXECUTE ARTIFACT’S TASKS CUSTOMER CUSTOMER ACCEPTED REJECTED QUOTE [LOHMANN AND WOLF, ICSOC 2010]
  31. 31. ARTIFACTS 8 OBJECT LIFE CYCLE EMPTY MODELS ARTIFACT’S EVOLUTION SELLER @ SELLER CREATED AGENTS MAY EXECUTE ARTIFACT’S TASKS CUSTOMER CUSTOMER LOCATIONS ACCEPTED REJECTED INFLUENCE QUOTE EXECUTABILITY @ SELLER [LOHMANN AND WOLF, ICSOC 2010]
  32. 32. ARTIFACT-CENTRIC BUSINESS PROCESS 9 9 ARTIFACTS + AGENTS > > > + LOCATIONS > > > = receive order create quote send quote quote rejected ! POLICIES > > quote accepted + confirm order send invoice payment received + > > assemble ship > cargo cargo > ; SOUND ✔ GOAL STATES BUSINESS PROCESS [LOHMANN AND WOLF, ICSOC 2010]
  33. 33. ARTIFACT-CENTRIC BUSINESS PROCESS 9 9 ARTIFACTS > + AGENTS > > + LOCATIONS > > > = ! receive create send quote order quote quote rejected POLICIES confirm order > > quote accepted + send invoice payment received + ✔ > GOAL STATES > assemble cargo ship cargo > > SOUND AND COMPLIANCE ; COMPLIANT RULES BUSINESS PROCESS
  34. 34. ARTIFACT-CENTRIC BUSINESS PROCESS 9 9 ARTIFACTS > TOOL + AGENTS > > SUPPORT + LOCATIONS > > > = POLICIES > > > GOAL STATES > > > SOUND AND COMPLIANCE ; COMPLIANT RULES BUSINESS PROCESS
  35. 35. POLICIES VS. COMPLIANCE RULES 10 POLICIES ! CONSTRAIN ARTIFACT BEHAVIOR MAY DISABLE ARBITRARY ACTIONS COMPLIANCE RULES MONITOR ARTIFACT BEHAVIOR MUST NOT DISABLE ACTIONS NONCOMPLIANCE IS REFLECTED BY NONFINAL STATES
  36. 36. DIAGNOSIS INFORMATION 11 COMPLIANCE BY DETECTION CORRECT MODELREPAIR CHECK COUNTEREXAMPLE MEANS: CURRENT MODEL IS SPECIFICATION NONCOMPLIANT (YET..?) COMPLIANCE BY CONSTRUCTION COUNTEREXAMPLE MEANS: PROCESS SPECIFICATION CANNOT BE MADE SPECIFICATION CORRECT MODEL COMPLIANT
  37. 37. TAKE-HOME POINTS 12 COMPLIANCE BY DESIGN 1 AVOIDS SUBSEQUENT PROOFS EXPRESSIVENESS 2 A LOT OF RULES CAN BE EXPRESSED FLEXIBILITY 3 CHANGED RULES = REPEAT GENERATION COMPLETENESS 4 GENERATE MAXIMAL COMPLIANT MODEL
  38. 38. COMPLIANCE BY DESIGNFOR ARTIFACT-CENTRICBUSINESS PROCESSESniels.lohmann@uni-rostock.dehttp://about.me/nlohmannNiels Lohmann

×