From Theory to Practice Transferring Innovative BPM Research to Industrial Practice. Manfred Reichert

Transcription

1 From Theory to Practice Transferring Innovative BPM Research to Industrial Practice Manfred Reichert Manfred Reichert 9 September 2013 Keynote EVL-BP 2013

2 Page 2 M Reichert Keynote EVL-BP September 2013 Introduction ADEPT A Decade of Research on Flexible Process-Aware Information Systems and its Transfer to Practice Large Processes in the Automotive Industry and Technologies to Support them Conclusions

3 M Reichert Keynote EVL-BP September 2013 Page 3 Processes can become very large and complex Thousands of concurrently executed process instances High need for flexibility in all phases of the process lifecycle Support for application integration is fundamental Correctness and robustness are crucial features of any processaware information systems Integrated support of all phases of the process lifecycle required Example of an Automotive Engineering Process Healthcare Process Introduction Product Change Management

4 Page 4 M Reichert Keynote EVL-BP September 2013 Introduction: PAIS Build-Time Process Schema S Patient Admission Anamnesis & Clinical Examination x X-ray Non Operative Therapy Non Operative Therapy 1 x Discharge & Documentation x + Activity XOR-Split/Join AND-Split/Join clinicalsuspicionof CruciateRupture = Yes MRT + + Sonography x Initial Treatment & Operation Planning cruciaterupture = Yes and operationindicated = Yes Operative Treatmentt x Process Instance I1 x + + x x x Execution Trace: σ 1 = < Patient Admission, Anamnesis & Clinical Examination, X-ray > Process Instance I2 x + + x x x Execution Trace: σ 2 = < Patient Admission, Anamnesis & Clinical Examination, Non Operative Therapy > Activity States: Activated Completed Skipped

5 Page 5 M Reichert Keynote EVL-BP September 2013 Compliance Violation Make next appointment Release patient Admit patient Make next appointment Release patient PAIS: Levels of Correctness Inconsistency Deadlock Lifelock Semantic Correctness (Business Process Compliance) Impossible Data-flow Behavioral Correctness (Soundness) Syntactical Correctness Missing End Event Wrong Flows

6 Page 6 M Reichert Keynote EVL-BP September 2013 Introduction: PAIS Run-Time Process-Aware Information System Std Client APIWeb Clnt APIModeling API Dyn Change API Admin API Role Mgmt Authorization Time Mgmt Msg Queuing Recovery Audit Trail Process 4 Process 3 Process 2 Process 1 Process Execution Engine Process 6 Process 5 Process 11 Process 10 Process 9 Process 8 Process 7 Process 14 Process 13 Process 12 Anwendungen / Application Server Users Process Designer

7 Page 7 M Reichert Keynote EVL-BP September 2013 Introduction: PAIS Lifecycle Schema S : B Schema S: A x C B x A x D C x E D Weber, B, Mutschler, B, Reichert, M (2010) Investigating the Effort of Using Business Process Management Technology: Results from a Controlled Experiment Science of Computer Programming, 75(5): Process engineer / Process administrator Process Monitoring Execution Log Create Instances Instance I 1 Instance I 1 B Instance I 1 B A x CB x E A x C x E A x C x E D D D Process Execution Arbeitsliste Tätigkeit 1 Tätigkeit 2 Tätigkeit 3 Tätigkeit 4 Process participant Process Modeling Process Configuration & Implementation Process Execution Process Monitoring

8 Page 8 M Reichert Keynote EVL-BP September 2013 Introduction ADEPT A Decade of Research on Flexible Process-Aware Information Systems and its Transfer to Practice Large Processes in the Automotive Industry and Technologies to Support them Conclusions

9 Page 9 M Reichert Keynote EVL-BP September 2013 ADEPT: Challenges Good idea! Let it be the new process version! Process-aware Information System Running Instances / Process Engine Migrate running instances? Process Models Deal with conflicts between ad-hoc changes and schema changes at type level Process Logs

10 Page 10 M Reichert Keynote EVL-BP September 2013 ADEPT: Challenges Process engineer / Process administrator Need for Process Evolution Execution Log Process Need Monitoring for Monitoring and Analyzing Dynamic Processes Schema S : B Schema S: A x C A B x x D C x E Create Instances Instance I 1 Instance I 1 B Instance I 1 B A x CB x E A x C x E A x C x E D D D D Need for Process Variant Configuration Process Execution Need for Ad-hoc Deviations Arbeitsliste Tätigkeit 1 Tätigkeit 2 Tätigkeit 3 Tätigkeit 4 Process participant Reichert, M, Rinderle-Ma, S, Dadam, P (2010) Flexibility in Process-aware Information Systems LNCS Transactions on Petri Nets and Other Models of Concurrency, Vol 2, pp

