Collective Adaptive Process-Aware Information Sytems: Challenges, Scenarios, Techniques

Transkript

1 Collective Adaptive Process-Aware Information ytems: Challenges, cenarios, Techniques Manfred Reichert BPCA 2014 Keynote 8 eptember 2014 Eindhoven Manfred Reichert

2 Page 2 Agenda Adaptive Collective ystems Backgrounds Adaptive Collective Object Lifecycles Adaptive Cross-Organizational Processes

3 Page 3 Adaptive Collective ystems Heterogeneous collections of autonomous task-oriented systems that cooperate on common goals forming a collective system Purpose (cf. FoCA): The socio-technical fabric of our society more and more depends on systems that are constructed as a collective of heterogeneous components and that are tightly entangled with humans and social structures. Their components increasingly need to be able to evolve, collaborate and function as a part of an artificial society.

4 Page 4 Adaptive Collective ystems Relevant issues Nature A strong orientation to working the way that natural systems work. Automated or Facilitated? ome of the research oriented toward facilitating humans in an organization, and some is toward replacing humans with automated, yet flexible, systems. Non-Uniform - There may be many diverse components interacting in complex ways, i.e., it is not assumed that there is a single uniform process system - Diversity is the important ingredient for stability in the face of unexpected changes. ource: K. wenson, 2014

5 Page 5 Agenda Adaptive Collective ystems Backgrounds Adaptive Collective Object Lifecycles Adaptive Cross-Organizational Processes

6 Page 6 Process-Aware Information ystems (PAI) Process chema Patient Admission Anamnesis & Clinical Examination x X-ray Non Operative Therapy Non Operative Therapy 1 x Discharge & Documentation clinicaluspicionof CruciateRupture = Yes + + MRT x x x + Activity XOR-plit/Join AND-plit/Join onography Initial Treatment & Operation Planning cruciaterupture = Yes and operationindicated = Yes Operative Treatment Process Instance I1 x + + x x x Execution Trace: σ 1 = < Patient Admission, Anamnesis & Clinical Examination, X-ray > Process Instance I2 x + + Execution Trace: σ 2 = < Patient Admission, Anamnesis & Clinical Examination, Non Operative Therapy > x x x Activity tates: Activated Completed kipped

7 Page 7 Process-Aware Information ystems (PAI) Process-aware Information ystem (PAI) Late Modeling Web Clnt API Admin. API Msg Queuing Instance 4 Instance 3 Instance 2 Instance 1 Validatíon Process Execution Engine Instance 6 Instance 5 Modeling API Authorization Instance 11 Instance 10 Instance 9 Instance 8 Instance 7 Dyn. Change API Time Mgmt Exceptions Audit Trail... Instance 14 Instance 13 Instance 12 Process Composer Create Process chema Modify Process chema Check Process chema Process Repository Application Component s Process chemas Applicationen / Application erver... Users Process Engineer

8 Page 8 Adaptive PAI: Instance Changes ADEPT Process Execution Engine Individually adaptable Process Instances Process 4 Process 3 Process 2 Process 6 Process 1 Process 5 Process 11 Process 10 Process 9 Process 8 Process 7 Process 14 Process 13 Process 12

