| <?xml version="1.0" encoding="UTF-8"?> |
| <xmi:XMI xmi:version="2.1" xmlns:xmi="http://schema.omg.org/spec/XMI/2.1" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:Requirements="http://www.papyrusuml.org/SysML/Requirements/1" xmlns:uml="http://www.eclipse.org/uml2/2.1.0/UML"> |
| <uml:Model xmi:id="_wJfGRw_xEd2mbaTvSwUWQw" name="SysML_Verify_TEST"> |
| <packageImport xmi:id="_wJfGSA_xEd2mbaTvSwUWQw"> |
| <importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/> |
| </packageImport> |
| <packagedElement xmi:type="uml:Class" xmi:id="_zIq0AA_xEd2mbaTvSwUWQw" name="Class_0"/> |
| <packagedElement xmi:type="uml:Class" xmi:id="_zhGiIA_xEd2mbaTvSwUWQw" name="Class_1"> |
| <ownedOperation xmi:id="_312fYA_yEd2mbaTvSwUWQw" name="c1_Op1" clientDependency="_6vCvgA_xEd2mbaTvSwUWQw"/> |
| <ownedOperation xmi:id="_4AbXsA_yEd2mbaTvSwUWQw" name="c1_Op2" clientDependency="_CwrqsA_yEd2mbaTvSwUWQw"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="_zx8agA_xEd2mbaTvSwUWQw" name="Class_2"/> |
| <packagedElement xmi:type="uml:Class" xmi:id="_0BSeEA_xEd2mbaTvSwUWQw" name="Class_3"/> |
| <packagedElement xmi:type="uml:Class" xmi:id="_0V2Y0A_xEd2mbaTvSwUWQw" name="Class_4"> |
| <ownedOperation xmi:id="_7KL98A_yEd2mbaTvSwUWQw" name="c4_Op1"/> |
| <ownedOperation xmi:id="_7Vq1MA_yEd2mbaTvSwUWQw" name="c4_Op2" clientDependency="_DUvaAA_yEd2mbaTvSwUWQw"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Abstraction" xmi:id="_6vCvgA_xEd2mbaTvSwUWQw" name="FromOperation_0toClass_2" supplier="_zx8agA_xEd2mbaTvSwUWQw" client="_312fYA_yEd2mbaTvSwUWQw"/> |
| <packagedElement xmi:type="uml:Abstraction" xmi:id="_CwrqsA_yEd2mbaTvSwUWQw" name="FromOperation_1toClass_3" supplier="_0BSeEA_xEd2mbaTvSwUWQw" client="_4AbXsA_yEd2mbaTvSwUWQw"/> |
| <packagedElement xmi:type="uml:Abstraction" xmi:id="_DUvaAA_yEd2mbaTvSwUWQw" name="FromOperation_1toClass_3" supplier="_0BSeEA_xEd2mbaTvSwUWQw" client="_7Vq1MA_yEd2mbaTvSwUWQw"/> |
| <profileApplication xmi:id="_wJfGSQ_xEd2mbaTvSwUWQw"> |
| <eAnnotations xmi:id="_wJfGSg_xEd2mbaTvSwUWQw" source="http://www.eclipse.org/uml2/2.0.0/UML"> |
| <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/uml2/schemas/Standard/1#/"/> |
| </eAnnotations> |
| <appliedProfile href="pathmap://UML_PROFILES/Standard.profile.uml#_0"/> |
| </profileApplication> |
| <profileApplication xmi:id="_ZeccEA_yEd2mbaTvSwUWQw"> |
| <eAnnotations xmi:id="_ZeccEQ_yEd2mbaTvSwUWQw" source="http://www.eclipse.org/uml2/2.0.0/UML"> |
| <references xmi:type="ecore:EPackage" href="http://www.papyrusuml.org/SysML/1#//requirements"/> |
| </eAnnotations> |
| <appliedProfile href="pathmap://SysML_PROFILES/SysML.profile.uml#_OOJC4LX8EduFmqQsrNB9lw"/> |
| </profileApplication> |
| </uml:Model> |
| <Requirements:Requirement xmi:id="_bnrZcg_yEd2mbaTvSwUWQw" base_Class="_zIq0AA_xEd2mbaTvSwUWQw"/> |
| <Requirements:RequirementRelated xmi:id="_jx96UA_yEd2mbaTvSwUWQw"/> |
| <Requirements:Verify xmi:id="_vSYpgA_yEd2mbaTvSwUWQw" base_Abstraction="_DUvaAA_yEd2mbaTvSwUWQw"/> |
| <Requirements:Verify xmi:id="_w90QkA_yEd2mbaTvSwUWQw" base_Abstraction="_CwrqsA_yEd2mbaTvSwUWQw"/> |
| <Requirements:Verify xmi:id="_yoEL4A_yEd2mbaTvSwUWQw" base_Abstraction="_6vCvgA_xEd2mbaTvSwUWQw"/> |
| <Requirements:Requirement xmi:id="_2jmNUA_yEd2mbaTvSwUWQw" base_Class="_0BSeEA_xEd2mbaTvSwUWQw"/> |
| <Requirements:Requirement xmi:id="_3LhwAA_yEd2mbaTvSwUWQw" base_Class="_zx8agA_xEd2mbaTvSwUWQw"/> |
| <Requirements:TestCase xmi:id="_D9KPcA_zEd2mbaTvSwUWQw" base_Operation="_312fYA_yEd2mbaTvSwUWQw"/> |
| <Requirements:TestCase xmi:id="_FGeA4A_zEd2mbaTvSwUWQw" base_Operation="_4AbXsA_yEd2mbaTvSwUWQw"/> |
| <Requirements:TestCase xmi:id="_GEdTIA_zEd2mbaTvSwUWQw" base_Operation="_7KL98A_yEd2mbaTvSwUWQw"/> |
| <Requirements:TestCase xmi:id="_GEdTIQ_zEd2mbaTvSwUWQw" base_Operation="_7Vq1MA_yEd2mbaTvSwUWQw"/> |
| </xmi:XMI> |
