5. Time skeleton Determine trip dates Get Security status Book flight Book hotel [duration>1] Get weather report Get pers. preferences Reserve dinner a0 a2 a3 a4 a5 a7 a6 a1 1 doAt (Determ_tr_dates,1) 2 doAt (Get_pers_prefer,2) 3 doAt (Get_seq_status,3) 4 doAt (Book_flight,4) 5 doAt (XOR,5) 6 doAt ( endflow ,6) 7 doAt (Book_hotel,7) 8 doAt (Res_dinner,8) 9 doAt ( endflow ,9)
6. Prototyping : Pre-processing WF model Time model 1.Time slots generator 2.Repair reasoner Repair plan next, doAt, compAt
7. Choreography [duration>1] a0 a2 a3 a4 a7 a1 a0 a2 a3 a7 send a1 a5 send receive a6 receive a5 a6 There are still only 2 time worlds!
8. Structure WF1 model Time model Time slots generator next, doAt, compAt WF2 model Time model Time slots generator next, doAt, compAt Repair reasoner Repair plan Choreography aspects