Group 1
Group 1
Group 1
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
• All requirements assigned to the sub problem and also assigned to<br />
corresponding sequence diagram.<br />
• Phenomena of the problem diagram are used in the sequence diagram<br />
• S ∧ A ∧ F R’<br />
• S1 ∧ A2 ∧ F1 ∧ F2 R1<br />
• S2 ∧ A2 ∧ F1 ∧ F2 R2<br />
• S3 ∧ A2 ∧ F1 ∧ F2 R3<br />
• S4 ∧ A2 ∧ F1 ∧ F8 R4<br />
• S5 ∧ A2 ∧ F1 ∧ F9 R5<br />
• S8 ∧ A2 ∧ F1 ∧ F6 R6<br />
• S8 ∧ A2 ∧ F1 ∧ F4 ∧ F12<br />
∧ F13 R7<br />
• All requirements are captured.<br />
• S8 ∧ A3 ∧ F1 ∧ F5 R8<br />
• S8 ∧ A3 ∧ F1 R9<br />
• S8 ∧ A1 ∧ F1 R10<br />
• S6 ∧ A1 ∧ F3 R11<br />
• S7 ∧ A1 ∧ F3 R12<br />
• S9 ∧ A3 ∧ F2 ∧ F3 ∧ F7 <br />
R13<br />
Page 17