9 Page 9 Adaptive PAI: Instance Changes ADEPT Process Execution Engine Individually adaptable Process Instances Process 4 Process 3 Process 2 Process 1 Process 6 Process 5 Process 11 Process 10 Process 9 Process 8 Process 7 Process 14 Process 13 Process 12 Achievements: - Formal and expressive process meta model - Formal Criteria for Change Correctness - Efficient, build-in consistency checks ( no bad surprise") - upport of a high number of change patterns - API for accomplishing ad-hoc changes

10 Page 10 Adaptive PAI: chema Evolution ADEPT : ADEPT Process Management ystem td Client API Web Clnt API Modeling API Dyn. Change API Admin. API Role Mgmt Authorization Time Mgmt Msg Queuing Recovery Audit Trail... Process Engine Process 4 Process 3 Process 2 Process 1 Process 6 Process 5 Process 11 Process 10 Process 9 Process 8 Process 7 Process 14 Process 13 Process 12 ADEPT Process Composer Create Process Template Modify Process Template Check Process Template... Repository Process Application Templates Components Applicationen / Application erver... Users instances can be automatically migrated instances have proceeded too far 123 instances cannot be automatically migrated Process Designer / Process Administrator M. Reichert, University of Ulm, 2012

11 Page 11 Adaptive PAI: Extended Process Lifecycle chema : B chema : 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 C B x E A x C x E A x C x E D D D Process Execution Instancespecific Change Exception: Delete (I 1, E) Worklist Tätigkeit 1 Tätigkeit 2 Tätigkeit 3 Tätigkeit 4 Process participant

12 Page 12 Transferring ADEPT to Industrial Practice

13 Page 13

14 Page 14 Agenda Adaptive Collective ystems Backgrounds Adaptive Collective Object Lifecycles Adaptive Cross-Organizational Processes

15 Page 15 Adaptive Collective Object Lifecycles --

16 Page 16 Adaptive Collective Object Lifecycles ystem Entwurf Testfälle Fahrzeug Erprobung ystem pezifikation Testfälle Gesamtsystem ystem Integration Komponenten pezifikation Testfälle Komponenten Test ystem oftware Design Testfälle? ystem oftware Modultest Komponente Process oftware Komponente Implementierung Product Komponente =

17 Page 17 Adaptive Collective Object Lifecycles: Drivers Process Process Process Modeling Execution Dynamic Adaptation Exception Handling Process Process Process Process Process Process Process

18 Page 18 The Corepro Framework: Overview M o d e l l e b e n e Datenmodell Gesamtsystem hatys Data ystem Model hatkomp nutztkomp Komponente Life Cycle Coordination Model ystem Auswahl Komponenten Komponente Bestellung Release Gebildet Umbau Mechanik Prototyp umgebaut Object Life Cycles / Konfiguration Muster gebildet τ Life Cycle Coordination Aufgebaut Model Komponente angeliefert Absicherung [i.o.] [Nicht i.o.] Abgesichert Gesamtsystem Releasebildung Rückdokumentation Brett- Test Melden E E E I n s t a n z e b e n e Datenstruktur BR212, Rel. 02/08 hatys Telematik High V2.2 hatkomp nutztkomp Komponente Head-Up Unit V3.14 Gesamtsystem ystem Data tructure nutztkomp Komponente TV Tuner V1.83 Datengetriebene Prozessstruktur Telematik High V2.2 Auswahl Komponenten Head-Up Unit V3.14 Bestellung Komponente angeliefert τ Release Gebildet Umbau Mechanik BestätigungMuster Konfiguration gebildet Prototyp umgebaut Muster Aufgebaut τ Data-driven Process tructure Absicherung [i.o.] [Nicht i.o.] Abgesichert TV Tuner V1.83 Bestellung Komponente angeliefert Installieren Melden Absicherung Installieren E [i.o.] [Nicht i.o.] BR212, Rel. 02/08 Releasebildung Rückdokumentation Brett- Test Abgesichert E E Installieren Melden E

19 Page 19 The Corepro Framework: Overview M o d e l l e b e n e Datenmodell Gesamtsystem hatys ystem hatkomp nutztkomp Komponente Life Cycle Coordination Model ystem Auswahl Komponenten Komponente Bestellung Release Gebildet g Umbau Mechanik Prototyp umgebaut Object Life Cycles / Konfiguration Muster gebildet τ Life Cycle Coordination Aufgebaut a Model Komponente angeliefert Absicherung [i.o.] [Nicht i.o.] Abgesichert Gesamtsystem Releasebildung Rückdokumentation Brett- Test Melden E E E I n s t a n z e b e n e Datenstruktur BR212, Rel. 02/08 hatys Telematik High V2.2 hatkomp nutztkomp Komponente Head-Up Unit V3.14 Gesamtsystem ystem nutztkomp Komponente TV Tuner V1.83 Datengetriebene Prozessstruktur Telematik High V2.2 Auswahl Komponenten Head-Up Unit V3.14 Bestellung Komponente angeliefert τ Release Gebildet g Umbau Mechanik BestätigungMuster Konfiguration gebildet Prototyp umgebaut Muster Aufgebaut a τ Data-driven Process tructure Absicherung [i.o.] [Nicht i.o.] Abgesichert TV Tuner V1.83 Bestellung Komponente angeliefert Installieren Melden Absicherung Installieren E [i.o.] [Nicht i.o.] BR212, Rel. 02/08 Releasebildung Rückdokumentation Brett- Test Abgesichert E E Installieren Melden E

20 Page 20 The Corepro Framework: Overview M o d e l l e b e n e Datenmodell Gesamtsystem hatys ystem hatkomp nutztkomp Komponente Life Cycle Coordination Model ystem Auswahl Komponenten τ hatkomp Konfiguration gebildet Komponente Bestellung Komponente angeliefert BestätigungMuster hatys τ Absicherung Gesamtsystem Releasebildung Release Gebildet g Umbau Mechanik Prototyp umgebaut Rückdokumentation Muster Brett- Aufgebaut a Test [i.o.] [Nicht i.o.] Installieren hatys Installieren nutztkomp Abgesichert Melden E E E I n s t a n z e b e n e Datenstruktur Gesamtsystem BR212, Rel. 02/08 hatys ystem Telematik High V2.2 hatkomp nutztkomp Komponente Head-Up Unit V3.14 nutztkomp Komponente TV Tuner V1.83 Datengetriebene Prozessstruktur τ Head-Up Unit V3.14 Bestellung Komponente angeliefert BR212, Rel. 02/08 Releasebildung Release Gebildet g Umbau Mechanik Prototyp umgebaut Rückdokumentation E Installieren BestätigungMuster Telematik High V2.2 Auswahl Konfiguration Komponenten gebildet τ Muster Brett- Aufgebaut a Test Data-driven Process tructure Absicherung [i.o.] [Nicht i.o.] TV Tuner V1.83 Bestellung Komponente angeliefert Installieren Abgesichert Melden E Absicherung [i.o.] [Nicht i.o.] E Installieren Abgesichert Melden E

21 Page 21 The Corepro Framework: Overview M o d e l l e b e n e Datenmodell Gesamtsystem hatys ystem hatkomp nutztkomp Komponente Life Cycle Coordination Model ystem Auswahl Komponenten τ hatkomp Konfiguration gebildet Komponente Bestellung Komponente angeliefert BestätigungMuster hatys τ Absicherung Gesamtsystem Releasebildung Release Gebildet g Umbau Mechanik Prototyp umgebaut Rückdokumentation Muster Brett- Aufgebaut a Test [i.o.] [Nicht i.o.] Installieren hatys Installieren nutztkomp Abgesichert Melden E E E I n s t a n z e b e n e Datenstruktur Gesamtsystem BR212, Rel. 02/08 hatys ystem Telematik High V2.2 hatkomp nutztkomp Komponente Head-Up Unit V3.14 nutztkomp Komponente TV Tuner V1.83 Datengetriebene Prozessstruktur Head-Up Unit V3.14 Bestellung Komponente angeliefert Release Gebildet g BR212, Rel. 02/08 Releasebildung Umbau Prototyp Rück- Mechanik umgebaut dokumentation Installieren BestätigungMuster Telematik High V2.2 Auswahl Konfiguration Komponenten gebildet τ Muster Brett- Aufgebaut a Test τ Absicherung [i.o.] [Nicht i.o.] TV Tuner V1.83 Bestellung Komponente angeliefert Installieren Abgesichert Melden E Absicherung [i.o.] [Nicht i.o.] E E Installieren Abgesichert Melden E

22 Page 22 Datengetriebene Prozessstruktur BestätigungMechanik Navigation Auswahl Lieferant Ausgewählt τ Aufgebaut τ GP ensor pezifizieren pezifiziert τ Bestellen τ icht- [i.o.] Prüfung E [Nicht i.o.] Multimedia-Einheit pezifizieren pezifiziert Verstärker pezifizieren pezifiziert Klima Display pezifizieren icht- [i.o.] Prüfung E [Nicht i.o.] Motor-G Diesel 2 pezifizieren Bestellen Angeliefert Klima Bedieneinheit 2 Klima-teuergerät low pezifizieren icht- [i.o.] pezifizieren icht- [i.o.] Formal semantics enables correct Prüfung E executability Prüfung E [Nicht i.o.] [Nicht i.o.] Klima Bedieneinheit 1 pezifizieren pezifiziert E-Klasse Aufbau Mechanik Aufgebaut Test Mechanik Getestet Installieren Angeliefert Display Installieren BestätigungMechanik Testfahrt [i.o.] icht- [i.o.] Prüfung E [Nicht i.o.] pezifizieren Bestellen Angeliefert icht- Prüfung E pezifizieren Bestellen Angeliefert [Nicht i.o.] Installieren Installieren Bestellen Motor-G Diesel τ icht- [i.o.] Prüfung E pezifizieren icht- [i.o.] Prüfung E [Nicht i.o.] [Nicht i.o.] τ τ Installieren Motor-G Benzin 2 τ Bestellen Angeliefert icht- [i.o.] pezifizieren icht- [i.o.] Prüfung E Prüfung E Bestellen Angeliefert [Nicht i.o.] icht- [i.o.] Prüfung E [Nicht i.o.] E Installieren Installieren icht- [i.o.] Prüfung E [Nicht i.o.] Motor-G Benzin pezifizieren pezifiziert Getriebe teuergerät 2 pezifizieren pezifiziert ignificant reduction of modeling efforts Bestellen Bestellen Innenraum Auswahl Lieferant Ausgewählt τ Aufgebaut τ Angeliefert Angeliefert Getriebe teuergerät Labortest E Installieren Installieren Installieren Powertrain Auswahl Lieferant Ausgewählt τ Aufgebaut Installieren Installieren Installieren Labortest Installieren Installieren Installieren Installieren [Nicht i.o.] icht- [i.o.] Prüfung E [Nicht i.o.] E Installieren Installieren Labortest icht- [i.o.] Prüfung E [Nicht i.o.] E Installieren Klima Bedieneinheit 3 pezifizieren pezifiziert Bestellen Angeliefert Tür-teuergerät pezifizieren pezifiziert icht- [i.o.] Prüfung E [Nicht i.o.] Bestellen Angeliefert Tür-G Beifahrer pezifizieren pezifiziert Bestellen Angeliefert icht- [i.o.] Prüfung E [Nicht i.o.] icht- [i.o.] Prüfung E [Nicht i.o.] Klima-teuergerät pezifizieren pezifiziert Bestellen Angeliefert icht- [i.o.] Prüfung E [Nicht i.o.]

23 Page 23 The Corepro Framework: Data-Driven Adaptation Change Operation (Data tructure) 1) removerelation(telematik High V2.2, TV Tuner V1.83, nutztkomp); 2) removeobject(tv Tuner V1.83); Change Operation (Process tructure) 1) removeexttrans(telematik High V2.2. Muster Aufgebaut, Installieren, TV Tuner V1.83. E); 2) removeolc(tuner V1.83); I n s t a n z e b e n e Datenstruktur BR212, Rel. 02/08 hatys Telematik High V2.2 Komponente Head-Up Unit V3.14 Gesamtsystem ystem hatkomp nutztkomp nutztkomp Komponente TV Tuner V1.83 Datengetriebene Prozessstruktur Head-Up Unit V3.14 Bestellung Komponente angeliefert BR212, Rel. 02/08 Release- Release Umbau Prototyp Rückbildung gebildet Mechanik umgebaut dokumentation E Installieren BestätigungMuster Telematik High V2.2 YIELD! Auswahl Konfiguration Komponenten gebildet τ Muster Brett- aufgebaut Test τ Absicherung [i.o.] [Nicht i.o.] Abgesichert TV Tuner V1.83 Bestellung Komponente angeliefert E Installieren Installieren Melden E Absicherung [i.o.] [Nicht i.o.] Abgesichert Melden E