11 Page 11 M Reichert Keynote EVL-BP September 2013 ADEPT: Challenges Schema S : B Schema S: A x C B x A x D C x E D Process engineer / Process administrator Process Monitoring Execution Log Create Instances Instance I 1 Instance I 1 B Instance I 1 B A x CB x E A x C x E A x C x E D D D Process Execution Need for Ad-hoc Deviations Arbeitsliste Tätigkeit 1 Tätigkeit 2 Tätigkeit 3 Tätigkeit 4 Process participant

12 Page 12 M Reichert Keynote EVL-BP September 2013 ADEPT: Ad-hoc Changes Examinations U Wallace, Edgar U Miller, Anne Examination Check Anesthesiology Exceptional case we need an additional lab test! U Smith, Karl U Jones, Isabelle X-Ray Explanation Operation Risks Lab Test The Users' View Reichert, Manfred and Dadam, Peter (1998) ADEPTflex-Supporting Dynamic Changes of Workflows Without Losing Control Journal of Intelligent Information Systems, Special Issue on Workflow Management Systems, 10(2): , Kluwer

13 Page 13 M Reichert Keynote EVL-BP September 2013 ADEPT: Ad-hoc Changes Process Type Level System s View Process Schema S Non Operative Therapy Patient Admission Anamnesis & Clinical Examination x X-ray Non Operative Therapy 1 x Discharge & Documentation clinicalsuspicionof CruciateRupture = Yes + MRT + x x x + Activity XOR-Split/Join AND-Split/Join Sonography Initial Treatment & Operation Planning cruciaterupture = Yes and operationindicated = Yes Operative Treatment Process Instance Level Process Instance I1 x + + x x x Process Instance I2 x + + x x x Execution Trace: σ 1 = < Patient Admission, Anamnesis & Clinical Examination, X-ray > Execution Trace: σ 2 = < Patient Admission > Reichert, Manfred and Dadam, Peter (1998) ADEPTflex-Supporting Dynamic Changes of Workflows Without Losing Control Journal of Intelligent Information Systems, Special Issue on Workflow Management Systems, Vol 10, No 2, pp

14 Page 14 M Reichert Keynote EVL-BP September 2013 ADEPT: Ad-hoc Changes Process Type Level System s View Process Schema S Non Operative Therapy Patient Admission Anamnesis & Clinical Examination x X-ray Non Operative Therapy 1 x Discharge & Documentation x + Activity XOR-Split/Join AND-Split/Join clinicalsuspicionof CruciateRupture = Yes + MRT + x x Sonography For patient Mozart the MRT Initial Treatment & activity Operative Treatment Operation Planning needs to be skipped due to his cardiac pacemaker cruciaterupture = Yes and operationindicated = Yes Process Instance Level Process Instance I1 x + + x x x Process Instance I2 x + + x x x Execution Trace: σ 1 = < Patient Admission, Anamnesis & Clinical Examination, X-ray > Execution Trace: σ 2 = < Patient Admission > Reichert, Manfred and Dadam, Peter (1998) ADEPTflex-Supporting Dynamic Changes of Workflows Without Losing Control Journal of Intelligent Information Systems, Special Issue on Workflow Management Systems, Vol 10, No 2, pp

15 Page 15 M Reichert Keynote EVL-BP September 2013 ADEPT: Ad-hoc Changes Process Type Level System s View Process Schema S Non Operative Therapy Patient Admission Anamnesis & Clinical Examination x X-ray Non Operative Therapy 1 x Discharge & Documentation clinicalsuspicionof CruciateRupture = Yes + MRT + x x x + Activity XOR-Split/Join AND-Split/Join Sonography Initial Treatment & Operation Planning cruciaterupture = Yes and operationindicated = Yes Operative Treatment Process Instance Level Process Instance I1 x + + x x x Process Instance I2 x + + x x x Execution Trace: σ 1 = < Patient Admission, Anamnesis & Clinical Examination, X-ray > Execution Trace: σ 2 = < Patient Admission > Reichert, Manfred and Dadam, Peter (1998) ADEPTflex-Supporting Dynamic Changes of Workflows Without Losing Control Journal of Intelligent Information Systems, Special Issue on Workflow Management Systems, Vol 10, No 2, pp

