Diss Seminar Ivanchenko081106

414 views

Published on

workflow diagnosis work flow

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

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

No notes for slide

Diss Seminar Ivanchenko081106

  1. 1. 4/4
  2. 2. 3/4 Repair
  3. 3. Workflow diagnosis Vladimir Ivanchenko Diss. Seminar WS 2008/2009
  4. 4. A1 or A2 or both? A3 X X Z A2 X Z X Y A1 END Y Candidates: all executed activities (A1,A2) A1 A2 According to data dependencies : NONE A1 & A2
  5. 5. If A1 ? A3 X X Z A2 X Z X Y A1 END Y X is the same (wrong) A1 A2 A2 ok or ab does not matter A1 & A2
  6. 6. If A2 ? A3 X X Z A2 X Z X Y A1 END Y X is new and correct ! A1 A2 Information about A3 is important ! A1 & A2
  7. 7. Answer: A2
  8. 8. New to consider: • XOR splits • Not executed activities
  9. 9. TODO in WS 2008/09 • Test • Theorem prover: DARWIN • Evaluate
  10. 10. Thank you!

×