Diss Seminar Ivanchenko190608

272 views
244 views

Published on

Published in: Business, Technology
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
272
On SlideShare
0
From Embeds
0
Number of Embeds
4
Actions
Shares
0
Downloads
0
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

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.

×