16 Page 16 M Reichert Keynote EVL-BP September 2013 ADEPT: Ad-hoc Changes Process Type Level Change Correctness Process Schema S Non Operative Therapy Patient Admission Anamnesis & Clinical Examination x X-ray Non Operative Therapy 1 x Discharge & Documentation clinicalsuspicionof CruciateRupture = Yes + MRT + x x x + Activity XOR-Split/Join AND-Split/Join Sonography Initial Treatment & Operation Planning cruciaterupture = Yes and operationindicated = Yes Operative Treatment Process Instance Level Process Instance I3 x + + x x x Execution Trace: σ 3 = < Patient Admission, Anamnesis & Clinical Examination, MRT, X-ray, Sonography > I3 is not compliant with change Delete (I3, MRT) Rinderle, Stefanie and Reichert, Manfred (2004) Correctness Criteria for Dynamic Changes in Workflow Systems: A Survey Data & Knowledge Engineering, Vol 50, No 1, pp 9-34

17 Page 17 M Reichert Keynote EVL-BP September 2013 ADEPT: Ad-hoc Changes a) b) c) A A A B NT= NULL A B X C jumpforward(cfs instance, G, J, ) B C E H Insert X between DE F G G M J K N skip before = {C, D}and M after = {F} I D n target n sync F Solution for many fundamental research issues! Step 2: Insert X parallel to this block Nachholbereich C Step 1: Determine minimal X block NT = NULL B E H NT = NULL MinBlock CFS ({C, D, F}) A D G J K C n 1 C n I target n 2 n sync A B E F F G A B E F G n begin Formal D n end foundation NT= NULL of D the NT= NULL NS = ACTIVATED Step 3: Insert sync ADEPT edges technology! H Step 4: Apply reduction NS rules = RUNNING G NS = COMPLETED ET = SOFT_SYNC_E X n I ES = TRUE_SIGNALED X target n 2 C B D C F D E ET=SOFT_SYNC_E E F NT= NULL n 1 G AJ n sync B C D K E Reichert, F GManfred and Dadam, Peter and Bauer, Thomas (2003) Dealing with forward and backward jumps in workflow management systems Int'l Journal Software and Systems Modeling (SOSYM), 2(1): 37-58

18 Page 18 M Reichert Keynote EVL-BP September 2013 ADEPT: Ad-hoc Changes Annotating changes with information about the reasons for the change Retrieval of similar past changes based on context information Reuse of changes through PAIS User Assistance Process Instance I 1 Delete(I 1,MRT) Patient Anamnesis & x Admission Clinical Examination X-ray Non Operative Therapy Non Operative Therapy 1 x Discharge & Documentation + MRT + x x Sonography Initial Treatment & Operation Planning Operative Treatment pd c1 = The treatment of cruciate ruptures routinely includes a magnetic resonance tomography (MRT), an X-ray and a sonography However, for a particular patient the MRT may have to be skipped as the respective patient has a cardiac pacemaker qasetc1 = {(Does the patient have a cardiac pacemaker?, PatientproblemListhasPacemaker = 'Yes')} sol c1 = <Delete(S I,MRT)> freq c1 = 1 Case c 1 Weber, Barbara and Reichert, Manfred and Wild, Werner and Rinderle-Ma, Stefanie (2009) Providing Integrated Life Cycle Support in Process-Aware Information Systems Int'l Journal of Cooperative Information Systems, Vol 18, No 1, pp

19 Page 19 M Reichert Keynote EVL-BP September 2013 ADEPT: Change Mining and Learning 1 Changes are rather costly 2 Variants are difficult to maintain Li, C, Reichert, M, Wombacher, A (2011) Mining Business Process Variants: Challenges, Scenarios, Algorithms Data & Knowledge Engineering, Vol 70, No 5, pp , Derive a new reference process model from the the variants such that: Less adaptations are needed in future!

20 Page 20 M Reichert Keynote EVL-BP September 2013 ADEPT: Process Schema Evolution Process engineer / Process administrator Need for Process Evolution Process Monitoring Execution Log Schema S : B Schema S: A x C B x A x D C x E D Create Instances Instance I 1 Instance I 1 B Instance I 1 B A x CB x E A x C x E A x C x E D D D Process Execution Arbeitsliste Tätigkeit 1 Tätigkeit 2 Tätigkeit 3 Tätigkeit 4 Process participant

