<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="2.1" xmlns:xmi="http://schema.omg.org/spec/XMI/2.1" xmlns:uml="http://www.eclipse.org/uml2/3.0.0/UML" xmi:id="_qb8akM37EdqwVrslYOdUDA">
  <elementImport xmi:id="_6u_tAFfyEeG869Uz7qAJow">
    <importedElement xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
  </elementImport>
  <packagedElement xmi:type="uml:Package" xmi:id="_w8IxIM37EdqwVrslYOdUDA" name="Simple2">
    <packagedElement xmi:type="uml:Class" xmi:id="_Hokf0DJJEeGjS-_RcLljMA" name="C" classifierBehavior="_iSpjsEOKEeG4EdriM4MjZA">
      <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_iSpjsEOKEeG4EdriM4MjZA" name="StateMachine">
        <region xmi:id="_iSpjsUOKEeG4EdriM4MjZA" name="Region">
          <subvertex xmi:type="uml:Pseudostate" xmi:id="_i03f8EOKEeG4EdriM4MjZA" name="Pseudostate1"/>
          <subvertex xmi:type="uml:State" xmi:id="_kg3uwEOKEeG4EdriM4MjZA" name="State1"/>
          <subvertex xmi:type="uml:FinalState" xmi:id="_k8QDMkOKEeG4EdriM4MjZA" name="FinalState1"/>
          <transition xmi:id="_leLEhkOKEeG4EdriM4MjZA" name="Transition1" source="_i03f8EOKEeG4EdriM4MjZA" target="_kg3uwEOKEeG4EdriM4MjZA"/>
          <transition xmi:id="_l7n1hUOKEeG4EdriM4MjZA" name="testTransition" source="_kg3uwEOKEeG4EdriM4MjZA" target="_k8QDMkOKEeG4EdriM4MjZA">
            <effect xmi:type="uml:OpaqueBehavior" xmi:id="_iuxyEFfuEeG869Uz7qAJow" name="myEffect">
              <language>SAL</language>
              <body>reply false</body>
            </effect>
            <trigger xmi:id="_oopccEOKEeG4EdriM4MjZA" event="_HzgXQVgWEeGNWfnyZ1uO5w"/>
          </transition>
        </region>
      </ownedBehavior>
      <ownedOperation xmi:id="_IeJc8DJJEeGjS-_RcLljMA" name="m">
        <ownedParameter xmi:id="_39pmwFfyEeG869Uz7qAJow" name="return" direction="return">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
        </ownedParameter>
      </ownedOperation>
    </packagedElement>
    <packagedElement xmi:type="uml:UseCase" xmi:id="_a3RJUDJJEeGjS-_RcLljMA" name="UseCase1" classifierBehavior="_d14PgDJJEeGjS-_RcLljMA">
      <ownedBehavior xmi:type="uml:Interaction" xmi:id="_d14PgDJJEeGjS-_RcLljMA" name="UseCase1Detail">
        <ownedAttribute xmi:id="_skGXcDJJEeGjS-_RcLljMA" name="Property1" type="_rbyEgDJJEeGjS-_RcLljMA"/>
        <ownedAttribute xmi:id="_vfbOMDJLEeGjS-_RcLljMA" name="Property2" type="_Hokf0DJJEeGjS-_RcLljMA"/>
        <ownedConnector xmi:id="_skIMoDJJEeGjS-_RcLljMA" name="Connector1">
          <end xmi:id="_skIzsDJJEeGjS-_RcLljMA" role="_skGXcDJJEeGjS-_RcLljMA"/>
          <end xmi:id="_o4c6MDJLEeGjS-_RcLljMA"/>
          <end xmi:id="_vfbOMTJLEeGjS-_RcLljMA" role="_vfbOMDJLEeGjS-_RcLljMA"/>
        </ownedConnector>
        <lifeline xmi:id="_fRnNsDJJEeGjS-_RcLljMA" name="Lifeline1" represents="_skGXcDJJEeGjS-_RcLljMA" coveredBy="_HzfJIFgWEeGNWfnyZ1uO5w _An3bUmj-EeGOmOwre_eWRA _SOTS8DJKEeGjS-_RcLljMA"/>
        <lifeline xmi:id="_o900UDJJEeGjS-_RcLljMA" name="Lifeline2" represents="_vfbOMDJLEeGjS-_RcLljMA" coveredBy="_HzgXQFgWEeGNWfnyZ1uO5w _AntqVmj-EeGOmOwre_eWRA _0ZLLYDJLEeGjS-_RcLljMA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_HzfJIFgWEeGNWfnyZ1uO5w" name="MessageOccurrenceSpecification1" covered="_fRnNsDJJEeGjS-_RcLljMA" event="_HzgXQVgWEeGNWfnyZ1uO5w" message="_Hzg-UFgWEeGNWfnyZ1uO5w"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_HzgXQFgWEeGNWfnyZ1uO5w" name="MessageOccurrenceSpecification2" covered="_o900UDJJEeGjS-_RcLljMA" event="_HzgXQVgWEeGNWfnyZ1uO5w" message="_Hzg-UFgWEeGNWfnyZ1uO5w"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_SOTS8DJKEeGjS-_RcLljMA" name="BehaviorExecutionSpecification1" covered="_fRnNsDJJEeGjS-_RcLljMA" start="_HzfJIFgWEeGNWfnyZ1uO5w" finish="_An3bUmj-EeGOmOwre_eWRA"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_0ZLLYDJLEeGjS-_RcLljMA" name="BehaviorExecutionSpecification2" covered="_o900UDJJEeGjS-_RcLljMA" start="_HzgXQFgWEeGNWfnyZ1uO5w" finish="_AntqVmj-EeGOmOwre_eWRA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_AntqVmj-EeGOmOwre_eWRA" name="SendMessageOccurrenceSpecificationOfReplyOfm" covered="_o900UDJJEeGjS-_RcLljMA" event="_AntqUGj-EeGOmOwre_eWRA" message="_AntqU2j-EeGOmOwre_eWRA">
          <eAnnotations xmi:id="_An3bUGj-EeGOmOwre_eWRA" source="dk.dtu.imm.esculapauml">
            <details xmi:id="_An3bUWj-EeGOmOwre_eWRA" key="generated" value="true"/>
          </eAnnotations>
        </fragment>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_An3bUmj-EeGOmOwre_eWRA" name="ReceiveMessageOccurrenceSpecificationOfReplyOfm" covered="_fRnNsDJJEeGjS-_RcLljMA" event="_AntqUGj-EeGOmOwre_eWRA" message="_AntqU2j-EeGOmOwre_eWRA">
          <eAnnotations xmi:id="_An3bU2j-EeGOmOwre_eWRA" source="dk.dtu.imm.esculapauml">
            <details xmi:id="_An3bVGj-EeGOmOwre_eWRA" key="generated" value="true"/>
          </eAnnotations>
        </fragment>
        <message xmi:id="_Hzg-UFgWEeGNWfnyZ1uO5w" name="m" receiveEvent="_HzgXQFgWEeGNWfnyZ1uO5w" sendEvent="_HzfJIFgWEeGNWfnyZ1uO5w">
          <argument xmi:type="uml:LiteralBoolean" xmi:id="_KCORkFgWEeGNWfnyZ1uO5w" name="return">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
          </argument>
        </message>
        <message xmi:id="_AntqU2j-EeGOmOwre_eWRA" name="ReplyOfm" messageSort="reply" receiveEvent="_An3bUmj-EeGOmOwre_eWRA" sendEvent="_AntqVmj-EeGOmOwre_eWRA">
          <eAnnotations xmi:id="_AntqVGj-EeGOmOwre_eWRA" source="dk.dtu.imm.esculapauml">
            <details xmi:id="_AntqVWj-EeGOmOwre_eWRA" key="generated" value="true"/>
          </eAnnotations>
          <argument xmi:type="uml:LiteralBoolean" xmi:id="_An3bVWj-EeGOmOwre_eWRA" name="return">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
          </argument>
        </message>
      </ownedBehavior>
    </packagedElement>
    <packagedElement xmi:type="uml:Actor" xmi:id="_rbyEgDJJEeGjS-_RcLljMA" name="Actor1"/>
    <packagedElement xmi:type="uml:CallEvent" xmi:id="_HzgXQVgWEeGNWfnyZ1uO5w" name="mEvent" operation="_IeJc8DJJEeGjS-_RcLljMA"/>
    <packagedElement xmi:type="uml:InstanceSpecification" xmi:id="_AnQ-YGj-EeGOmOwre_eWRA" name="Lifeline2" classifier="_Hokf0DJJEeGjS-_RcLljMA">
      <eAnnotations xmi:id="_AnQ-YWj-EeGOmOwre_eWRA" source="dk.dtu.imm.esculapauml">
        <details xmi:id="_AnQ-Ymj-EeGOmOwre_eWRA" key="generated" value="true"/>
      </eAnnotations>
    </packagedElement>
    <packagedElement xmi:type="uml:CallEvent" xmi:id="_AntqUGj-EeGOmOwre_eWRA" name="EventOfReplyOfm" operation="_IeJc8DJJEeGjS-_RcLljMA">
      <eAnnotations xmi:id="_AntqUWj-EeGOmOwre_eWRA" source="dk.dtu.imm.esculapauml">
        <details xmi:id="_AntqUmj-EeGOmOwre_eWRA" key="generated" value="true"/>
      </eAnnotations>
    </packagedElement>
  </packagedElement>
</uml:Model>