24 Page 24 The Corepro Framework: Exception Handling Forward Recovery JUMP tep 1 REET REET tep 2 JUMP tep 3 I n s t a n z e b e n e Datenstruktur BR212, Rel. 02/08 hatys Telematik High V2.2 Komponente Head-Up Unit V3.14 Gesamtsystem ystem hatkomp nutztkomp nutztkomp Komponente TV Tuner V1.83 Datengetriebene Prozessstruktur Head-Up Unit V3.14 Bestellung Komponente angeliefert Rückdokumentation E YIELD Installieren BestätigungMuster Telematik High V2.2 YIELD! Auswahl Konfiguration Komponenten gebildet τ Muster Brett- aufgebaut Test τ Absicherung [i.o.] [Nicht i.o.] YIELD Umbau Mechanik Abgesichert TV Tuner V1.83 Bestellung Komponente angeliefert YIELD!!! Prototyp umgebaut Installieren Melden E Absicherung YIELD! YIELD! [i.o.] [Nicht i.o.] BR212, Rel. 02/08 Release- Release bildung gebildet YIELD! Abgesichert E Installieren Melden E

25 Page 25 The Corepro Framework: Proof-of-Concept Automatic Defining Dynamic Graphical imulating Creation the Adaptation Model User and Large Level Interface Execution and Process with Exception of Correctness COREPROim of tructures a Process Handling Checks tructure Zustandsmarkierungen NotActivated Activated Done kipped Transitionsmarkierungen Waiting Processing Fired Disabled Inkonsistenz erkannt