21 Page 21 M Reichert Keynote EVL-BP September 2013 ADEPT: Process Schema Evolution ADEPT Process Management System Std Client APIWeb Clnt APIModeling API Dyn Change API Admin API Role Mgmt Authorization Time Mgmt Msg Queuing Recovery Audit Trail Process 4 Process 3 Process 2 Process 1 Process Engine Process 6 Process 5 Process 11 Process 10 Process 9 Process 8 Process 7 Process 14 Process 13 Process 12 The Users' View ADEPT Process Composer Create Process Template Modify Process Template Check Process Template Repository Process Application Templates Components Anwendungen / Application Server Users 4377 instances can be automatically migrated 1117 instances have proceeded too far 123 instances cannot be automatically migrated Process Designer / Process Administrator

22 Page 22 M Reichert Keynote EVL-BP September 2013 ADEPT: Process Schema Evolution Schema S: confirm order System s View pack goods S : make invoice confirm order invoice pack goods send invoice I 1 : get order collect data deliver goods get order compose order migrate collect data compose order deliver goods I 2 : migrate I n : migrate Process instance not state compliant with S' (remains being executed according to S) Rinderle, S, Reichert, M, Dadam, Peter (2004) Flexible Support of Team Processes by Adaptive Workflow Systems Distributed and Parallel Databases, 16(1):

23 Page 23 M Reichert Keynote EVL-BP September 2013 ADEPT: Process Schema Evolution Schema S: confirm order System s View pack goods S : make invoice confirm order invoice pack goods send invoice get order I 1 : collect data deliver goods get order compose order migrate collect data compose order deliver goods I 2 : X X X Ad-hoc Change migrate? Indispensable: General, Formal Correctness Criterion I n : migrate Analogy: DBMS Concurrency Control "Serializability Principle" Process instance not compliant with S' Rinderle, S, Reichert, M, Dadam, P (2004) Disjoint and Overlapping Process Changes: Challenges, Solutions, Applications In: Proc CooplS'04, Agia Napa, LNCS 3290,, pp

24 Page 24 M Reichert Keynote EVL-BP September 2013 ADEPT: Extended Process Lifecycle Support Schema S : B Schema S: A x C B x A x D C x E D Process engineer / Process administrator Process Monitoring Execution Log Change Log Create Instances Change Propagation Instance I 1 Instance I 1 B Instance I 1 B A x CB x E A x C x E A x C x E D D D Process Execution Instancespecific Change Exception: Delete (I 1, E) Arbeitsliste Tätigkeit 1 Tätigkeit 2 Tätigkeit 3 Tätigkeit 4 Process participant Weber, B, Sadiq, S, Reichert, M (2009) Beyond Rigidity - Dynamic Process Lifecycle Support: A Survey on Dynamic Changes in Process-aware Information Systems Computer Science - Research and Development, 23(2): 47-65, Springer

25 Page 25 M Reichert Keynote EVL-BP September 2013 ADEPT: Implementing the Framework (Formal) Process Meta Model Process Fragment Composition Process Type Changes Architecture And Implementation Ad-hoc Changes Response Times Propagation of Process Type Changes User Interface / API Transactional Support / Semantic Rollback Support of Temporal Constraints Efficient Execution Componentorientied Software Development Scalability / Distributed Process Mgmt Dadam, Peter and Reichert, Manfred (2009) The ADEPT Project: A Decade of Research and Development for Robust and Flexible Process Support - Challenges and Achievements Computer Science - Research and Development, Vol 23, No 2, pp 81-97

26 Page 26 M Reichert Keynote EVL-BP September 2013 ADEPT: Implementing the Framework (Formal) Process Meta Model Process Fragment Composition Process Type Changes Architecture And Implementation Ad-hoc Changes Response Times Propagation of Process Type Changes User Interface / API Transactional Support / Semantic Rollback Support of Temporal Constraints Efficient Execution Componentorientied Software Development Scalability / Distributed Process Mgmt Dadam, Peter and Reichert, Manfred (2009) The ADEPT Project: A Decade of Research and Development for Robust and Flexible Process Support - Challenges and Achievements Computer Science - Research and Development, Vol 23, No 2, pp 81-97

27 Page 27 M Reichert Keynote EVL-BP September 2013 ADEPT: Implementing the Framework (Formal) Process Meta Model Process Fragment Composition Process Type Changes Architecture And Implementation Ad-hoc Changes Response Times Propagation of Process Type Changes User Interface / API Transactional Support / Semantic Rollback Support of Temporal Constraints Efficient Execution Componentorientied Software Development Scalability / Distributed Process Mgmt Dadam, Peter and Reichert, Manfred (2009) The ADEPT Project: A Decade of Research and Development for Robust and Flexible Process Support - Challenges and Achievements Computer Science - Research and Development, Vol 23, No 2, pp 81-97

