====== Test Case 4 -- 21 September 2009 ======
{{release_4_test_case_4_valid.xmi|Valid XMI}}  //Note: File downloads by default as "fetch.php". Rename the file to a ".txt" or ".xml" extension to open it.//

{{release_4_test_case_4_diagram-1.png|Test Case 4 Diagram 1}}

{{release_4_test_case_4_diagram-2.png|Test Case 4 Diagram 2}}