26 Page 26 IO 26262: Road Vehicles, Functional afety The Corepro Framework: Case tudy Instance Level: Data Process tructure Life OLC Data Cycle of Model Description Object and Coordination Automatically COREPRO-im Type of the "ystem" IO Model Created Norm Process tructure = tartzustand = Endzustand = Objektzustand = Interne Transition mit verknüpftem Prozess und Transitionsbedingung PD = Product Development, HW = Hardware, W = oftware

27 Page 27 Agenda Adaptive Collective ystems Backgrounds Adaptive Collective Object Lifecycles Adaptive Cross-Organizational Processes

28 Page 28 Adaptive Cross-Organizational Processes Cross-Organizational Processes Business Process Compliance Adaptation & Evolution Process-aware Information ystem Running Instances / Process Engine Process Models Process Logs.

29 Page 29 Modeling Cross-Organizational Processes: Interaction Modeling

30 Page 30 Cross-Organizational Processes

31 Page 31 Cross-Organizational Processes

32 Page 32 Cross-Organizational Processes: Interconnection Modeling

33 Page 33 Cross-Organizational Processes: Interaction Modeling

34 Page 34 Interaction Modeling: Languages, Notations, tandards Chor Conversation protocols Interaction Petri-Nets Let s Dance ibpmn W-CDL BPMN 2.0 Choreography DAChor Qiu Zongyan, Zhao Xiangpeng, Cai Chao, and Yang Hongli: Towards the Theoretical Foundation of Choreography, WWW 07, 2007.