28 Page 28 M Reichert Keynote EVL-BP September 2013 ADEPT: Clinical Pathway Support Patient is pregnant; process variant pregnacy is chosen Flexible Support of Clinical Pathways with ADEPT Partners: Jan Neuhaus, Claudia Reuter Fraunhoferinstitut Dortmund Increased blood sugar level; process variant Diabetes is chosen New process fragments are inserted in parallel!

29 Page 29 M Reichert Keynote EVL-BP September 2013 ADEPT: Disaster Management Process-aware, Cooperative Emergency Management for Water Infrastructures Partner: TU Darmstadt A Wagenknecht; U Rüppel: Improving Resource Management In Flood Response With Process Models and Web GIS In: 16th TIEMS Conf, 2009

30 Page 30 M Reichert Keynote EVL-BP September 2013 ADEPT: Transfering ADEPT to Practice The AristaFlow BPM Suite AristaFlow BPM Suite wwwaristaflow-forumde

31 Page 31 M Reichert Keynote EVL-BP September 2013

32 Page 32 M Reichert Keynote EVL-BP September 2013 Another Contribution: Comparing PAIS Flexibility Frameworks (1) Change Patterns Weber, B, Reichert, M, and Rinderle-Ma, S (2008) Change Patterns and Change Support Features Enhancing Flexibility in Process-Aware Information Systems Data & Knowledge Eng, 66(3): ,

33 Page 33 M Reichert Keynote EVL-BP September 2013 Another Contribution: Comparing PAIS Flexibility Frameworks (2) Patterns for Decision Deferral High Need for User Experience Low Process model can contain Specification Number placeholders needs of activity to be whose instances content is completed can be selected specified before during at run-time execution can start Traditional Workflow Multi-instance Activities Late Binding Late Modeling Late Composition Process model is iteratively composed Process model during can run-time contain considering placeholders existing whose constraints content is modeled during run-time Low Degree of Decision Deferral High

34 Page 34 M Reichert Keynote EVL-BP September 2013 Another Contribution: Comparing PAIS Flexibility Frameworks (3) Change Support Features Schema Evolution, Version Control and Instance Migration Support for Instance-Specific Changes Correctness of Changes Traceability and Analysis of Changes Access Control of Changes Change Reuse Change Concurrency Control Refactoring Support for Process Models

35 Page 35 M Reichert Keynote EVL-BP September 2013 Another Contribution: Comparing PAIS Flexibility Frameworks (4) Primitive / Pattern ADEPT2 / CBRFlow CAKE 2 Academic HOON MOVE P o F WASA2 WIDE YAWL + Worklets / Exlets Flower Commercial Change Primitives PR1 Add Node PR2 Remove Node PR3 Add Edge PR4 Remove Edge PR5 Move Edge + + Adaptation Patterns AP1 Insert Fragment A[1, 2], B[1,2,3], A[2], B[1], C [1, 2] C[1,2] AP2 Delete Fragment A[1, 2], B[1,2,3] A[2], B[1] AP3 - Move Fragment A[1, 2], B[1,2,3], C[1,2] AP4 Replace Fragment A[2], B[1] AP5 Swap Fragment AP6 Extract Fragment A[1,2], B[3] AP7 Inline Fragment A[1,2], B[2] AP8 Embed Fragment in A[1,2], B[1,2,3] AP9 Parallelize Activities A[1,2], B[1,2,3] AP10 - Embed Fragment in Conditional Branch A[2] AP11 Add Control Dependency A[1,2] AP12 Remove Control Dependencies A[1,2] AP13 Update Condition A[1,2] A[2] AP14 Copy Fragment Staffware Weber, Barbara and Rinderle, Stefanie and Reichert, Manfred (2007) Change Patterns and Change Support Features in Process-Aware Information Systems In: CAiSE'07, Trondheim, Norway, LNCS 4495, pp

36 Page 36 M Reichert Keynote EVL-BP September 2013 Introduction ADEPT A Decade of Research on Flexible Process-Aware Information Systems and its Transfer to Practice Large Processes in the Automotive Industry and Technologies to Support them Large Process Models Large Process Collections Large Process Structures Conclusions

