• Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
Diss Seminar Ivanchenko081106
 

Diss Seminar Ivanchenko081106

on

  • 332 views

workflow diagnosis work flow

workflow diagnosis work flow

Statistics

Views

Total Views
332
Views on SlideShare
330
Embed Views
2

Actions

Likes
0
Downloads
0
Comments
0

1 Embed 2

http://www.linkedin-ei2.com 2

Accessibility

Categories

Upload Details

Uploaded via as Adobe PDF

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

    Diss Seminar Ivanchenko081106 Diss Seminar Ivanchenko081106 Presentation Transcript

    • 4/4
    • 3/4 Repair
    • Workflow diagnosis Vladimir Ivanchenko Diss. Seminar WS 2008/2009
    • 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
    • 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
    • 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
    • Answer: A2
    • New to consider: • XOR splits • Not executed activities
    • TODO in WS 2008/09 • Test • Theorem prover: DARWIN • Evaluate
    • Thank you!