35 Page 35 Languages, Notations, tandards Interaction Modeling: Languages, Notations, tandards Chor Conversation protocols Interaction Petri-Nets Let s Dance ibpmn W-CDL BPMN 2.0 Choreography DAChor Xiang Fu, Tevfik Bultan, Jianwen u: Conversation Protocols: A Formalism for pecification and Verification of Reactive Electronic ervices. CIAA 04, Xiang Fu, Tevfik Bultan, Jianwen u: Realizability of conversation protocols with message contents. Web ervices Research 2(4), 2005.

36 Page 36 Languages, Notations, tandards Interaction Modeling: Languages, Notations, tandards Chor Conversation protocols Interaction Petri-Nets Let s Dance ibpmn W-CDL BPMN 2.0 Choreography DAChor Gero Decker, Mathias Weske: Local Enforceability in Interaction Petri Nets, BPM 07, 2007.

37 Page 37 Languages, Notations, tandards Interaction Modeling: Languages, Notations, tandards Chor Conversation protocols Interaction Petri-Nets Let s Dance ibpmn W-CDL BPMN 2.0 Choreography DAChor Johannes Maria Zaha, Alistair Barros, Marlon Dumas, Arthur ter Hofstede: Let s dance: A language for service behavior modeling. CoopI 07, 2007.

