<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
<xmi:XMI xmlns:xmi="http://schema.omg.org/spec/XMI/2.1" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:uml="http://www.omg.org/spec/UML/20090901">
  <uml:Model xmi:id="A_TestCase9">
    <name>TestCase9</name>
    <packageImport xmi:type="uml:PackageImport" xmi:id="B_PackageImport_TestCase9_-1">
      <importedPackage href="http://www.omg.org/spec/UML/20090901/UML.xmi#_0"/>
    </packageImport>
    <packagedElement xmi:type="uml:Class" xmi:id="A_TestCase9-A">
      <name>A</name>
      <ownedReception xmi:type="uml:Reception" xmi:id="B_Reception_TestCase9.A_-1">
        <signal xmi:idref="A_TestCase9-Signal1"/>
      </ownedReception>
      <ownedOperation xmi:type="uml:Operation" xmi:id="A_TestCase9-A-aOperation1">
        <name>aOperation1</name>
      </ownedOperation>
      <isActive>true</isActive>
    </packagedElement>
    <packagedElement xmi:type="uml:Class" xmi:id="A_TestCase9-B">
      <name>B</name>
      <ownedReception xmi:type="uml:Reception" xmi:id="B_Reception_TestCase9.B_-1">
        <signal xmi:idref="A_TestCase9-Signal2"/>
      </ownedReception>
      <ownedOperation xmi:type="uml:Operation" xmi:id="A_TestCase9-B-B">
        <name>B</name>
      </ownedOperation>
      <ownedOperation xmi:type="uml:Operation" xmi:id="A_TestCase9-B-callBack">
        <name>callBack</name>
      </ownedOperation>
      <isActive>true</isActive>
    </packagedElement>
    <packagedElement xmi:type="uml:Class" xmi:id="A_TestCase9-C">
      <name>C</name>
      <ownedOperation xmi:type="uml:Operation" xmi:id="A_TestCase9-C-destroy">
        <name>destroy</name>
      </ownedOperation>
      <ownedOperation xmi:type="uml:Operation" xmi:id="A_TestCase9-C-cOperation1">
        <name>cOperation1</name>
      </ownedOperation>
      <ownedOperation xmi:type="uml:Operation" xmi:id="A_TestCase9-C-cOperation2">
        <name>cOperation2</name>
        <ownedParameter xmi:type="uml:Parameter" xmi:id="A_TestCase9-C-cOperation2-name">
          <name>name</name>
          <type href="http://www.omg.org/spec/UML/20090901/UML.xmi#String"/>
        </ownedParameter>
      </ownedOperation>
      <ownedOperation xmi:type="uml:Operation" xmi:id="A_TestCase9-C-cOperation3">
        <name>cOperation3</name>
        <ownedParameter xmi:type="uml:Parameter" xmi:id="A_TestCase9-C-cOperation3-number">
          <name>number</name>
          <type href="http://www.omg.org/spec/UML/20090901/UML.xmi#Integer"/>
        </ownedParameter>
        <ownedParameter xmi:type="uml:Parameter" xmi:id="A_TestCase9-C-cOperation3-outParam">
          <name>outParam</name>
          <type href="http://www.omg.org/spec/UML/20090901/UML.xmi#Integer"/>
          <direction>out</direction>
        </ownedParameter>
        <ownedParameter xmi:type="uml:Parameter" xmi:id="A_TestCase9-C-cOperation3-return">
          <name>return</name>
          <type href="http://www.omg.org/spec/UML/20090901/UML.xmi#Integer"/>
          <direction>return</direction>
        </ownedParameter>
      </ownedOperation>
    </packagedElement>
    <packagedElement xmi:type="uml:CreationEvent" xmi:id="A_TestCase9-CreationEvent1">
      <name>CreationEvent1</name>
    </packagedElement>
    <packagedElement xmi:type="uml:Class" xmi:id="A_TestCase9-D">
      <name>D</name>
      <ownedBehavior xmi:type="uml:Interaction" xmi:id="A_TestCase9-D-Interaction1">
        <name>Interaction1</name>
        <message xmi:type="uml:Message" xmi:id="A_TestCase9-D-Interaction1-B">
          <name>B</name>
          <sendEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-2"/>
          <receiveEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-1"/>
          <messageSort>createMessage</messageSort>
          <connector xmi:idref="A_TestCase9-D-a-b"/>
        </message>
        <message xmi:type="uml:Message" xmi:id="A_TestCase9-D-Interaction1-Signal1">
          <name>Signal1</name>
          <sendEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-4"/>
          <receiveEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-3"/>
          <messageSort>asynchSignal</messageSort>
          <connector xmi:idref="A_TestCase9-D-a-b"/>
        </message>
        <message xmi:type="uml:Message" xmi:id="A_TestCase9-D-Interaction1-aOperation1">
          <name>aOperation1</name>
          <sendEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-6"/>
          <receiveEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-5"/>
          <messageSort>asynchCall</messageSort>
          <connector xmi:idref="A_TestCase9-D-a-c"/>
        </message>
        <message xmi:type="uml:Message" xmi:id="A_TestCase9-D-Interaction1-cOperation1-1">
          <name>cOperation1</name>
          <sendEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-9"/>
          <receiveEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-8"/>
          <connector xmi:idref="A_TestCase9-D-b-c"/>
        </message>
        <message xmi:type="uml:Message" xmi:id="A_TestCase9-D-Interaction1-cOperation1-2">
          <name>cOperation1</name>
          <sendEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-10"/>
          <receiveEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-7"/>
          <messageSort>reply</messageSort>
          <connector xmi:idref="A_TestCase9-D-b-c"/>
        </message>
        <message xmi:type="uml:Message" xmi:id="A_TestCase9-D-Interaction1-cOperation2-1">
          <name>cOperation2</name>
          <sendEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-13"/>
          <receiveEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-12"/>
          <connector xmi:idref="A_TestCase9-D-b-c"/>
          <argument xmi:type="uml:LiteralString" xmi:id="L_TestCase9.D.Interaction1.cOperation2_theName-1">
            <value>theName</value>
          </argument>
        </message>
        <message xmi:type="uml:Message" xmi:id="A_TestCase9-D-Interaction1-cOperation2-2">
          <name>cOperation2</name>
          <sendEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-14"/>
          <receiveEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-11"/>
          <messageSort>reply</messageSort>
          <connector xmi:idref="A_TestCase9-D-b-c"/>
        </message>
        <message xmi:type="uml:Message" xmi:id="A_TestCase9-D-Interaction1-cOperation3-1">
          <name>cOperation3</name>
          <sendEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-18"/>
          <receiveEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-16"/>
          <messageSort>asynchCall</messageSort>
          <connector xmi:idref="A_TestCase9-D-a-c"/>
          <argument xmi:type="uml:OpaqueExpression" xmi:id="B_OpaqueExpression_TestCase9.D.Interaction1.cOperation3_-2">
            <language>OCL</language>
            <body>4</body>
          </argument>
          <argument xmi:type="uml:OpaqueExpression" xmi:id="B_OpaqueExpression_TestCase9.D.Interaction1.cOperation3_-1">
            <language>10</language>
            <body>10</body>
          </argument>
        </message>
        <message xmi:type="uml:Message" xmi:id="A_TestCase9-D-Interaction1-cOperation3-2">
          <name>cOperation3</name>
          <sendEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-19"/>
          <receiveEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-17"/>
          <connector xmi:idref="A_TestCase9-D-a-c"/>
          <argument xmi:type="uml:OpaqueExpression" xmi:id="B_OpaqueExpression_TestCase9.D.Interaction1.cOperation3_-5">
            <language/>
            <body>2</body>
          </argument>
          <argument xmi:type="uml:OpaqueExpression" xmi:id="B_OpaqueExpression_TestCase9.D.Interaction1.cOperation3_-4">
            <language/>
            <body>1</body>
          </argument>
        </message>
        <message xmi:type="uml:Message" xmi:id="A_TestCase9-D-Interaction1-cOperation3-3">
          <name>cOperation3</name>
          <sendEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-20"/>
          <receiveEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-15"/>
          <messageSort>reply</messageSort>
          <connector xmi:idref="A_TestCase9-D-a-c"/>
          <argument xmi:type="uml:OpaqueExpression" xmi:id="B_OpaqueExpression_TestCase9.D.Interaction1.cOperation3_-3">
            <language/>
            <body>10</body>
          </argument>
          <argument xmi:type="uml:OpaqueExpression" xmi:id="B_OpaqueExpression_TestCase9.D.Interaction1.cOperation3_-6">
            <language/>
            <body>9</body>
          </argument>
        </message>
        <message xmi:type="uml:Message" xmi:id="A_TestCase9-D-Interaction1-callBack-1">
          <name>callBack</name>
          <sendEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-24"/>
          <receiveEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-21"/>
          <connector xmi:idref="A_TestCase9-D-b-c"/>
        </message>
        <message xmi:type="uml:Message" xmi:id="A_TestCase9-D-Interaction1-callBack-2">
          <name>callBack</name>
          <sendEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-23"/>
          <receiveEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-22"/>
          <messageSort>reply</messageSort>
          <connector xmi:idref="A_TestCase9-D-b-c"/>
        </message>
        <message xmi:type="uml:Message" xmi:id="A_TestCase9-D-Interaction1-destroy">
          <name>destroy</name>
          <sendEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-26"/>
          <receiveEvent xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-25"/>
          <messageSort>deleteMessage</messageSort>
          <connector xmi:idref="A_TestCase9-D-b-c"/>
        </message>
        <lifeline xmi:type="uml:Lifeline" xmi:id="A_TestCase9-D-Interaction1-aa">
          <name>aa</name>
          <represents xmi:idref="A_TestCase9-D-aa"/>
          <coveredBy xmi:idref="B_BehaviorExecutionSpecification_TestCase9.D.Interaction1_-1"/>
          <coveredBy xmi:idref="B_BehaviorExecutionSpecification_TestCase9.D.Interaction1_-2"/>
          <coveredBy xmi:idref="B_ExecutionOccurrenceSpecification_TestCase9.D.Interaction1_-1"/>
          <coveredBy xmi:idref="B_ExecutionOccurrenceSpecification_TestCase9.D.Interaction1_-2"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-2"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-3"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-5"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-15"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-18"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-19"/>
        </lifeline>
        <lifeline xmi:type="uml:Lifeline" xmi:id="A_TestCase9-D-Interaction1-bb">
          <name>bb</name>
          <represents xmi:idref="A_TestCase9-D-bb"/>
          <coveredBy xmi:idref="B_BehaviorExecutionSpecification_TestCase9.D.Interaction1_-3"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-1"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-4"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-7"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-9"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-11"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-13"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-21"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-23"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-26"/>
        </lifeline>
        <lifeline xmi:type="uml:Lifeline" xmi:id="A_TestCase9-D-Interaction1-cc">
          <name>cc</name>
          <represents xmi:idref="A_TestCase9-D-cc"/>
          <coveredBy xmi:idref="B_BehaviorExecutionSpecification_TestCase9.D.Interaction1_-4"/>
          <coveredBy xmi:idref="B_BehaviorExecutionSpecification_TestCase9.D.Interaction1_-5"/>
          <coveredBy xmi:idref="B_BehaviorExecutionSpecification_TestCase9.D.Interaction1_-6"/>
          <coveredBy xmi:idref="B_BehaviorExecutionSpecification_TestCase9.D.Interaction1_-7"/>
          <coveredBy xmi:idref="B_ExecutionOccurrenceSpecification_TestCase9.D.Interaction1_-3"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-6"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-8"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-10"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-12"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-14"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-16"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-17"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-20"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-22"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-24"/>
          <coveredBy xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-25"/>
        </lifeline>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-2">
          <message xmi:idref="A_TestCase9-D-Interaction1-B"/>
          <event xmi:idref="A_TestCase9-SendOperationEvent8"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-aa"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-1">
          <message xmi:idref="A_TestCase9-D-Interaction1-B"/>
          <event xmi:idref="A_TestCase9-CreationEvent1"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-bb"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-9">
          <message xmi:idref="A_TestCase9-D-Interaction1-cOperation1-1"/>
          <event xmi:idref="A_TestCase9-SendOperationEvent2"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-bb"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-8">
          <message xmi:idref="A_TestCase9-D-Interaction1-cOperation1-1"/>
          <event xmi:idref="A_TestCase9-ReceiveOperationEvent1"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-cc"/>
        </fragment>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="B_BehaviorExecutionSpecification_TestCase9.D.Interaction1_-4">
          <covered xmi:idref="A_TestCase9-D-Interaction1-cc"/>
          <start xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-8"/>
          <finish xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-10"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-10">
          <message xmi:idref="A_TestCase9-D-Interaction1-cOperation1-2"/>
          <event xmi:idref="A_TestCase9-SendOperationEvent2"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-cc"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-7">
          <message xmi:idref="A_TestCase9-D-Interaction1-cOperation1-2"/>
          <event xmi:idref="A_TestCase9-ReceiveOperationEvent1"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-bb"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-18">
          <message xmi:idref="A_TestCase9-D-Interaction1-cOperation3-1"/>
          <event xmi:idref="A_TestCase9-SendOperationEvent3"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-aa"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-16">
          <message xmi:idref="A_TestCase9-D-Interaction1-cOperation3-1"/>
          <event xmi:idref="A_TestCase9-ReceiveOperationEvent2"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-cc"/>
        </fragment>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="B_BehaviorExecutionSpecification_TestCase9.D.Interaction1_-6">
          <covered xmi:idref="A_TestCase9-D-Interaction1-cc"/>
          <start xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-16"/>
          <finish xmi:idref="B_ExecutionOccurrenceSpecification_TestCase9.D.Interaction1_-3"/>
        </fragment>
        <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="B_ExecutionOccurrenceSpecification_TestCase9.D.Interaction1_-3">
          <covered xmi:idref="A_TestCase9-D-Interaction1-cc"/>
          <execution xmi:idref="B_BehaviorExecutionSpecification_TestCase9.D.Interaction1_-6"/>
          <event xmi:idref="A_TestCase9-ExecutionEvent1"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-6">
          <message xmi:idref="A_TestCase9-D-Interaction1-aOperation1"/>
          <event xmi:idref="A_TestCase9-SendOperationEvent7"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-cc"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-5">
          <message xmi:idref="A_TestCase9-D-Interaction1-aOperation1"/>
          <event xmi:idref="A_TestCase9-ReceiveOperationEvent6"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-aa"/>
        </fragment>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="B_BehaviorExecutionSpecification_TestCase9.D.Interaction1_-2">
          <covered xmi:idref="A_TestCase9-D-Interaction1-aa"/>
          <start xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-5"/>
          <finish xmi:idref="B_ExecutionOccurrenceSpecification_TestCase9.D.Interaction1_-2"/>
        </fragment>
        <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="B_ExecutionOccurrenceSpecification_TestCase9.D.Interaction1_-2">
          <covered xmi:idref="A_TestCase9-D-Interaction1-aa"/>
          <execution xmi:idref="B_BehaviorExecutionSpecification_TestCase9.D.Interaction1_-2"/>
          <event xmi:idref="A_TestCase9-ExecutionEvent3"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-13">
          <message xmi:idref="A_TestCase9-D-Interaction1-cOperation2-1"/>
          <event xmi:idref="A_TestCase9-SendOperationEvent4"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-bb"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-12">
          <message xmi:idref="A_TestCase9-D-Interaction1-cOperation2-1"/>
          <event xmi:idref="A_TestCase9-ReceiveOperationEvent4"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-cc"/>
        </fragment>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="B_BehaviorExecutionSpecification_TestCase9.D.Interaction1_-5">
          <covered xmi:idref="A_TestCase9-D-Interaction1-cc"/>
          <start xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-12"/>
          <finish xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-14"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-24">
          <message xmi:idref="A_TestCase9-D-Interaction1-callBack-1"/>
          <event xmi:idref="A_TestCase9-SendOperationEvent5"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-cc"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-21">
          <message xmi:idref="A_TestCase9-D-Interaction1-callBack-1"/>
          <event xmi:idref="A_TestCase9-ReceiveOperationEvent5"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-bb"/>
        </fragment>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="B_BehaviorExecutionSpecification_TestCase9.D.Interaction1_-3">
          <covered xmi:idref="A_TestCase9-D-Interaction1-bb"/>
          <start xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-21"/>
          <finish xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-23"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-4">
          <message xmi:idref="A_TestCase9-D-Interaction1-Signal1"/>
          <event xmi:idref="A_TestCase9-SendSignalEvent1"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-bb"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-3">
          <message xmi:idref="A_TestCase9-D-Interaction1-Signal1"/>
          <event xmi:idref="A_TestCase9-ReceiveSignalEvent1"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-aa"/>
        </fragment>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="B_BehaviorExecutionSpecification_TestCase9.D.Interaction1_-1">
          <covered xmi:idref="A_TestCase9-D-Interaction1-aa"/>
          <start xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-3"/>
          <finish xmi:idref="B_ExecutionOccurrenceSpecification_TestCase9.D.Interaction1_-1"/>
        </fragment>
        <fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="B_ExecutionOccurrenceSpecification_TestCase9.D.Interaction1_-1">
          <covered xmi:idref="A_TestCase9-D-Interaction1-aa"/>
          <execution xmi:idref="B_BehaviorExecutionSpecification_TestCase9.D.Interaction1_-1"/>
          <event xmi:idref="A_TestCase9-ExecutionEvent2"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-23">
          <message xmi:idref="A_TestCase9-D-Interaction1-callBack-2"/>
          <event xmi:idref="A_TestCase9-SendOperationEvent5"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-bb"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-22">
          <message xmi:idref="A_TestCase9-D-Interaction1-callBack-2"/>
          <event xmi:idref="A_TestCase9-ReceiveOperationEvent5"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-cc"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-14">
          <message xmi:idref="A_TestCase9-D-Interaction1-cOperation2-2"/>
          <event xmi:idref="A_TestCase9-SendOperationEvent4"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-cc"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-11">
          <message xmi:idref="A_TestCase9-D-Interaction1-cOperation2-2"/>
          <event xmi:idref="A_TestCase9-ReceiveOperationEvent4"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-bb"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-19">
          <message xmi:idref="A_TestCase9-D-Interaction1-cOperation3-2"/>
          <event xmi:idref="A_TestCase9-SendOperationEvent3"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-aa"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-17">
          <message xmi:idref="A_TestCase9-D-Interaction1-cOperation3-2"/>
          <event xmi:idref="A_TestCase9-ReceiveOperationEvent2"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-cc"/>
        </fragment>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="B_BehaviorExecutionSpecification_TestCase9.D.Interaction1_-7">
          <covered xmi:idref="A_TestCase9-D-Interaction1-cc"/>
          <start xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-17"/>
          <finish xmi:idref="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-20"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-20">
          <message xmi:idref="A_TestCase9-D-Interaction1-cOperation3-3"/>
          <event xmi:idref="A_TestCase9-SendOperationEvent3"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-cc"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-15">
          <message xmi:idref="A_TestCase9-D-Interaction1-cOperation3-3"/>
          <event xmi:idref="A_TestCase9-ReceiveOperationEvent2"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-aa"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-26">
          <message xmi:idref="A_TestCase9-D-Interaction1-destroy"/>
          <event xmi:idref="A_TestCase9-SendOperationEvent1"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-bb"/>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="B_MessageOccurrenceSpecification_TestCase9.D.Interaction1_-25">
          <message xmi:idref="A_TestCase9-D-Interaction1-destroy"/>
          <event xmi:idref="A_TestCase9-DestructionEvent1"/>
          <covered xmi:idref="A_TestCase9-D-Interaction1-cc"/>
        </fragment>
      </ownedBehavior>
      <ownedConnector xmi:type="uml:Connector" xmi:id="A_TestCase9-D-a-b">
        <name>a-b</name>
        <end xmi:type="uml:ConnectorEnd" xmi:id="B_ConnectorEnd_TestCase9.D.a-b_-2">
          <role xmi:idref="A_TestCase9-D-bb"/>
        </end>
        <end xmi:type="uml:ConnectorEnd" xmi:id="B_ConnectorEnd_TestCase9.D.a-b_-1">
          <role xmi:idref="A_TestCase9-D-aa"/>
        </end>
      </ownedConnector>
      <ownedConnector xmi:type="uml:Connector" xmi:id="A_TestCase9-D-a-c">
        <name>a-c</name>
        <end xmi:type="uml:ConnectorEnd" xmi:id="B_ConnectorEnd_TestCase9.D.a-c_-2">
          <role xmi:idref="A_TestCase9-D-cc"/>
        </end>
        <end xmi:type="uml:ConnectorEnd" xmi:id="B_ConnectorEnd_TestCase9.D.a-c_-1">
          <role xmi:idref="A_TestCase9-D-aa"/>
        </end>
      </ownedConnector>
      <ownedConnector xmi:type="uml:Connector" xmi:id="A_TestCase9-D-b-c">
        <name>b-c</name>
        <end xmi:type="uml:ConnectorEnd" xmi:id="B_ConnectorEnd_TestCase9.D.b-c_-2">
          <role xmi:idref="A_TestCase9-D-cc"/>
        </end>
        <end xmi:type="uml:ConnectorEnd" xmi:id="B_ConnectorEnd_TestCase9.D.b-c_-1">
          <role xmi:idref="A_TestCase9-D-bb"/>
        </end>
      </ownedConnector>
      <ownedAttribute xmi:type="uml:Property" xmi:id="A_TestCase9-D-aa">
        <visibility>public</visibility>
        <name>aa</name>
        <type xmi:idref="A_TestCase9-A"/>
        <association xmi:idref="B_Association_TestCase9_-1"/>
        <aggregation>composite</aggregation>
      </ownedAttribute>
      <ownedAttribute xmi:type="uml:Property" xmi:id="A_TestCase9-D-bb">
        <visibility>private</visibility>
        <name>bb</name>
        <type xmi:idref="A_TestCase9-B"/>
        <association xmi:idref="B_Association_TestCase9_-2"/>
        <aggregation>composite</aggregation>
      </ownedAttribute>
      <ownedAttribute xmi:type="uml:Property" xmi:id="A_TestCase9-D-cc">
        <visibility>protected</visibility>
        <name>cc</name>
        <type xmi:idref="A_TestCase9-C"/>
        <association xmi:idref="B_Association_TestCase9_-3"/>
        <aggregation>composite</aggregation>
      </ownedAttribute>
    </packagedElement>
    <packagedElement xmi:type="uml:DestructionEvent" xmi:id="A_TestCase9-DestructionEvent1">
      <name>DestructionEvent1</name>
    </packagedElement>
    <packagedElement xmi:type="uml:ExecutionEvent" xmi:id="A_TestCase9-ExecutionEvent1">
      <name>ExecutionEvent1</name>
    </packagedElement>
    <packagedElement xmi:type="uml:ExecutionEvent" xmi:id="A_TestCase9-ExecutionEvent2">
      <name>ExecutionEvent2</name>
    </packagedElement>
    <packagedElement xmi:type="uml:ExecutionEvent" xmi:id="A_TestCase9-ExecutionEvent3">
      <name>ExecutionEvent3</name>
    </packagedElement>
    <packagedElement xmi:type="uml:ReceiveOperationEvent" xmi:id="A_TestCase9-ReceiveOperationEvent1">
      <name>ReceiveOperationEvent1</name>
      <operation xmi:idref="A_TestCase9-C-cOperation1"/>
    </packagedElement>
    <packagedElement xmi:type="uml:ReceiveOperationEvent" xmi:id="A_TestCase9-ReceiveOperationEvent2">
      <name>ReceiveOperationEvent2</name>
      <operation xmi:idref="A_TestCase9-C-cOperation3"/>
    </packagedElement>
    <packagedElement xmi:type="uml:ReceiveOperationEvent" xmi:id="A_TestCase9-ReceiveOperationEvent4">
      <name>ReceiveOperationEvent4</name>
      <operation xmi:idref="A_TestCase9-C-cOperation2"/>
    </packagedElement>
    <packagedElement xmi:type="uml:ReceiveOperationEvent" xmi:id="A_TestCase9-ReceiveOperationEvent5">
      <name>ReceiveOperationEvent5</name>
      <operation xmi:idref="A_TestCase9-B-callBack"/>
    </packagedElement>
    <packagedElement xmi:type="uml:ReceiveOperationEvent" xmi:id="A_TestCase9-ReceiveOperationEvent6">
      <name>ReceiveOperationEvent6</name>
      <operation xmi:idref="A_TestCase9-A-aOperation1"/>
    </packagedElement>
    <packagedElement xmi:type="uml:ReceiveSignalEvent" xmi:id="A_TestCase9-ReceiveSignalEvent1">
      <name>ReceiveSignalEvent1</name>
      <signal xmi:idref="A_TestCase9-Signal1"/>
    </packagedElement>
    <packagedElement xmi:type="uml:SendOperationEvent" xmi:id="A_TestCase9-SendOperationEvent1">
      <name>SendOperationEvent1</name>
      <operation xmi:idref="A_TestCase9-C-destroy"/>
    </packagedElement>
    <packagedElement xmi:type="uml:SendOperationEvent" xmi:id="A_TestCase9-SendOperationEvent2">
      <name>SendOperationEvent2</name>
      <operation xmi:idref="A_TestCase9-C-cOperation1"/>
    </packagedElement>
    <packagedElement xmi:type="uml:SendOperationEvent" xmi:id="A_TestCase9-SendOperationEvent3">
      <name>SendOperationEvent3</name>
      <operation xmi:idref="A_TestCase9-C-cOperation3"/>
    </packagedElement>
    <packagedElement xmi:type="uml:SendOperationEvent" xmi:id="A_TestCase9-SendOperationEvent4">
      <name>SendOperationEvent4</name>
      <operation xmi:idref="A_TestCase9-C-cOperation2"/>
    </packagedElement>
    <packagedElement xmi:type="uml:SendOperationEvent" xmi:id="A_TestCase9-SendOperationEvent5">
      <name>SendOperationEvent5</name>
      <operation xmi:idref="A_TestCase9-B-callBack"/>
    </packagedElement>
    <packagedElement xmi:type="uml:SendOperationEvent" xmi:id="A_TestCase9-SendOperationEvent7">
      <name>SendOperationEvent7</name>
      <operation xmi:idref="A_TestCase9-A-aOperation1"/>
    </packagedElement>
    <packagedElement xmi:type="uml:SendOperationEvent" xmi:id="A_TestCase9-SendOperationEvent8">
      <name>SendOperationEvent8</name>
      <operation xmi:idref="A_TestCase9-B-B"/>
    </packagedElement>
    <packagedElement xmi:type="uml:SendSignalEvent" xmi:id="A_TestCase9-SendSignalEvent1">
      <name>SendSignalEvent1</name>
      <signal xmi:idref="A_TestCase9-Signal1"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Signal" xmi:id="A_TestCase9-Signal1">
      <name>Signal1</name>
    </packagedElement>
    <packagedElement xmi:type="uml:Signal" xmi:id="A_TestCase9-Signal2">
      <name>Signal2</name>
    </packagedElement>
    <packagedElement xmi:type="uml:Association" xmi:id="B_Association_TestCase9_-1">
      <ownedEnd xmi:type="uml:Property" xmi:id="B_Property_TestCase9.._-1">
        <visibility>private</visibility>
        <name/>
        <type xmi:idref="A_TestCase9-D"/>
        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="L_TestCase9..._1-1">
          <value>1</value>
        </upperValue>
        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="L_TestCase9..._1-2">
          <value>1</value>
        </lowerValue>
        <association xmi:idref="B_Association_TestCase9_-1"/>
      </ownedEnd>
      <memberEnd xmi:idref="A_TestCase9-D-aa"/>
      <memberEnd xmi:idref="B_Property_TestCase9.._-1"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Association" xmi:id="B_Association_TestCase9_-2">
      <ownedEnd xmi:type="uml:Property" xmi:id="B_Property_TestCase9.._-2">
        <visibility>private</visibility>
        <name/>
        <type xmi:idref="A_TestCase9-D"/>
        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="L_TestCase9..._1-3">
          <value>1</value>
        </upperValue>
        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="L_TestCase9..._1-4">
          <value>1</value>
        </lowerValue>
        <association xmi:idref="B_Association_TestCase9_-2"/>
      </ownedEnd>
      <memberEnd xmi:idref="A_TestCase9-D-bb"/>
      <memberEnd xmi:idref="B_Property_TestCase9.._-2"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Association" xmi:id="B_Association_TestCase9_-3">
      <ownedEnd xmi:type="uml:Property" xmi:id="B_Property_TestCase9.._-3">
        <visibility>private</visibility>
        <name/>
        <type xmi:idref="A_TestCase9-D"/>
        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="L_TestCase9..._1-5">
          <value>1</value>
        </upperValue>
        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="L_TestCase9..._1-6">
          <value>1</value>
        </lowerValue>
        <association xmi:idref="B_Association_TestCase9_-3"/>
      </ownedEnd>
      <memberEnd xmi:idref="A_TestCase9-D-cc"/>
      <memberEnd xmi:idref="B_Property_TestCase9.._-3"/>
    </packagedElement>
  </uml:Model>
</xmi:XMI>
