====== Test Case 9 -- 23 February 2010 ======
{{release_7_test_case_9_valid.xmi|Valid XMI}}  //Note: File downloads by default as "fetch.php". Rename the file to a ".txt" or ".xml" extension to open it.//

===== Diagram 1 =====
{{release_7_test_case_9_diagram1.png|Test Case 9 Diagram 1}}

===== Diagram 2 =====
{{release_7_test_case_9_diagram2.png|Test Case 9 Diagram 2}}

===== Diagram 3 =====
{{release_7_test_case_9_diagram3.png|Test Case 9 Diagram 3}}

===== Diagram 4 =====
{{release_7_test_case_9_diagram4.png|Test Case 9 Diagram 4}}