38 Page 38 Languages, Notations, tandards Interaction Modeling: Languages, Notations, tandards Chor Conversation protocols Interaction Petri-Nets Let s Dance ibpmn W-CDL BPMN 2.0 Choreography DAChor Gero Decker, Alistair Barros: Interaction Modeling using BPMN, BPM 07, 2007.

39 Page 39 Languages, Notations, tandards Interaction Modeling: Languages, Notations, tandards Chor Conversation protocols Interaction Petri-Nets Let s Dance ibpmn W-CDL BPMN 2.0 Choreography DAChor W3C: Web services choreography description language 1.0, 2005.

40 Page 40 Languages, Notations, tandards Interaction Modeling: Languages, Notations, tandards Chor Conversation protocols Interaction Petri-Nets Let s Dance ibpmn W-CDL BPMN 2.0 Choreography DAChor OMG/BPMI: BPMN 2.0, What about Data?

41 Page 41 Languages, Notations, tandards Interaction Modeling: Languages, Notations, tandards Chor Conversation protocols Interaction Petri-Nets Let s Dance ibpmn W-CDL BPMN 2.0 Choreography DAChor

42 Page 42 Ensuring Compliance of Cross-Organizational Processes D. Knuplesch, M. Reichert, W. Fdhila,. Rinderle-Ma, (2013) On Enabling Compliance of Cross-Organizational Business Processes. In: 11th Int'l Conference Business Process Management (BPM'13), Beijing, 2013 D. Knuplesch, M. Reichert, R. Pryss, W. Fdhila,. Rinderle-Ma, tefanie (2013) Ensuring Compliance of Distributed and Collaborative Workflows. In: 9th IEEE Int'l Conference on Collaborative Computing: Networking, Applications and Worksharing (CollborateCom'13), Austin, 2013, IEEE Computer ociety Press D. Knuplesch, M. Reichert, T. Ly, A. Kumar,. Rinderle-Ma (2013) Visual Modeling of Business Process Compliance Rules with the upport of Multiple Perspectives. In: 32nd Int'l Conference on Conceptual Modeling (ER 2013), Hong Kong, 2013

43 Page 43 Cross-Organizational Process Compliance Business Process Compliance Cross-Organizational Processes Change / Flexibility Interaction Modeling

44 Page 44 cenario: Electronic Change Request interaction model local views e.g. local view of engineering team public private process models e.g. public process model of engineering team

45 Page 45 Relevant Layers Public interaction model sound? realizable? local views sound? conform? public process models compatible? conform? sound? conform? private process models Private sound?

46 Page 46 The Process of Interaction Modeling specify interaction model check realizability revise interaction model specify public process models compute local views realizable? specify private process models

47 Page 47 Relevant Layers and Compliance Rules Public interaction model sound? realizable? local views sound? conform? public process models compatible? conform? sound? conform? private process models Private compatible? sound?

48 Page 48 Relevant Layers and Compliance Rules Public interaction model local views public process models ide Affected effects development must be determined tasks before must sending be suspended comments before on the implementing ECR to the changes. team. private process models local compliance rules Private Local compliance

49 Page 49 Relevant Layers and Compliance Rules Public interaction model globale compliance rules local views public process models The engineers must determine side effects before the decision team decides on the change. globale compliance? Private private process models locale compliance local compliance rules

50 Page 50 Relevant Layers and Compliance Rules Public interaction model globale compliance rules local views public process models ide effects must be determined before sending comments on the ECR to the change team. asserted compliance assertions globale compliance? Private private process models local compliance rules incl. assertions locale compliance