37 Page 37 M Reichert Keynote EVL-BP September 2013 The Daimler BPM Round Table Daimler Ulm Ulm

38 Page 38 M Reichert Keynote EVL-BP September 2013 Introduction ADEPT A Decade of Research on Flexible Process-Aware Information Systems and its Transfer to Practice Large Processes in the Automotive Industry and Technologies to Support them Large Process Models Large Process Collections Large Process Structures Conclusions

39 M Reichert Keynote EVL-BP September 2013 Page The Challenge: Dealing with Large Process Models

40 Page 40 M Reichert Keynote EVL-BP September 2013 Dealing with Large Process Models: Need for an Advanced Visualization Framework Visualization Component 40

41 Page 41 M Reichert Keynote EVL-BP September 2013 The Proviado Visualization Framework abstracting information (process views) adapting visual appearance (symbols, colors, ) adapt display form (diagram, form, table, text, )

42 Page 42 M Reichert Keynote EVL-BP September 2013 Proviado: Process Model Abstraction - Example

43 Page 43 M Reichert Keynote EVL-BP September 2013 Proviado: Process Model Abstraction Basic Operations (1) CREATE VIEW cr-overview AS AGGREGATE( Initiate CR, ) AS Initiierung FROM cr-process CR-Mgr modify CR CR-Mgr request expertise CR-Mgr request evaluation CR-Mgr request comments CR-Board approve CR CR-Mgr instruct realization CR-Mgr conclude CR Initiate Review Evaluate Decide Realize abort Some Requirements: Reduce complexity of (large) process models Aggregate or eliminate certain process information in a given application context Cover all process perspectives: behavior, data,

44 Page 44 M Reichert Keynote EVL-BP September 2013 Proviado: Process Model Abstraction Basic Operations (2) Reduction Aggregation D1 D234 DEFGH AB C X,Y,Z L X,Z Y I J K Z Y X Z D5 Eliminate activities Simplify the resulting schema Remove adjacent satellite objects Aggregate activities Aggregate adjacent objects if required

45 Page 45 M Reichert Keynote EVL-BP September 2013 Proviado: Process Model Abstraction High-Level Operations Example: ShowMyActivities

46 Page 46 M Reichert Keynote EVL-BP September 2013 Proviado: Process Model Abstraction Summary Proviado offers a powerful mechanism for creating and visualizing process model abstractions (ie, process views) enables a high degree of flexibility in respect to the artefacts created (based on parameterizable view building operations) considers all process perspectives, eg, control and data flow, process attributes, process logs has a well defined formal foundation

47 Page 47 M Reichert Keynote EVL-BP September 2013 The Proviado Visualization Framework abstracting information (process views) adapting visual appearance (symbols, colors, ) adapt display form (diagram, form, table, text, )

48 Page 48 M Reichert Keynote EVL-BP September 2013 Proviado: Adjusting the Visual Appearance of Process Models Visualization templates TEST test goal Visualization template defines 1 symbol to be used 2 data to be displayed 3 application context

49 Page 49 M Reichert Keynote EVL-BP September 2013 Proviado: Adjusting the Visual Appearance of Process Models Creating a process visualization Process name: PartID value: XX35K4 D1 A notation Template x Template y Template z state AttrValue AttrValue B X Y start: end: cost: 2500 Name Symbol AttrValue AttrValue Process elements C Z start: end: cost: 4100 Process attributes references Name references application context schema Context rule 1 if type =activity then use template x Context rule 2 Context rule 3 Name Value process visualization Z costs Evaluate the context rules and fill in attribute values C PartID XX35K4

50 Page 50 M Reichert Keynote EVL-BP September 2013 Proviado: Abstraction + Visual Configuration Personalized Visualization

51 Page 51 M Reichert Keynote EVL-BP September 2013 The Proviado Visualization Framework abstracting information (process views) adapting visual appearance (symbols, colors, ) adapt display form (diagram, form, table, text, )

52 Page 52 M Reichert Keynote EVL-BP September 2013 Proviado: Supporting Different Display Forms for Process Models

53 Page 53 M Reichert Keynote EVL-BP September 2013 Proviado: Supporting Different Display Forms for Process Models Word write CRrequest act A CR-request < 2 days check CRrequest act B Abt XYB Abt XY-A Abt XY-C recent Change Requests A-Klasse W213-XQ-14 W213-LZ-93 W213-RZ-52 E-Klasse M-Klasse S-Klasse heute Antrag B25KS vom Genehmigung Änderung Status ID Aktivität Bearbeiter Anfang Abschluss Dauer Q4 heute 1 AAA Abt XY-A t Abt XY-A 2 BBB Abt XY-C t Abt XY-C 3 CCC Abt XY-B t Abt XY-B 4 DDD Abt XY-B t Abt XY-B 5 EEE Abt XY-A t Abt XY-A 6 FFF Abt XY-A t Abt XY-A 7 GGG Abt XY-C t Abt XY-C 8 HHH Abt XY-A t Abt XY-A

