4/4
3/4   Repair
Workflow diagnosis

                 Vladimir Ivanchenko
         Diss. Seminar WS 2008/2009
A1 or A2 or both?

                                                  A3
                                                  ...
If A1 ?

                                                 A3
                                                      X
     ...
If A2 ?

                                                   A3
                                                        X
 ...
Answer:




          A2
New to consider:

• XOR splits


• Not executed activities
TODO in WS 2008/09



• Test
  • Theorem prover: DARWIN

• Evaluate
Thank you!
Diss Seminar Ivanchenko081106
Upcoming SlideShare
Loading in...5
×

Diss Seminar Ivanchenko081106

156

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
156
On Slideshare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
0
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Transcript of "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!

×