51 Page 51 The Process of Interaction Modeling select/specify compliance rules specify specify public public process process models & assertions models specify interaction model compute local views check realizability realizable? revise interaction model check global compliance compliant? revise public process models & assertions specify private process models ensure local&asserted compliance

52 Page 52 Relevant Layers and Compliance Rules Public interaction model local views compliability? globale compliance rules public process models Comments on the ECR must not be requested before change details are sent to the engineers. asserted compliance assertions globale compliance? Private private process models local compliance rules incl. assertions locale compliance

53 Page 53 The Process of Interaction Modeling select/specify compliance rules specify specify public public process process models & assertions models specify interaction model compute local views check check realizability realizability & compliability realizable? revise interaction model check global compliance compliant? revise public process models & assertions specify private process models ensure local&asserted compliance Release

54 Page 54 Relevant Layers and Compliance Rules Public interaction model local views compliability? global compliance rules public process models asserted compliance assertions globale compliance? Private private process models local compliance rules incl. assertions locale compliance

55 Page 59 Enabling Adaptations and Changes of Cross-Organizational Processes W. Fdhila,. Rinderle-Ma, M. Reichert (2012) Change Propagation in Collaborative Processes cenarios. In: 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom'12), Pittsburgh, 2012

56 Page 60 Basics Global Choreography Model (Interaction Model) Model Abstraction Public View of Partner B

57 Page 61 Basics

58 Page 62 Basics Pu b l i c V i e w Conformant with? Pri va t e V i e w R e ce i ve A Private activities, e.g., data transformation a1 A-->B B-->C e n d C XO R XO R R e ce i ve C AN D C -->B XO R E-->B a2 R e ce i ve E AN D a3 XO R a4 Public View of Partner B Private View of Partner B

59 Page 63 Basics Global chema Global Choreography Model

60 Page 64 - Ok! and what is the problem then? Basics Conformance (Consistency) Behavioral Compatibility Waiting for a message which will never arrive ending message which will not be consumed tructural compatibility Transitivity effects Negotiation

61 Page 65 Change Propagation Choreography Model + Public views + Change pecification Partners affected by the change + Changes to be propagated - Preserve Conformance - Preserve Compatibility - Transitive effects - Negotiation

62 Page 66 Change Propagation: Negotiation

63 Page 67 Change Propagation: Change Patterns INERT(fragment, how, in, out) inserts a new fragment in a process model. DELETE(fragment) Deletes an existing fragment from a process model. REPLACE(oldFragment, newfragment) Replaces an existing fragment by a new one in the process model. UPDATE(activity, attribute, newvalue) Updates the attributes of a single activity of a process model. Attribute could be: partner, role, input, output, etc.

64 Page 68 Change Propagation: Replace Pattern Conforming with? Pu b l i c V i e w Pri va t e V i e w R e ce i ve A a1 A-->B B-->C e n d C XO R XO R R e ce i ve C AN D C -->B XO R E-->B a2 R e ce i ve E AN D a3 XO R a4 Public View of Partner B Private View of Partner B

65 Page 69 Change Propagation: Replace Pattern R e ce i ve A

66 Page 70 Change Propagation: Replace Pattern R e ce i ve A

67 Page 71 Change Propagation: Replace Pattern R e ce i ve A

68 Page 72 Change Propagation: Replace Pattern R e ce i ve A

69 Page 73 Change Propagation: Replace Pattern R e ce i ve A

70 Page 74 Change Propagation: Replace Pattern R e ce i ve A

71 Page 75 Change Propagation: Replace Pattern R e ce i ve A

72 Page 76 Change Propagation: Replace Pattern B

73 Page 77 Change Propagation: Replace Pattern

74 Page 78 Change Propagation: Replace Pattern Public View of C Public View of E Global Choreography Model

75 Page 79 Change Propagation: Replace Pattern Public View of C Public View of E Global Choreography Model

76 Page 80 Change Propagation: Replace Pattern Public View of C Public View of E Global Choreography Model

77 Page 81 Change Propagation: Replace Pattern Public View of C Public View of E Global Choreography Model

78 Page 82