54 Page 54 M Reichert Keynote EVL-BP September 2013 The Proviado Visualization Framework: Achievements assign fill up S1 build view S2 S3 S4 calculate S5 Visualization symbols symbols Component layout aggregate & reduce A B C D E aggregate A N E "remove activities of P2" activity: document: actor: activity name name name symbol: activity_def values : activity name name= A state= running A D B A C A B C D color: P1: P3: adapt style fonts: actname: Arial 10pt actor: Arial 7pt

55 Page 55 M Reichert Keynote EVL-BP September 2013 Introduction ADEPT A Decade of Research on Flexible Process-Aware Information Systems and its Transfer to Practice Large Processes in the Automotive Industry and Technologies to Support them Large Process Models Large Process Collections Large Process Structures Conclusions

56 Page 56 M Reichert Keynote EVL-BP September 2013 The Challenge: Dealing with Large Process Model Collections

57 Page 57 M Reichert Keynote EVL-BP September 2013 and a Particular Challenge: Managing Process Variants 57

58 Page 58 M Reichert Keynote EVL-BP September 2013 and a Particular Challenge: Managing Process Variants Standard Process Reception Diagnosis Repair Hand Over Maintain Variant 1: Fast Diagnosis Reception Diagnosis Shortened Repair Hand Over Variant 2: Security Critical Repair Reception Diagnosis Maintain Repair Final Check Hand Over Variant 3: Fast Diagnosis and Security Critical Repair Reception Diagnosis Shortened Repair Final Check Hand Over

59 Page 59 M Reichert Keynote EVL-BP September 2013 and a Particular Challenge: Managing Process Variants Context Model Business Area Daimler Financial Services Daimler Trucks Daimler Buses Mercedes-Benz Vans Mercedes-Benz Cars Truck Van Bus Car Brand Fuso Smart Mercedes Benz Vehicle Type Problem: Not all value combinations make sense!

60 Page 60 M Reichert Keynote EVL-BP September 2013 and a Particular Challenge: Managing Process Variants Context Model Business Area Variant 1 Variant 2 Daimler Financial Services Variant 3 Daimler Trucks Daimler Buses Mercedes-Benz Vans Mercedes-Benz Cars LKW Van Bus PKW Brand Fuso Smart Mercedes Benz Vehicle Type

61 Page 61 M Reichert Keynote EVL-BP September 2013 The Provop Approach for Managing Process Variants Base process Variant specific adjustments INSERT IF country = Italy DELETE IF brand = Smart Configured process variant

62 Page 62 M Reichert Keynote EVL-BP September 2013 The Provop Approach for Managing Process Variants Base Process with Options BM AM BH Reception Diagnosis Repair Maintain Hand Over Option 1 DELETE Process fragment BM BH CONTEXT DEPENDENCY: IF Maintenance = No Option 2 INSERT Process fragment AM Final Check BH CONTEXT DEPENDENCY: IF security critical = Yes Process Family CURRENT CONTEXT: Maintenance = Yes security critical = No Choosing and applying options CURRENT CONTEXT: Maintenance = Yes security critical = Yes Reception Diagnosis Repair Maintain Hand Over CURRENT CONTEXT: Maintenance = No security critical = No Reception Diagnosis Repair Maintain Hand Over 62 Final Reception Diagnosis Repair Maintain Hand Over Check CURRENT CONTEXT: Maintenance = No security critical = Yes Final Reception Diagnosis Repair Maintain Hand Over Check

63 Page 63 M Reichert Keynote EVL-BP September 2013 The Provop Approach for Managing Process Variants

64 Page 64 M Reichert Keynote EVL-BP September 2013 Introduction ADEPT A Decade of Research on Flexible Process-Aware Information Systems and its Transfer to Practice Large Processes in the Automotive Industry and Technologies to Support them Large Process Models Large Process Collections Large Process Structures Conclusions

65 Page 65 M Reichert Keynote EVL-BP September 2013 The Challenge: Dealing with Large and Complex Process Structures

