Diss Seminar Ivanchenko081106
- 5. 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
- 6. 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
- 7. 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
- 10. TODO in WS 2008/09
• Test
• Theorem prover: DARWIN
• Evaluate