tests/org.eclipse.uml2.diagram.statemachine.tests/examples/15.22.Junction.uml

<?xml version="1.0" encoding="UTF-8"?>
<uml:Package 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="_rIVQgM_4Ed2lF6ZbJF5ZwQ">
  <elementImport xmi:id="_rL6I8M_4Ed2lF6ZbJF5ZwQ">
    <importedElement xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
  </elementImport>
  <elementImport xmi:id="_rMW04M_4Ed2lF6ZbJF5ZwQ">
    <importedElement xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
  </elementImport>
  <elementImport xmi:id="_rMW04c_4Ed2lF6ZbJF5ZwQ">
    <importedElement xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#UnlimitedNatural"/>
  </elementImport>
  <elementImport xmi:id="_rMW04s_4Ed2lF6ZbJF5ZwQ">
    <importedElement xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
  </elementImport>
  <packagedElement xmi:type="uml:StateMachine" xmi:id="_NrfGEM_6Ed2lF6ZbJF5ZwQ" name="StateMachine">
    <region xmi:id="_NrfGEc_6Ed2lF6ZbJF5ZwQ">
      <subvertex xmi:type="uml:State" xmi:id="_NrfGEs_6Ed2lF6ZbJF5ZwQ" name="State0"/>
      <subvertex xmi:type="uml:State" xmi:id="_NrfGE8_6Ed2lF6ZbJF5ZwQ" name="State1"/>
      <subvertex xmi:type="uml:State" xmi:id="_NrfGFM_6Ed2lF6ZbJF5ZwQ" name="State2"/>
      <subvertex xmi:type="uml:State" xmi:id="_NrfGFc_6Ed2lF6ZbJF5ZwQ" name="State3"/>
      <subvertex xmi:type="uml:State" xmi:id="_NrfGFs_6Ed2lF6ZbJF5ZwQ" name="State4"/>
      <subvertex xmi:type="uml:Pseudostate" xmi:id="_NrfGF8_6Ed2lF6ZbJF5ZwQ" kind="junction"/>
      <transition xmi:id="_NrfGGM_6Ed2lF6ZbJF5ZwQ" source="_NrfGEs_6Ed2lF6ZbJF5ZwQ" target="_NrfGF8_6Ed2lF6ZbJF5ZwQ" guard="_NrfGGc_6Ed2lF6ZbJF5ZwQ">
        <ownedRule xmi:id="_NrfGGc_6Ed2lF6ZbJF5ZwQ" name="guard">
          <specification xmi:type="uml:LiteralString" xmi:id="_NrfGGs_6Ed2lF6ZbJF5ZwQ" name="specification" value="b &lt; 0"/>
        </ownedRule>
        <trigger xmi:id="_NrfGG8_6Ed2lF6ZbJF5ZwQ" name="trigger">
          <event xmi:type="uml:AnyReceiveEvent" href="events.uml#_YuTE4BZlEdyzvZTv-3508A"/>
        </trigger>
      </transition>
      <transition xmi:id="_NrfGHM_6Ed2lF6ZbJF5ZwQ" source="_NrfGE8_6Ed2lF6ZbJF5ZwQ" target="_NrfGF8_6Ed2lF6ZbJF5ZwQ" guard="_NrfGHc_6Ed2lF6ZbJF5ZwQ">
        <ownedRule xmi:id="_NrfGHc_6Ed2lF6ZbJF5ZwQ" name="guard">
          <specification xmi:type="uml:LiteralString" xmi:id="_NrfGHs_6Ed2lF6ZbJF5ZwQ" name="specification" value="b &lt; 0"/>
        </ownedRule>
        <trigger xmi:id="_NrfGH8_6Ed2lF6ZbJF5ZwQ" name="trigger">
          <event xmi:type="uml:AnyReceiveEvent" href="events.uml#_X2t8oBZlEdyzvZTv-3508A"/>
        </trigger>
      </transition>
      <transition xmi:id="_NrfGIM_6Ed2lF6ZbJF5ZwQ" source="_NrfGF8_6Ed2lF6ZbJF5ZwQ" target="_NrfGFc_6Ed2lF6ZbJF5ZwQ" guard="_NrfGIc_6Ed2lF6ZbJF5ZwQ">
        <ownedRule xmi:id="_NrfGIc_6Ed2lF6ZbJF5ZwQ" name="guard">
          <specification xmi:type="uml:LiteralString" xmi:id="_NrfGIs_6Ed2lF6ZbJF5ZwQ" name="specification" value="a = 5"/>
        </ownedRule>
      </transition>
      <transition xmi:id="_NrfGI8_6Ed2lF6ZbJF5ZwQ" source="_NrfGF8_6Ed2lF6ZbJF5ZwQ" target="_NrfGFs_6Ed2lF6ZbJF5ZwQ" guard="_NrfGJM_6Ed2lF6ZbJF5ZwQ">
        <ownedRule xmi:id="_NrfGJM_6Ed2lF6ZbJF5ZwQ" name="guard">
          <specification xmi:type="uml:LiteralString" xmi:id="_NrfGJc_6Ed2lF6ZbJF5ZwQ" name="specification" value="a > 7"/>
        </ownedRule>
      </transition>
      <transition xmi:id="_NrfGJs_6Ed2lF6ZbJF5ZwQ" source="_NrfGF8_6Ed2lF6ZbJF5ZwQ" target="_NrfGFM_6Ed2lF6ZbJF5ZwQ" guard="_NrfGJ8_6Ed2lF6ZbJF5ZwQ">
        <ownedRule xmi:id="_NrfGJ8_6Ed2lF6ZbJF5ZwQ" name="guard">
          <specification xmi:type="uml:LiteralString" xmi:id="_NrfGKM_6Ed2lF6ZbJF5ZwQ" name="specification" value="a &lt; 0"/>
        </ownedRule>
      </transition>
    </region>
  </packagedElement>
</uml:Package>