Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Diss Seminar Ivanchenko190608


Published on

Published in: Business, Technology
  • Be the first to comment

  • Be the first to like this

Diss Seminar Ivanchenko190608

  1. 1. WF Repair Vladimir Ivanchenko 19 June 2008
  2. 3. Goal <ul><li>Repair plans for choreographed services </li></ul><ul><li>External choice WF pattern </li></ul><ul><li>Several repair plans, separation </li></ul>
  3. 4. Reasoning <ul><li>Time skeleton </li></ul><ul><li>Assigning repair actions to time points </li></ul><ul><li>Reasoning about time points, not actions </li></ul>
  4. 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) ‏
  5. 6. Prototyping : Pre-processing WF model Time model 1.Time slots generator 2.Repair reasoner Repair plan next, doAt, compAt
  6. 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!
  7. 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
  8. 9. Foodshop example
  9. 10. Choreography <ul><li>Additional link in time structure: </li></ul><ul><li>next(10,104) </li></ul><ul><li>10 : from doAt(reply_shipping_notes,10) </li></ul><ul><li>104 : from doAt(receive_shipping_notes,104) </li></ul>
  10. 11. With fault
  11. 12. On-going work: <ul><li>More pairs of workflows </li></ul><ul><ul><li>Extending generator of work </li></ul></ul><ul><li>Separator of plans </li></ul><ul><li>Statistical analysis of workflows and plans generated </li></ul>
  12. 13. Thank you.