1. COMPLIANCE BY DESIGNFOR ARTIFACT-CENTRICBUSINESS PROCESSESNiels Lohmann

2. DISLIKED THINGS 1 Disliked thingsmust notbe forbidden:they have tobe impossible! 3. DISLIKED THINGS 1 Disliked thingsmust notbe forbidden:they have tobe impossible!CARL ADAM PETRI 4. DISLIKED THINGS 1Unsound ornoncompliantbehaviors Disliked thingsmust notbe forbidden:they have tobe impossible!CARL ADAM PETRI 5. CORRECTNESS BY VERIFICATION 2SPECIFICATION 6. CORRECTNESS BY VERIFICATION2CHECK SPECIFICATION 7. CORRECTNESS BY VERIFICATION2CHECKREPAIR SPECIFICATION 8. CORRECTNESS BY VERIFICATION2CHECKREPAIR SPECIFICATION 9. CORRECTNESS BY VERIFICATION2CORRECT MODELCHECKREPAIR SPECIFICATION 10. CORRECTNESS BY DESIGN 3SPECIFICATION CORRECT MODEL 11. CORRECTNESS BY DESIGN 3SPECIFICATION CORRECT MODELBEHAVIORSOUNDNESSDESCRIPTION 12. CORRECTNESS BY DESIGN 3SPECIFICATION CORRECT MODELBEHAVIORSOUNDNESSDESCRIPTIONCOMPLIANCE RULESCOMPLIANCE 13. CORRECTNESS BY DESIGN 33SPECIFICATION CORRECT MODELBEHAVIORDESCRIPTION 2 SOUNDNESSCOMPLIANCE RULES1 COMPLIANCE 14. COMPLIANCE RULES4LEGAL TEXTS + REGULATIONSOFTEN PROCESS-INDEPENDENTTRANSLATED INTORULES BY DOMAINEXPERTSASSUMPTION:RULES AFFECT MODELS BEHAVIOR 15. COMPLIANCE RULES 4LEGAL TEXTS + REGULATIONSOFTEN PROCESS-INDEPENDENTTRANSLATED INTORULES BY DOMAINEXPERTSASSUMPTION:RULES AFFECT MODELS BEHAVIOR The action create settlement must be executed a"er submit claim, but before archive claim. 16. COMPLIANCE RULES 4LEGAL TEXTS + REGULATIONSOFTEN PROCESS-INDEPENDENTTRANSLATED INTORULES BY DOMAINEXPERTSASSUMPTION:RULES AFFECT MODELS BEHAVIOR The action create settlement must be executed a"er submit claim, but before archive claim. 17. COMPLIANCE RULES 4LEGAL TEXTS + REGULATIONSOFTEN PROCESS-INDEPENDENTTRANSLATED INTORULES BY DOMAINEXPERTSASSUMPTION:RULES AFFECT MODELS BEHAVIOR The action create settlement must be executed a"er submit claim, but before archive claim. 18. COMPLIANCE RULES 4LEGAL TEXTS + REGULATIONSOFTEN PROCESS-INDEPENDENTTRANSLATED INTORULES BY DOMAINEXPERTSASSUMPTION:RULES AFFECT MODELS BEHAVIOR The action create settlement must be executed a"er submit claim, but before archive claim. 19. MODELING COMPLIANCE RULES5SUBMIT CREATEARCHIVE CLAIM SETTLEMENT CLAIM The action create settlement must be executed a"er submit claim, but before archive claim. 20. MODELING COMPLIANCE RULES5SUBMIT CREATEARCHIVE CLAIM SETTLEMENT CLAIM The action create settlement must be executed a"er submit claim, but before archive claim. 21. MODELING COMPLIANCE RULES5SUBMIT CREATEARCHIVE CLAIM SETTLEMENT CLAIMCREATESETTLEMENT The action create settlement must be executed a"er submit claim, but before archive claim. 22. MODELING COMPLIANCE RULES5ARCHIVE CLAIMSUBMIT CREATEARCHIVE CLAIM SETTLEMENT CLAIMCREATESETTLEMENT The action create settlement must be executed a"er submit claim, but before archive claim. 23. EXPRESSIVENESS6 ENFORCEMENT/EXCLUSION OF ACTIONS AND DATA STATES ORDERING AND NUMBERING CONSTRAINTS DATA AND CONTROL FLOW CONCURRENCE FINITE LTL-X 24. ARTIFACT-CENTRIC BUSINESS PROCESS7QUOTE ORDERINVOICE CARGO [LOHMANN AND WOLF, ICSOC 2010] 25. ARTIFACT-CENTRIC BUSINESS PROCESS7QUOTE ORDERNOUN-CENTRICINVOICE CARGO [LOHMANN AND WOLF, ICSOC 2010] 26. ARTIFACT-CENTRIC BUSINESS PROCESS7QUOTE ORDERNOUN-CENTRICDECLARATIVEINVOICE CARGO [LOHMANN AND WOLF, ICSOC 2010] 27. ARTIFACT-CENTRIC BUSINESS PROCESS 7CREATED ACCEPTEDRECEIVED REJECTEDCONFIRMED QUOTE ORDER FILED NOUN-CENTRIC DECLARATIVESENTPAID ASSEMBLED INVOICE PACKAGED CARGO SHIPPED[LOHMANN AND WOLF, ICSOC 2010] 28. ARTIFACT-CENTRIC BUSINESS PROCESS 7CREATED ACCEPTEDRECEIVED REJECTEDCONFIRMED QUOTE ORDER FILED NOUN-CENTRIC DECLARATIVESENTPAID ASSEMBLED INVOICE PACKAGED CARGO SHIPPED[LOHMANN AND WOLF, ICSOC 2010] 29. ARTIFACTS8OBJECT LIFE CYCLEEMPTY MODELS ARTIFACTSEVOLUTIONCREATED ACCEPTED REJECTEDQUOTE[LOHMANN AND WOLF, ICSOC 2010] 30. ARTIFACTS8 OBJECT LIFE CYCLEEMPTYMODELS ARTIFACTS EVOLUTIONSELLERCREATEDAGENTS MAY EXECUTE ARTIFACTS TASKS CUSTOMERCUSTOMER ACCEPTEDREJECTED QUOTE[LOHMANN AND WOLF, ICSOC 2010] 31. ARTIFACTS 8OBJECT LIFE CYCLEEMPTY MODELS ARTIFACTSEVOLUTIONSELLER@ SELLERCREATED AGENTSMAY EXECUTEARTIFACTS TASKS CUSTOMERCUSTOMERLOCATIONS ACCEPTEDREJECTED INFLUENCEQUOTE EXECUTABILITY @ SELLER [LOHMANN AND WOLF, ICSOC 2010] 32. ARTIFACT-CENTRIC BUSINESS PROCESS9 9 ARTIFACTS + AGENTS> > > + LOCATIONS > > > = receiveorder create quotesendquote quoterejected ! POLICIES > > quoteaccepted+confirm order sendinvoice payment received + > >assembleship >cargocargo > ; SOUNDGOAL STATES BUSINESS PROCESS [LOHMANN AND WOLF, ICSOC 2010] 33. ARTIFACT-CENTRIC BUSINESS PROCESS 9 9 ARTIFACTS > + AGENTS> > + LOCATIONS > > > = !receive create send quote orderquotequote rejected POLICIESconfirmorder > >quote accepted+send invoicepaymentreceived +> GOAL STATES > assemble cargo shipcargo > >SOUND AND COMPLIANCE;COMPLIANT RULESBUSINESS PROCESS 34. ARTIFACT-CENTRIC BUSINESS PROCESS 9 9 ARTIFACTS >TOOL + AGENTS> >SUPPORT + LOCATIONS > > > = POLICIES > > > GOAL STATES > > >SOUND AND COMPLIANCE;COMPLIANT RULESBUSINESS PROCESS 35. POLICIES VS. COMPLIANCE RULES10 POLICIES!CONSTRAIN ARTIFACT BEHAVIOR MAY DISABLE ARBITRARY ACTIONS COMPLIANCE RULES MONITOR ARTIFACT BEHAVIOR MUST NOT DISABLE ACTIONS NONCOMPLIANCE IS REFLECTED BY NONFINAL STATES 36. DIAGNOSIS INFORMATION11 COMPLIANCE BY DETECTION CORRECT MODELREPAIR CHECK COUNTEREXAMPLE MEANS: CURRENT MODEL IS SPECIFICATION NONCOMPLIANT (YET..?) COMPLIANCE BY CONSTRUCTION COUNTEREXAMPLE MEANS: PROCESS SPECIFICATION CANNOT BE MADESPECIFICATION CORRECT MODEL COMPLIANT 37. TAKE-HOME POINTS12COMPLIANCE BY DESIGN1 AVOIDS SUBSEQUENT PROOFSEXPRESSIVENESS2 A LOT OF RULES CAN BE EXPRESSEDFLEXIBILITY3 CHANGED RULES = REPEAT GENERATIONCOMPLETENESS4 GENERATE MAXIMAL COMPLIANT MODEL 38. COMPLIANCE BY DESIGNFOR ARTIFACT-CENTRICBUSINESS PROCESSESniels.lohmann@uni-rostock.dehttp://about.me/nlohmannNiels Lohmann