source.sysml 16.2 KB
<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:sysML="http://www.topcased.org/2.0/sysML" xmlns:uml="http://www.eclipse.org/uml2/3.0.0/UML" xmi:id="idModel" name="source">
  <packagedElement xmi:type="uml:Package" xmi:id="idPackage" name="source">
    <packagedElement xmi:type="sysML:Block" xmi:id="_Hr124BdyEeKze7TbhH-LyA" name="Block1" classifierBehavior="_ItorEBdyEeKze7TbhH-LyA">
      <ownedBehavior xmi:type="uml:Activity" xmi:id="_ItorEBdyEeKze7TbhH-LyA" name="Activity1">
        <node xmi:type="uml:InitialNode" xmi:id="_J_AzYBdyEeKze7TbhH-LyA" name="InitialNode1" outgoing="_fNXngBdyEeKze7TbhH-LyA"/>
        <node xmi:type="uml:ActivityFinalNode" xmi:id="_KgV-0BdyEeKze7TbhH-LyA" name="ActivityFinalNode1" incoming="_nslaEBdzEeKze7TbhH-LyA"/>
        <node xmi:type="uml:LoopNode" xmi:id="_NIMx4BdyEeKze7TbhH-LyA" name="LoopNode1" outgoing="_F107ABdzEeKze7TbhH-LyA" incoming="_fNXngBdyEeKze7TbhH-LyA">
          <localPrecondition xmi:type="uml:Constraint" xmi:id="_TnoTcBdyEeKze7TbhH-LyA" name="Constraint1">
            <specification xmi:type="uml:OpaqueExpression" xmi:id="_U55MkBdyEeKze7TbhH-LyA">
              <body>i IN 3 DOWNTO 0</body>
            </specification>
          </localPrecondition>
          <edge xmi:type="uml:ControlFlow" xmi:id="_hwj9ABdyEeKze7TbhH-LyA" name="ControlFlow1" source="_PdcK8BdyEeKze7TbhH-LyA" target="_Y2Lb8BdyEeKze7TbhH-LyA">
            <guard xmi:type="uml:LiteralBoolean" xmi:id="_hwj9ARdyEeKze7TbhH-LyA" value="true"/>
            <weight xmi:type="uml:LiteralInteger" xmi:id="_hwj9AhdyEeKze7TbhH-LyA" value="1"/>
          </edge>
          <edge xmi:type="uml:ControlFlow" xmi:id="_kldGgBdyEeKze7TbhH-LyA" name="ControlFlow2" source="_Y2Lb8BdyEeKze7TbhH-LyA" target="_irrhcBdyEeKze7TbhH-LyA">
            <guard xmi:type="uml:LiteralBoolean" xmi:id="_kldGgRdyEeKze7TbhH-LyA"/>
            <weight xmi:type="uml:LiteralInteger" xmi:id="_kldGghdyEeKze7TbhH-LyA" value="1"/>
          </edge>
          <edge xmi:type="uml:ControlFlow" xmi:id="_mKACcBdyEeKze7TbhH-LyA" name="ControlFlow3" source="_Y2Lb8BdyEeKze7TbhH-LyA" target="_jfBp8BdyEeKze7TbhH-LyA">
            <guard xmi:type="uml:OpaqueExpression" xmi:id="_n0IpABdyEeKze7TbhH-LyA">
              <body>i &lt;= 4</body>
            </guard>
            <weight xmi:type="uml:LiteralInteger" xmi:id="_mKACchdyEeKze7TbhH-LyA" value="1"/>
          </edge>
          <edge xmi:type="uml:ControlFlow" xmi:id="_zUbcYBdyEeKze7TbhH-LyA" name="ControlFlow4" source="_jfBp8BdyEeKze7TbhH-LyA" target="_yQsHcBdyEeKze7TbhH-LyA">
            <guard xmi:type="uml:LiteralBoolean" xmi:id="_zUbcYRdyEeKze7TbhH-LyA" value="true"/>
            <weight xmi:type="uml:LiteralInteger" xmi:id="_zUbcYhdyEeKze7TbhH-LyA" value="1"/>
          </edge>
          <edge xmi:type="uml:ControlFlow" xmi:id="_zpa08BdyEeKze7TbhH-LyA" name="ControlFlow5" source="_tzVyYBdyEeKze7TbhH-LyA" target="_yQsHcBdyEeKze7TbhH-LyA">
            <guard xmi:type="uml:LiteralBoolean" xmi:id="_zpa08RdyEeKze7TbhH-LyA" value="true"/>
            <weight xmi:type="uml:LiteralInteger" xmi:id="_zpa08hdyEeKze7TbhH-LyA" value="1"/>
          </edge>
          <edge xmi:type="uml:ControlFlow" xmi:id="_0AOycBdyEeKze7TbhH-LyA" name="ControlFlow6" source="_yQsHcBdyEeKze7TbhH-LyA" target="_QaGAcBdyEeKze7TbhH-LyA">
            <guard xmi:type="uml:LiteralBoolean" xmi:id="_0AOycRdyEeKze7TbhH-LyA" value="true"/>
            <weight xmi:type="uml:LiteralInteger" xmi:id="_0AOychdyEeKze7TbhH-LyA" value="1"/>
          </edge>
          <edge xmi:type="uml:ControlFlow" xmi:id="_18SPcBdyEeKze7TbhH-LyA" name="ControlFlow7" source="_irrhcBdyEeKze7TbhH-LyA" target="_tzVyYBdyEeKze7TbhH-LyA">
            <guard xmi:type="uml:LiteralBoolean" xmi:id="_18SPcRdyEeKze7TbhH-LyA" value="true"/>
            <weight xmi:type="uml:LiteralInteger" xmi:id="_18SPchdyEeKze7TbhH-LyA" value="1"/>
          </edge>
          <node xmi:type="uml:InitialNode" xmi:id="_PdcK8BdyEeKze7TbhH-LyA" name="InitialNode1" outgoing="_hwj9ABdyEeKze7TbhH-LyA"/>
          <node xmi:type="uml:ActivityFinalNode" xmi:id="_QaGAcBdyEeKze7TbhH-LyA" name="ActivityFinalNode1" incoming="_0AOycBdyEeKze7TbhH-LyA"/>
          <node xmi:type="uml:DecisionNode" xmi:id="_Y2Lb8BdyEeKze7TbhH-LyA" name="DecisionNode1" outgoing="_kldGgBdyEeKze7TbhH-LyA _mKACcBdyEeKze7TbhH-LyA" incoming="_hwj9ABdyEeKze7TbhH-LyA"/>
          <node xmi:type="uml:OpaqueAction" xmi:id="_irrhcBdyEeKze7TbhH-LyA" name="OpaqueAction1" outgoing="_18SPcBdyEeKze7TbhH-LyA" incoming="_kldGgBdyEeKze7TbhH-LyA">
            <body>i--</body>
          </node>
          <node xmi:type="uml:OpaqueAction" xmi:id="_jfBp8BdyEeKze7TbhH-LyA" name="OpaqueAction2" outgoing="_zUbcYBdyEeKze7TbhH-LyA" incoming="_mKACcBdyEeKze7TbhH-LyA">
            <body>i++;</body>
          </node>
          <node xmi:type="uml:LoopNode" xmi:id="_tzVyYBdyEeKze7TbhH-LyA" name="LoopNode1" outgoing="_zpa08BdyEeKze7TbhH-LyA" incoming="_18SPcBdyEeKze7TbhH-LyA">
            <localPrecondition xmi:type="uml:Constraint" xmi:id="_4jSG4BdyEeKze7TbhH-LyA" name="Constraint1">
              <specification xmi:type="uml:OpaqueExpression" xmi:id="_5NC1kBdyEeKze7TbhH-LyA">
                <body>u IN 4 UPTO 10</body>
              </specification>
            </localPrecondition>
            <edge xmi:type="uml:ControlFlow" xmi:id="_-kk68BdyEeKze7TbhH-LyA" name="ControlFlow1" source="_2w_p4BdyEeKze7TbhH-LyA" target="_9TREEBdyEeKze7TbhH-LyA">
              <guard xmi:type="uml:LiteralBoolean" xmi:id="_-kk68RdyEeKze7TbhH-LyA" value="true"/>
              <weight xmi:type="uml:LiteralInteger" xmi:id="_-kk68hdyEeKze7TbhH-LyA" value="1"/>
            </edge>
            <edge xmi:type="uml:ControlFlow" xmi:id="__WW9MBdyEeKze7TbhH-LyA" name="ControlFlow2" source="_9TREEBdyEeKze7TbhH-LyA" target="_3JfCYBdyEeKze7TbhH-LyA">
              <guard xmi:type="uml:LiteralBoolean" xmi:id="__WW9MRdyEeKze7TbhH-LyA" value="true"/>
              <weight xmi:type="uml:LiteralInteger" xmi:id="__WW9MhdyEeKze7TbhH-LyA" value="1"/>
            </edge>
            <node xmi:type="uml:InitialNode" xmi:id="_2w_p4BdyEeKze7TbhH-LyA" name="InitialNode1" outgoing="_-kk68BdyEeKze7TbhH-LyA"/>
            <node xmi:type="uml:ActivityFinalNode" xmi:id="_3JfCYBdyEeKze7TbhH-LyA" name="ActivityFinalNode1" incoming="__WW9MBdyEeKze7TbhH-LyA"/>
            <node xmi:type="uml:OpaqueAction" xmi:id="_9TREEBdyEeKze7TbhH-LyA" name="OpaqueAction1" outgoing="__WW9MBdyEeKze7TbhH-LyA" incoming="_-kk68BdyEeKze7TbhH-LyA">
              <body>u = i;</body>
            </node>
          </node>
          <node xmi:type="uml:MergeNode" xmi:id="_yQsHcBdyEeKze7TbhH-LyA" name="MergeNode1" outgoing="_0AOycBdyEeKze7TbhH-LyA" incoming="_zUbcYBdyEeKze7TbhH-LyA _zpa08BdyEeKze7TbhH-LyA"/>
        </node>
        <node xmi:type="uml:InputPin" xmi:id="_dXec4BdyEeKze7TbhH-LyA" name="InputPin1">
          <upperBound xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_dXec4RdyEeKze7TbhH-LyA" value="*"/>
        </node>
        <node xmi:type="uml:DecisionNode" xmi:id="_ELb1wBdzEeKze7TbhH-LyA" name="DecisionNode1" outgoing="_K3feEBdzEeKze7TbhH-LyA _XAR00BdzEeKze7TbhH-LyA" incoming="_F107ABdzEeKze7TbhH-LyA"/>
        <node xmi:type="uml:LoopNode" xmi:id="_HFAq8BdzEeKze7TbhH-LyA" name="LoopNode2" outgoing="_KBUEABdzEeKze7TbhH-LyA" incoming="_K3feEBdzEeKze7TbhH-LyA">
          <localPrecondition xmi:type="uml:Constraint" xmi:id="_OoBwcBdzEeKze7TbhH-LyA" name="Constraint1">
            <specification xmi:type="uml:OpaqueExpression" xmi:id="_QP34ABdzEeKze7TbhH-LyA">
              <body>u IN i DOWNTO 0</body>
            </specification>
          </localPrecondition>
          <edge xmi:type="uml:ControlFlow" xmi:id="_80qnEBdzEeKze7TbhH-LyA" name="ControlFlow1" source="_uP7LQBdzEeKze7TbhH-LyA" target="_xIIHcBdzEeKze7TbhH-LyA">
            <guard xmi:type="uml:LiteralBoolean" xmi:id="_80qnERdzEeKze7TbhH-LyA" value="true"/>
            <weight xmi:type="uml:LiteralInteger" xmi:id="_80qnEhdzEeKze7TbhH-LyA" value="1"/>
          </edge>
          <edge xmi:type="uml:ControlFlow" xmi:id="_9wA1ABdzEeKze7TbhH-LyA" name="ControlFlow2" source="_xIIHcBdzEeKze7TbhH-LyA" target="_uhQy4BdzEeKze7TbhH-LyA">
            <guard xmi:type="uml:LiteralBoolean" xmi:id="_9wA1ARdzEeKze7TbhH-LyA" value="true"/>
            <weight xmi:type="uml:LiteralInteger" xmi:id="_9wA1AhdzEeKze7TbhH-LyA" value="1"/>
          </edge>
          <node xmi:type="uml:InitialNode" xmi:id="_uP7LQBdzEeKze7TbhH-LyA" name="InitialNode1" outgoing="_80qnEBdzEeKze7TbhH-LyA"/>
          <node xmi:type="uml:ActivityFinalNode" xmi:id="_uhQy4BdzEeKze7TbhH-LyA" name="ActivityFinalNode1" incoming="_9wA1ABdzEeKze7TbhH-LyA"/>
          <node xmi:type="uml:LoopNode" xmi:id="_xIIHcBdzEeKze7TbhH-LyA" name="LoopNode1" outgoing="_9wA1ABdzEeKze7TbhH-LyA" incoming="_80qnEBdzEeKze7TbhH-LyA">
            <localPrecondition xmi:type="uml:Constraint" xmi:id="_2Kmi0BdzEeKze7TbhH-LyA" name="Constraint1">
              <specification xmi:type="uml:OpaqueExpression" xmi:id="_3B0esBdzEeKze7TbhH-LyA">
                <body>i IN u DOWNTO 4</body>
              </specification>
            </localPrecondition>
            <edge xmi:type="uml:ControlFlow" xmi:id="_9JLegBdzEeKze7TbhH-LyA" name="ControlFlow1" source="_z3HdQBdzEeKze7TbhH-LyA" target="_59ciUBdzEeKze7TbhH-LyA">
              <guard xmi:type="uml:LiteralBoolean" xmi:id="_9JLegRdzEeKze7TbhH-LyA" value="true"/>
              <weight xmi:type="uml:LiteralInteger" xmi:id="_9JLeghdzEeKze7TbhH-LyA" value="1"/>
            </edge>
            <edge xmi:type="uml:ControlFlow" xmi:id="_9bCDgBdzEeKze7TbhH-LyA" name="ControlFlow2" source="_59ciUBdzEeKze7TbhH-LyA" target="_0N3JUBdzEeKze7TbhH-LyA">
              <guard xmi:type="uml:LiteralBoolean" xmi:id="_9bCDgRdzEeKze7TbhH-LyA" value="true"/>
              <weight xmi:type="uml:LiteralInteger" xmi:id="_9bCDghdzEeKze7TbhH-LyA" value="1"/>
            </edge>
            <node xmi:type="uml:InitialNode" xmi:id="_z3HdQBdzEeKze7TbhH-LyA" name="InitialNode1" outgoing="_9JLegBdzEeKze7TbhH-LyA"/>
            <node xmi:type="uml:ActivityFinalNode" xmi:id="_0N3JUBdzEeKze7TbhH-LyA" name="ActivityFinalNode1" incoming="_9bCDgBdzEeKze7TbhH-LyA"/>
            <node xmi:type="uml:OpaqueAction" xmi:id="_59ciUBdzEeKze7TbhH-LyA" name="OpaqueAction1" outgoing="_9bCDgBdzEeKze7TbhH-LyA" incoming="_9JLegBdzEeKze7TbhH-LyA">
              <body>u++</body>
            </node>
          </node>
        </node>
        <node xmi:type="uml:MergeNode" xmi:id="_I_Ej4BdzEeKze7TbhH-LyA" name="MergeNode1" outgoing="_nslaEBdzEeKze7TbhH-LyA" incoming="_KBUEABdzEeKze7TbhH-LyA _lbv_4BdzEeKze7TbhH-LyA"/>
        <node xmi:type="uml:DecisionNode" xmi:id="_VUExsBdzEeKze7TbhH-LyA" name="DecisionNode2" outgoing="_bz4twBdzEeKze7TbhH-LyA _fCXb8BdzEeKze7TbhH-LyA" incoming="_0G23sBeaEeKze7TbhH-LyA"/>
        <node xmi:type="uml:OpaqueAction" xmi:id="_ajCw8BdzEeKze7TbhH-LyA" name="OpaqueAction1" outgoing="_jsuSQBdzEeKze7TbhH-LyA" incoming="_bz4twBdzEeKze7TbhH-LyA"/>
        <node xmi:type="uml:OpaqueAction" xmi:id="_a-D5ABdzEeKze7TbhH-LyA" name="OpaqueAction2" outgoing="_kbF0IBdzEeKze7TbhH-LyA" incoming="_fCXb8BdzEeKze7TbhH-LyA"/>
        <node xmi:type="uml:MergeNode" xmi:id="_ir8KsBdzEeKze7TbhH-LyA" name="MergeNode2" outgoing="_lbv_4BdzEeKze7TbhH-LyA" incoming="_jsuSQBdzEeKze7TbhH-LyA _kbF0IBdzEeKze7TbhH-LyA"/>
        <node xmi:type="uml:OpaqueAction" xmi:id="_wnkGUBeaEeKze7TbhH-LyA" name="OpaqueAction3" outgoing="_0G23sBeaEeKze7TbhH-LyA" incoming="_XAR00BdzEeKze7TbhH-LyA">
          <body>vhdl = true</body>
        </node>
        <edge xmi:type="uml:ControlFlow" xmi:id="_fNXngBdyEeKze7TbhH-LyA" name="ControlFlow1" source="_J_AzYBdyEeKze7TbhH-LyA" target="_NIMx4BdyEeKze7TbhH-LyA">
          <guard xmi:type="uml:LiteralBoolean" xmi:id="_fNXngRdyEeKze7TbhH-LyA" value="true"/>
          <weight xmi:type="uml:LiteralInteger" xmi:id="_fNXnghdyEeKze7TbhH-LyA" value="1"/>
        </edge>
        <edge xmi:type="uml:ControlFlow" xmi:id="_F107ABdzEeKze7TbhH-LyA" name="ControlFlow2" source="_NIMx4BdyEeKze7TbhH-LyA" target="_ELb1wBdzEeKze7TbhH-LyA">
          <guard xmi:type="uml:LiteralBoolean" xmi:id="_F107ARdzEeKze7TbhH-LyA" value="true"/>
          <weight xmi:type="uml:LiteralInteger" xmi:id="_F107AhdzEeKze7TbhH-LyA" value="1"/>
        </edge>
        <edge xmi:type="uml:ControlFlow" xmi:id="_KBUEABdzEeKze7TbhH-LyA" name="ControlFlow3" source="_HFAq8BdzEeKze7TbhH-LyA" target="_I_Ej4BdzEeKze7TbhH-LyA">
          <guard xmi:type="uml:LiteralBoolean" xmi:id="_KBUEARdzEeKze7TbhH-LyA" value="true"/>
          <weight xmi:type="uml:LiteralInteger" xmi:id="_KBUEAhdzEeKze7TbhH-LyA" value="1"/>
        </edge>
        <edge xmi:type="uml:ControlFlow" xmi:id="_K3feEBdzEeKze7TbhH-LyA" name="ControlFlow4" source="_ELb1wBdzEeKze7TbhH-LyA" target="_HFAq8BdzEeKze7TbhH-LyA">
          <guard xmi:type="uml:LiteralBoolean" xmi:id="_6Yp30BeYEeKze7TbhH-LyA"/>
          <weight xmi:type="uml:LiteralInteger" xmi:id="_K3feEhdzEeKze7TbhH-LyA" value="1"/>
        </edge>
        <edge xmi:type="uml:ControlFlow" xmi:id="_XAR00BdzEeKze7TbhH-LyA" name="ControlFlow5" source="_ELb1wBdzEeKze7TbhH-LyA" target="_wnkGUBeaEeKze7TbhH-LyA">
          <guard xmi:type="uml:OpaqueExpression" xmi:id="_727MoBeYEeKze7TbhH-LyA">
            <body>u = 7</body>
          </guard>
          <weight xmi:type="uml:LiteralInteger" xmi:id="_XAR00hdzEeKze7TbhH-LyA" value="1"/>
        </edge>
        <edge xmi:type="uml:ControlFlow" xmi:id="_bz4twBdzEeKze7TbhH-LyA" name="ControlFlow6" source="_VUExsBdzEeKze7TbhH-LyA" target="_ajCw8BdzEeKze7TbhH-LyA">
          <guard xmi:type="uml:LiteralBoolean" xmi:id="_bz4twRdzEeKze7TbhH-LyA"/>
          <weight xmi:type="uml:LiteralInteger" xmi:id="_bz4twhdzEeKze7TbhH-LyA" value="1"/>
        </edge>
        <edge xmi:type="uml:ControlFlow" xmi:id="_fCXb8BdzEeKze7TbhH-LyA" name="ControlFlow7" source="_VUExsBdzEeKze7TbhH-LyA" target="_a-D5ABdzEeKze7TbhH-LyA">
          <guard xmi:type="uml:OpaqueExpression" xmi:id="_hAmDMBdzEeKze7TbhH-LyA">
            <body>i = 7</body>
          </guard>
          <weight xmi:type="uml:LiteralInteger" xmi:id="_fCXb8hdzEeKze7TbhH-LyA" value="1"/>
        </edge>
        <edge xmi:type="uml:ControlFlow" xmi:id="_jsuSQBdzEeKze7TbhH-LyA" name="ControlFlow8" source="_ajCw8BdzEeKze7TbhH-LyA" target="_ir8KsBdzEeKze7TbhH-LyA">
          <guard xmi:type="uml:LiteralBoolean" xmi:id="_jsuSQRdzEeKze7TbhH-LyA" value="true"/>
          <weight xmi:type="uml:LiteralInteger" xmi:id="_jsuSQhdzEeKze7TbhH-LyA" value="1"/>
        </edge>
        <edge xmi:type="uml:ControlFlow" xmi:id="_kbF0IBdzEeKze7TbhH-LyA" name="ControlFlow9" source="_a-D5ABdzEeKze7TbhH-LyA" target="_ir8KsBdzEeKze7TbhH-LyA">
          <guard xmi:type="uml:LiteralBoolean" xmi:id="_kbF0IRdzEeKze7TbhH-LyA" value="true"/>
          <weight xmi:type="uml:LiteralInteger" xmi:id="_kbF0IhdzEeKze7TbhH-LyA" value="1"/>
        </edge>
        <edge xmi:type="uml:ControlFlow" xmi:id="_lbv_4BdzEeKze7TbhH-LyA" name="ControlFlow10" source="_ir8KsBdzEeKze7TbhH-LyA" target="_I_Ej4BdzEeKze7TbhH-LyA">
          <guard xmi:type="uml:LiteralBoolean" xmi:id="_lbv_4RdzEeKze7TbhH-LyA" value="true"/>
          <weight xmi:type="uml:LiteralInteger" xmi:id="_lbv_4hdzEeKze7TbhH-LyA" value="1"/>
        </edge>
        <edge xmi:type="uml:ControlFlow" xmi:id="_nslaEBdzEeKze7TbhH-LyA" name="ControlFlow11" source="_I_Ej4BdzEeKze7TbhH-LyA" target="_KgV-0BdyEeKze7TbhH-LyA">
          <guard xmi:type="uml:LiteralBoolean" xmi:id="_nslaERdzEeKze7TbhH-LyA" value="true"/>
          <weight xmi:type="uml:LiteralInteger" xmi:id="_nslaEhdzEeKze7TbhH-LyA" value="1"/>
        </edge>
        <edge xmi:type="uml:ControlFlow" xmi:id="_0G23sBeaEeKze7TbhH-LyA" name="ControlFlow12" source="_wnkGUBeaEeKze7TbhH-LyA" target="_VUExsBdzEeKze7TbhH-LyA">
          <guard xmi:type="uml:LiteralBoolean" xmi:id="_0G23sReaEeKze7TbhH-LyA" value="true"/>
          <weight xmi:type="uml:LiteralInteger" xmi:id="_0G23sheaEeKze7TbhH-LyA" value="1"/>
        </edge>
      </ownedBehavior>
    </packagedElement>
  </packagedElement>
  <profileApplication xmi:type="uml:ProfileApplication" xmi:id="idProfileApplication">
    <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="idProfileAnnotation" source="http://www.eclipse.org/uml2/2.0.0/UML">
      <references xmi:type="ecore:EPackage" href="pathmap://SysMLActivityExtensionsProfile.uml#ProfileContentId"/>
    </eAnnotations>
    <appliedProfile xmi:type="uml:Profile" href="pathmap://SysMLActivityExtensionsProfile.uml#ActivityProfileId"/>
  </profileApplication>
</uml:Model>