66 Page 66 M Reichert Keynote EVL-BP September 2013 The Challenge: Dealing with Large and Complex Process Structures Example: Electronics in side door Automotive Engineering: Electrical control units (ECUs) become more and more important: provide many safety-critical functions fast implementation of changes: adjustments and bug fixes by flashing new software onto the ECU Modern cars comprise up to 70 ECUs; > LoC ECUs interconnected by up to 10 buses with 2 kilometers of wires 90% of car innovations enabled by E/E systems Power window Safety stop Close with central locking system Safety functions (Presafe) Communication with air condition Electrical side mirrors Electrical adjustment Electrical heating Memory function Retractable side mirror Automatic fading out Ambient illumination Turn indicator Door lock Open / Close with central locking system Sensors for alarm system Power closing Sidebags Side impact sensors Active surround speakers Control unit for Power windows Mirror adjustment Seat adjustment Memory function Child safety lock Central locking system

67 Page 67 M Reichert Keynote EVL-BP September 2013 The Challenge: Dealing with Large and Complex Process Structures Current Problems in Automotive Engineering Up to 50% of all car breakdowns due to electrical / electronic problems Some facts Many non-obvious dependencies between ECUs Different life and development cycles of mechanics, hardware and software Numerous ECU variants and versions Systematic verification and release management required

68 Page 68 M Reichert Keynote EVL-BP September 2013 The Challenge: Dealing with Large and Complex Process Structures Process Process Process Modeling Execution Dynamic Adaptation Exception Handling Process Process Process Process Process Process Process

69 Page 69 M Reichert Keynote EVL-BP September 2013 The Corepro Project Basic Approach Datenmodell Data Model Life Cycle Coordination Model Object Life Cycles / Life Cycle Coordination Model Datenstruktur Data Structure Datengetriebene Prozessstruktur Data-driven Process Structure

70 Page 70 M Reichert Keynote EVL-BP September 2013 The Corepro Project Basic Approach Datenmodell Life Cycle Coordination Model g Object Life Cycles / a Life Cycle Coordination Model Datenstruktur Datengetriebene Prozessstruktur g a Data-driven Process Structure

71 Page 71 M Reichert Keynote EVL-BP September 2013 The Corepro Project Basic Approach g a Datenstruktur Datengetriebene Prozessstruktur Datenmodell Life Cycle Coordination Model g a Data-driven Process Structure

72 Page 72 M Reichert Keynote EVL-BP September 2013 The Corepro Project Basic Approach g g a a Datenstruktur Datengetriebene Prozessstruktur Datenmodell Life Cycle Coordination Model

73 Page 73 M Reichert Keynote EVL-BP September 2013

74 Page 74 M Reichert Keynote EVL-BP September 2013 Significant reduction of modeling efforts for process engineers Formal operational semantics allows for correct executability Soundness can be guaranteed on an abstracted level

75 Page 75 M Reichert Keynote EVL-BP September 2013 The Corepro Project Exception Handling Automatic Defining Dynamic Graphical Simulating Creation the Adaptation Model User and Large Level Interface Execution and Process with Exception of Correctness COREPROSim of Structures a Process Handling Checks Structure

76 Page 76 M Reichert Keynote EVL-BP September 2013 Introduction ADEPT A Decade of Research on Flexible Process-Aware Information Systems and its Transfer to Practice Large Processes in the Automotive Industry and Technologies to Support them Conclusions

77 Page 77 M Reichert Keynote EVL-BP September 2013 Research of my Team Korrektheit & Robustheit Adaptivität & Flexibilität Healthcare & Psychology Automotive Engineering Verteilung & Mobilität Daten & Prozesse Prozess- und Service-Varianten Sofware Engineering Product Lifecycle Management Sustainable Data Intelligente (Smarte) Prozesse Methods, Concepts and Technologies for Next Generation Process Management Technology Research Methods Design Research Formal Methods Innovative Prototypes Empiric Research M Reichert, 2010

78 Page 78 M Reichert Keynote EVL-BP September 2013 Research Projects Provop ADEPT ATAPIS ADEPT ADEPTevolution MinAdeptCorepro Proviado ProCycle SeaFlows, C3Pro MoDe4SLA PHILharmonicFlow Q-Advice proview procollab nipro Qube SustainHub, PROCEED nipro MARPLE AristaFlow AristaFlow ADEPTdistribution MARPLE C3Pro ENPROSO

79 Page 79 M Reichert Keynote EVL-BP September 2013 wwwprocess-flexibilitycom