<?xml version="1.0" encoding="UTF-8"?>
<xmi:XMI xmi:version="2.1" xmlns:xmi="http://schema.omg.org/spec/XMI/2.1" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:XholonStereotypes="http:///schemas/XholonStereotypes/_NhBU8Cm9EdyXztXVHo8fCQ/1" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:uml="http://www.eclipse.org/uml2/2.1.0/UML" xsi:schemaLocation="http:///schemas/XholonStereotypes/_NhBU8Cm9EdyXztXVHo8fCQ/1 XholonStereotypes.uml#_NhBU8Sm9EdyXztXVHo8fCQ">
  <uml:Model xmi:id="eee_1045467100313_135436_1" name="Elevator">
    <ownedComment xmi:id="_10_0_21c011f_1130901658671_931633_1" annotatedElement="eee_1045467100313_135436_1">
      <body>Author:Ken Webb.&#xD;
Created:9/1/06 10:20 PM.&#xD;
Title:Elevator System.&#xD;
Comment:&#xD;
&lt;p>The Elevator System has been modeled using Topcased. It is intended as an example of a fairly complex application that can be modeled using a UML 2.0 modeling tool such as Topcased, transformed into code using a code generation process, and executed using the Xholon runtime framework.&lt;/p>&#xD;
&lt;p>To execute the UML model, save it as a normal XMI Topcased file, generate code by running the script &quot;xmi2xh all Elevator AnElevatorSystem&quot;, compile the resulting Java code, and execute it by running the script &quot;xhn Xholon&quot; and selecting File --> Open --> xmiapps --> Elevator --> Elevator_xhn.xml .&lt;/p>&#xD;
&lt;p>March 8, 2007. Various self-transitions are now internal transitions, to prevent them from reinvoking the initial transition each time they are executed. These internal transitions do not cause any change in state. They merely perform some necessary activity.&lt;/p>&#xD;
</body>
    </ownedComment>
    <ownedComment xmi:id="_KZwTADeoEdygMP6Qq8wHlQ">
      <body>Elevator Xholon Classes</body>
    </ownedComment>
    <packagedElement xmi:type="uml:Package" xmi:id="_10_0_21c011f_1131307015994_33038_401" name="Elevator">
      <ownedComment xmi:id="_11_5_52bb0822_1159538683218_960675_128" annotatedElement="_10_0_21c011f_1131307015994_33038_401">
        <body>Classes used in the Elevator application.</body>
      </ownedComment>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1130901889743_414466_77" name="Door">
        <generalization xmi:id="_10_0_21c011f_1130902164378_21648_464" isSubstitutable="false" general="_10_0_21c011f_1130901833542_7045_5"/>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158703924342_78200_487" name="lockRequested" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EBoolean"/>
          <defaultValue xmi:type="uml:LiteralBoolean" xmi:id="_11_5_52bb0822_1158703972529_506618_490" name=""/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131332492590_527916_20" name="bOpen" visibility="public" type="_10_0_21c011f_1131299731649_365007_122" aggregation="composite" isBehavior="true"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131332515643_465240_26" name="bClose" visibility="public" type="_11_5_52bb0822_1158698353311_196954_383" aggregation="composite" isBehavior="true"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131332528682_317965_32" name="bObstructed" visibility="public" type="_11_5_52bb0822_1158698576389_610454_423" aggregation="composite" isBehavior="true"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131332538176_490150_38" name="doorControlG" visibility="public" type="_10_0_21c011f_1131303034088_596984_164" aggregation="composite" isBehavior="true"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131332563692_596939_44" name="doorControlH" visibility="public" type="_10_0_21c011f_1131303048108_627025_182" aggregation="composite" isBehavior="true" isService="false"/>
        <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_10_0_21c011f_1131149760379_128311_247" name="StateMachine_Door">
          <region xmi:id="_10_0_21c011f_1131149760379_400589_248" name="" visibility="public">
            <subvertex xmi:type="uml:State" xmi:id="_10_0_21c011f_1131149872661_654653_254" name="StateMachine_Door" visibility="public">
              <region xmi:id="_10_0_21c011f_1131149872661_52691_255" name="" visibility="public">
                <subvertex xmi:type="uml:Pseudostate" xmi:id="_10_0_21c011f_1131149883016_150332_268" name="" visibility="public"/>
                <subvertex xmi:type="uml:State" xmi:id="_10_0_21c011f_1131149902344_52876_276" name="Unlocked" visibility="public">
                  <region xmi:id="_10_0_21c011f_1131149902344_130285_277" name="" visibility="public">
                    <subvertex xmi:type="uml:State" xmi:id="_10_0_21c011f_1131150192270_585005_363" name="Open" visibility="public">
                      <entry xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159969762921_470154_138" name="">
                        <body>println(&quot;+--+ Door entry:Open &quot; + getName());</body>
                      </entry>
                    </subvertex>
                    <subvertex xmi:type="uml:State" xmi:id="_10_0_21c011f_1131150484671_92098_395" name="Closing" visibility="public">
                      <entry xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159969866390_573943_141" name="">
                        <body>println(&quot;+--+ Door entry:Closing &quot; + getName());</body>
                      </entry>
                    </subvertex>
                    <subvertex xmi:type="uml:State" xmi:id="_10_0_21c011f_1131150496358_216129_408" name="Opening" visibility="public">
                      <entry xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159969953484_515019_145" name="">
                        <body>println(&quot;+--+ Door entry:Opening &quot; + getName());</body>
                      </entry>
                    </subvertex>
                    <subvertex xmi:type="uml:State" xmi:id="_10_0_21c011f_1131150502647_435051_421" name="Closed" visibility="public">
                      <entry xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159969947812_948719_143" name="">
                        <body>println(&quot;+--+ Door entry:Closed &quot; + getName());</body>
                      </entry>
                    </subvertex>
                    <subvertex xmi:type="uml:Pseudostate" xmi:id="_10_0_21c011f_1131150552889_244538_434" name="WasLockRequested" visibility="public" kind="choice"/>
                    <transition xmi:id="_10_0_21c011f_1131150603392_382771_557" name="CNPT_OUTGOING1" visibility="public" target="_10_0_21c011f_1131150552889_244538_434" source="_10_0_21c011f_1131150484671_92098_395">
                      <effect xmi:type="uml:OpaqueBehavior" xmi:id="_10_0_21c011f_1131643608312_465008_833" name="">
                        <body>port[PushbuttonMessages1].sendMessage(SOUT_REQUEST_SATISFIED, null, this);</body>
                      </effect>
                      <trigger xmi:id="_10_0_21c011f_1131643598518_612781_832" name="" visibility="public" event="_10_0_21c011f_1131643598518_857060_831"/>
                    </transition>
                    <transition xmi:id="_10_0_21c011f_1131150687352_676158_569" name="Choice1" visibility="public" guard="_10_0_21c011f_1131150771814_550673_592" target="_10_0_21c011f_1131149911266_112662_290" source="_10_0_21c011f_1131150552889_244538_434">
                      <ownedRule xmi:id="_10_0_21c011f_1131150771814_550673_592" name="unnamed1">
                        <specification xmi:type="uml:OpaqueExpression" xmi:id="_10_0_21c011f_1131150771824_880372_593" name="">
                          <language>Java</language>
                          <body>lockRequested == true</body>
                        </specification>
                      </ownedRule>
                    </transition>
                    <transition xmi:id="_10_0_21c011f_1131150695394_127999_581" name="Choice2" visibility="public" guard="_10_0_21c011f_1131150983178_963204_594" target="_10_0_21c011f_1131150502647_435051_421" source="_10_0_21c011f_1131150552889_244538_434">
                      <ownedRule xmi:id="_10_0_21c011f_1131150983178_963204_594" name="unnamed2">
                        <specification xmi:type="uml:OpaqueExpression" xmi:id="_10_0_21c011f_1131150983188_768409_595" name="">
                          <language>Java</language>
                          <body>lockRequested == false</body>
                        </specification>
                      </ownedRule>
                    </transition>
                    <transition xmi:id="_10_0_21c011f_1131151050284_695437_597" name="CNPT_OUTGOING2" visibility="public" target="_10_0_21c011f_1131150192270_585005_363" source="_10_0_21c011f_1131150496358_216129_408">
                      <effect xmi:type="uml:OpaqueBehavior" xmi:id="_10_0_21c011f_1131643442103_872952_824" name="">
                        <body>// Set timer to go off in 500 ms.&#xA;//println(&quot;Door will automatically close ...&quot;);&#xA;xhTime.timeoutRelative(this, XholonTime.timeStepInterval * 50);&#xA;&#xA;port[PushbuttonMessages0].sendMessage(SOUT_REQUEST_SATISFIED, null, this);</body>
                      </effect>
                      <trigger xmi:id="_10_0_21c011f_1131643439510_816731_823" name="" visibility="public" event="_10_0_21c011f_1131643439510_120046_822"/>
                    </transition>
                    <transition xmi:id="_10_0_21c011f_1131151057144_221603_609" name="CNPT_OUTGOING1" visibility="public" guard="_11_5_52bb0822_1159453845807_158517_121" target="_10_0_21c011f_1131150484671_92098_395" source="_10_0_21c011f_1131150192270_585005_363">
                      <ownedRule xmi:id="_11_5_52bb0822_1159453845807_158517_121" name="unnamed10">
                        <specification xmi:type="uml:OpaqueExpression" xmi:id="_11_5_52bb0822_1159453845807_581279_122" name="">
                          <language>Java</language>
                          <body>msg.getSender() == port[PushbuttonMessages1]</body>
                        </specification>
                      </ownedRule>
                      <effect xmi:type="uml:OpaqueBehavior" xmi:id="_10_0_21c011f_1131643303664_623377_819" name="">
                        <body>// also need to cancel timer&#xA;//println(&quot;Door Open-->Closing received SIN_REQUESTED &quot; + getName());&#xA;port[DoorControl3].sendMessage(SOUT_CLOSE_DOOR, null, this);</body>
                      </effect>
                      <trigger xmi:id="_10_0_21c011f_1131643278899_146420_818" name="" visibility="public" event="_10_0_21c011f_1131643278899_333339_817"/>
                    </transition>
                    <transition xmi:id="_10_0_21c011f_1131151151850_626431_622" name="CNPT_OUTGOING2" visibility="public" target="_10_0_21c011f_1131150484671_92098_395" source="_10_0_21c011f_1131150192270_585005_363">
                      <effect xmi:type="uml:OpaqueBehavior" xmi:id="_10_0_21c011f_1131151796948_779914_743" name="">
                        <body>port[DoorControl3].sendMessage(SOUT_CLOSE_DOOR, null, this);</body>
                      </effect>
                      <trigger xmi:id="_10_0_21c011f_1131643372333_857407_821" name="" visibility="public" event="_10_0_21c011f_1131643372263_140774_820"/>
                    </transition>
                    <transition xmi:id="_10_0_21c011f_1131151256691_813977_634" name="CNPT_OUTGOING2" visibility="public" target="_10_0_21c011f_1131149911266_112662_290" source="_10_0_21c011f_1131150502647_435051_421">
                      <effect xmi:type="uml:OpaqueBehavior" xmi:id="_10_0_21c011f_1131643769054_571545_839" name="">
                        <body>port[DoorHoistControl4].sendMessage(SIN_DOOR_LOCKED, null, this);</body>
                      </effect>
                      <trigger xmi:id="_10_0_21c011f_1131643750447_324209_838" name="" visibility="public" event="_10_0_21c011f_1131643750447_215201_837"/>
                    </transition>
                    <transition xmi:id="_10_0_21c011f_1131151274386_980942_646" name="CNPT_OUTGOING1" visibility="public" guard="_11_5_52bb0822_1159454167413_808178_127" target="_10_0_21c011f_1131150496358_216129_408" source="_10_0_21c011f_1131150502647_435051_421">
                      <ownedRule xmi:id="_11_5_52bb0822_1159454167413_808178_127" name="unnamed13">
                        <specification xmi:type="uml:OpaqueExpression" xmi:id="_11_5_52bb0822_1159454167429_418960_128" name="">
                          <language>Java</language>
                          <body>msg.getSender() == port[PushbuttonMessages0]</body>
                        </specification>
                      </ownedRule>
                      <effect xmi:type="uml:OpaqueBehavior" xmi:id="_10_0_21c011f_1131643652015_448010_836" name="">
                        <body>port[DoorControl3].sendMessage(SOUT_OPEN_DOOR, null, this);</body>
                      </effect>
                      <trigger xmi:id="_10_0_21c011f_1131643643563_700152_835" name="" visibility="public" event="_10_0_21c011f_1131643643563_162483_834"/>
                    </transition>
                    <transition xmi:id="_10_0_21c011f_1131151368261_401439_670" name="CNPT_OUTGOING1" visibility="public" guard="_11_5_52bb0822_1159454000423_275843_123" target="_10_0_21c011f_1131150484671_92098_395" source="_10_0_21c011f_1131150496358_216129_408">
                      <ownedRule xmi:id="_11_5_52bb0822_1159454000423_275843_123" name="unnamed11">
                        <specification xmi:type="uml:OpaqueExpression" xmi:id="_11_5_52bb0822_1159454000423_330882_124" name="">
                          <language>Java</language>
                          <body>msg.getSender() == port[PushbuttonMessages1]</body>
                        </specification>
                      </ownedRule>
                      <effect xmi:type="uml:OpaqueBehavior" xmi:id="_10_0_21c011f_1131643526575_233524_827" name="">
                        <body>// Set timer to go off after 500 ms.&#xA;port[DoorControl3].sendMessage(SOUT_CLOSE_DOOR, null, this);</body>
                      </effect>
                      <trigger xmi:id="_10_0_21c011f_1131643517852_118801_826" name="" visibility="public" event="_10_0_21c011f_1131643517852_93790_825"/>
                    </transition>
                    <transition xmi:id="_10_0_21c011f_1131151372598_249409_682" name="CNPT_OUTGOING2" visibility="public" guard="_11_5_52bb0822_1159454127197_601631_125" target="_10_0_21c011f_1131150496358_216129_408" source="_10_0_21c011f_1131150484671_92098_395">
                      <ownedRule xmi:id="_11_5_52bb0822_1159454127197_601631_125" name="unnamed12">
                        <specification xmi:type="uml:OpaqueExpression" xmi:id="_11_5_52bb0822_1159454127197_791604_126" name="">
                          <language>Java</language>
                          <body>msg.getSender() == port[PushbuttonMessages0]</body>
                        </specification>
                      </ownedRule>
                      <effect xmi:type="uml:OpaqueBehavior" xmi:id="_10_0_21c011f_1131643570808_334580_830" name="">
                        <body>port[DoorControl3].sendMessage(SOUT_OPEN_DOOR, null, this);</body>
                      </effect>
                      <trigger xmi:id="_10_0_21c011f_1131643561986_378361_829" name="" visibility="public" event="_10_0_21c011f_1131643561976_275060_828"/>
                    </transition>
                  </region>
                </subvertex>
                <subvertex xmi:type="uml:State" xmi:id="_10_0_21c011f_1131149911266_112662_290" name="Locked" visibility="public">
                  <entry xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159970859546_72288_150" name="">
                    <body>println(&quot;+--+ Door entry:Locked &quot; + getName());</body>
                  </entry>
                </subvertex>
                <subvertex xmi:type="uml:Pseudostate" xmi:id="_10_0_21c011f_1131150433597_898535_377" name="" visibility="public" kind="junction"/>
                <transition xmi:id="_10_0_21c011f_1131150460476_685962_383" name="" visibility="public" target="_10_0_21c011f_1131150192270_585005_363" source="_10_0_21c011f_1131149883016_150332_268">
                  <ownedComment xmi:id="_10_0_21c011f_1131643026926_314371_812" annotatedElement="_10_0_21c011f_1131150460476_685962_383">
                    <body></body>
                  </ownedComment>
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159294923546_212599_117" name="">
                    <body>lockRequested = false;&#xA;xhTime = new XholonTime();&#xA;//print(&quot;Door &quot; + getName() + &quot; is initialized.&quot;);</body>
                  </effect>
                </transition>
                <transition xmi:id="_10_0_21c011f_1131151301796_207705_658" name="CNPT_OUTGOING1" visibility="public" target="_10_0_21c011f_1131150496358_216129_408" source="_10_0_21c011f_1131149911266_112662_290">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_10_0_21c011f_1131643083688_479559_815" name="">
                    <body>lockRequested = false;&#xA;port[DoorControl3].sendMessage(SOUT_OPEN_DOOR, null, this);</body>
                  </effect>
                  <trigger xmi:id="_10_0_21c011f_1131643044702_208755_814" name="" visibility="public" event="_10_0_21c011f_1131643044702_632041_813"/>
                </transition>
                <transition xmi:id="_11_5_52bb0822_1173381532661_406286_129" name="CNPT_OUTGOING1" visibility="public" kind="internal" target="_10_0_21c011f_1131149872661_654653_254" source="_10_0_21c011f_1131149872661_654653_254">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1173381563177_415264_133" name="">
                    <body>// Reset the button.&#xA;port[PushbuttonMessages0].sendMessage(SOUT_REQUEST_SATISFIED, null, this);</body>
                  </effect>
                  <trigger xmi:id="_11_5_52bb0822_1173381549974_206054_132" name="" visibility="public" event="_11_5_52bb0822_1173381549974_718611_131"/>
                </transition>
                <transition xmi:id="_11_5_52bb0822_1173381570771_93205_134" name="CNPT_OUTGOING2" visibility="public" kind="internal" target="_10_0_21c011f_1131149872661_654653_254" source="_10_0_21c011f_1131149872661_654653_254">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1173381597036_155393_138" name="">
                    <body>// Reset the button.&#xA;port[PushbuttonMessages1].sendMessage(SOUT_REQUEST_SATISFIED, null, this);</body>
                  </effect>
                  <trigger xmi:id="_11_5_52bb0822_1173381586193_199726_137" name="" visibility="public" event="_11_5_52bb0822_1173381586193_684682_136"/>
                </transition>
                <transition xmi:id="_11_5_52bb0822_1173381604114_935627_139" name="CNPT_OUTGOING3" visibility="public" kind="internal" target="_10_0_21c011f_1131149872661_654653_254" source="_10_0_21c011f_1131149872661_654653_254">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1173381643786_924090_143" name="">
                    <body>lockRequested = true;</body>
                  </effect>
                  <trigger xmi:id="_11_5_52bb0822_1173381627380_386588_142" name="" visibility="public" event="_11_5_52bb0822_1173381627380_834912_141"/>
                </transition>
                <transition xmi:id="_11_5_52bb0822_1173381649521_622860_144" name="CNPT_OUTGOING4" visibility="public" kind="internal" target="_10_0_21c011f_1131149872661_654653_254" source="_10_0_21c011f_1131149872661_654653_254">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1173381671771_609415_148" name="">
                    <body>// Ignore an initial unlock.</body>
                  </effect>
                  <trigger xmi:id="_11_5_52bb0822_1173381662255_665508_147" name="" visibility="public" event="_11_5_52bb0822_1173381662255_933817_146"/>
                </transition>
                <transition xmi:id="_11_5_52bb0822_1173383914630_271712_153" name="CNPT_OUTGOING5" visibility="public" kind="internal" guard="_11_5_52bb0822_1173384060927_976159_163" target="_10_0_21c011f_1131149872661_654653_254" source="_10_0_21c011f_1131149872661_654653_254">
                  <ownedRule xmi:id="_11_5_52bb0822_1173384060927_976159_163" name="unnamed23">
                    <specification xmi:type="uml:OpaqueExpression" xmi:id="_11_5_52bb0822_1173384060927_431505_164" name="">
                      <language>Java</language>
                      <body>msg.getSender() == port[PushbuttonMessages0]</body>
                    </specification>
                  </ownedRule>
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1173383953568_259962_157" name="">
                    <body>// received on bOpen port&#xA;// Something is wrong, but tell sender that everything is OK.&#xA;msg.getSender().sendMessage(SOUT_REQUEST_SATISFIED, null, this);</body>
                  </effect>
                  <trigger xmi:id="_11_5_52bb0822_1173383940786_811019_156" name="" visibility="public" event="_11_5_52bb0822_1173383940786_559604_155"/>
                </transition>
                <transition xmi:id="_11_5_52bb0822_1173383964411_944359_158" name="CNPT_OUTGOING6" visibility="public" kind="internal" guard="_11_5_52bb0822_1173384082458_22797_165" target="_10_0_21c011f_1131149872661_654653_254" source="_10_0_21c011f_1131149872661_654653_254">
                  <ownedRule xmi:id="_11_5_52bb0822_1173384082458_22797_165" name="unnamed24">
                    <specification xmi:type="uml:OpaqueExpression" xmi:id="_11_5_52bb0822_1173384082458_760669_166" name="">
                      <language>Java</language>
                      <body>msg.getSender() == port[PushbuttonMessages1]</body>
                    </specification>
                  </ownedRule>
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1173383988755_830199_162" name="">
                    <body>// received on bClose port&#xA;// Something is wrong, but tell sender that everything is OK.&#xA;msg.getSender().sendMessage(SOUT_REQUEST_SATISFIED, null, this);</body>
                  </effect>
                  <trigger xmi:id="_11_5_52bb0822_1173383979458_464287_161" name="" visibility="public" event="_11_5_52bb0822_1173383979458_985408_160"/>
                </transition>
              </region>
            </subvertex>
          </region>
        </ownedBehavior>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1130901987243_406417_257" name="DoorControlButton">
        <generalization xmi:id="_10_0_21c011f_1130902777089_128746_497" isSubstitutable="false" general="_10_0_21c011f_1130901967966_337607_221"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_11_5_52bb0822_1158859968861_55995_280" name="gui" visibility="public" type="_10_0_21c011f_1131299731649_365007_122" aggregation="composite" isBehavior="true"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_11_5_52bb0822_1158859994516_883098_281" name="client" visibility="public" type="_11_5_52bb0822_1158698353311_196954_383" aggregation="composite" isBehavior="true" isService="false"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_11_5_52bb0822_1158860855258_903_360" name="" visibility="public" aggregation="composite"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1130901973263_469254_239" name="CallButton">
        <generalization xmi:id="_10_0_21c011f_1130902773504_501579_485" isSubstitutable="false" general="_10_0_21c011f_1130901967966_337607_221"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_11_5_52bb0822_1158853356609_791697_165" name="gui" visibility="public" type="_10_0_21c011f_1131299731649_365007_122" aggregation="composite" isBehavior="true"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_11_5_52bb0822_1158853575421_581036_166" name="client" visibility="public" type="_11_5_52bb0822_1158698353311_196954_383" aggregation="composite" isBehavior="true" isService="false"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1130901953455_544554_185" name="Indicator">
        <generalization xmi:id="_10_0_21c011f_1130903129175_548375_595" isSubstitutable="false" general="_10_0_21c011f_1130901833542_7045_5"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131334356220_707226_257" name="gui" visibility="public" type="_10_0_21c011f_1131310270944_98363_541" aggregation="composite" isBehavior="true"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131334390289_138880_258" name="client" visibility="public" type="_11_5_52bb0822_1158865868066_484137_816" aggregation="composite" isBehavior="true" isService="false"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1130901896884_302560_95" name="Elevator">
        <generalization xmi:id="_10_0_21c011f_1130903038555_973187_535" isSubstitutable="false" general="_10_0_21c011f_1130901833542_7045_5"/>
        <ownedAttribute xmi:id="_10_0_21c011f_1130904203350_741054_773" name="panel" visibility="private" type="_10_0_21c011f_1130901908020_629901_113" aggregation="composite"/>
        <ownedAttribute xmi:id="_10_0_21c011f_1130904211171_884580_787" name="door" visibility="private" type="_10_0_21c011f_1130901889743_414466_77" aggregation="composite"/>
        <ownedAttribute xmi:id="_10_0_21c011f_1130904220395_187635_801" name="hoist" visibility="private" type="_10_0_21c011f_1130901933556_395431_167" aggregation="composite"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131335910124_445324_614" name="disp" visibility="public" type="_10_0_21c011f_1131303060536_689304_200" aggregation="composite" isService="false"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131336386489_445752_760" name="bFloor" visibility="public" type="_10_0_21c011f_1131299731649_365007_122" aggregation="composite">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_10_0_21c011f_1131336408281_4156_766" name="" value="8"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_10_0_21c011f_1131336408281_98348_765" name="" value="8"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131336434508_6541_788" name="iFloor" visibility="public" type="_10_0_21c011f_1131310270944_98363_541" aggregation="composite"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131336478822_921634_814" name="bOpen" visibility="public" type="_10_0_21c011f_1131299731649_365007_122" aggregation="composite"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131336520392_103090_840" name="bClose" visibility="public" type="_10_0_21c011f_1131299731649_365007_122" aggregation="composite"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131336551767_991409_866" name="bObst" visibility="public" type="_10_0_21c011f_1131299731649_365007_122" aggregation="composite"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131337072836_471016_928" name="doorControl" visibility="public" type="_10_0_21c011f_1131303034088_596984_164" aggregation="composite"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131337115668_259786_934" name="elevatorDispatch" visibility="public" type="_10_0_21c011f_1131303060536_689304_200" aggregation="composite"/>
        <ownedConnector xmi:id="_11_5_52bb0822_1158955716752_968872_250" name="" visibility="public" kind="assembly">
          <end xmi:id="_11_5_52bb0822_1158955716752_586637_251" partWithPort="_10_0_21c011f_1130904203350_741054_773" role="_10_0_21c011f_1131334945808_224027_338"/>
          <end xmi:id="_11_5_52bb0822_1158955716752_345137_252" partWithPort="_10_0_21c011f_1130904220395_187635_801" role="_10_0_21c011f_1131310398547_530465_544"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158955722439_794563_270" name="" visibility="public" kind="assembly">
          <end xmi:id="_11_5_52bb0822_1158955722439_734485_271" partWithPort="_10_0_21c011f_1130904203350_741054_773" role="_10_0_21c011f_1131335082564_345884_392"/>
          <end xmi:id="_11_5_52bb0822_1158955722439_927166_272" partWithPort="_10_0_21c011f_1130904220395_187635_801" role="_10_0_21c011f_1131310678911_284324_552"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158955727861_596728_290" name="" visibility="public" kind="assembly">
          <end xmi:id="_11_5_52bb0822_1158955727861_21856_291" partWithPort="_10_0_21c011f_1130904203350_741054_773" role="_10_0_21c011f_1131335244467_312080_444"/>
          <end xmi:id="_11_5_52bb0822_1158955727861_439202_292" partWithPort="_10_0_21c011f_1130904211171_884580_787" role="_10_0_21c011f_1131332492590_527916_20"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158955732283_801178_310" name="" visibility="public" kind="assembly">
          <end xmi:id="_11_5_52bb0822_1158955732283_552726_311" partWithPort="_10_0_21c011f_1130904203350_741054_773" role="_10_0_21c011f_1131335410656_276870_522"/>
          <end xmi:id="_11_5_52bb0822_1158955732283_88548_312" partWithPort="_10_0_21c011f_1130904211171_884580_787" role="_10_0_21c011f_1131332515643_465240_26"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158955737549_625270_330" name="" visibility="public" kind="assembly">
          <end xmi:id="_11_5_52bb0822_1158955737549_786656_331" partWithPort="_10_0_21c011f_1130904211171_884580_787" role="_10_0_21c011f_1131332563692_596939_44"/>
          <end xmi:id="_11_5_52bb0822_1158955737549_21516_332" partWithPort="_10_0_21c011f_1130904220395_187635_801" role="_10_0_21c011f_1131310775670_782525_558"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158955777768_347903_350" name="" visibility="public" kind="delegation">
          <end xmi:id="_11_5_52bb0822_1158955777768_766786_351" role="_10_0_21c011f_1131336386489_445752_760"/>
          <end xmi:id="_11_5_52bb0822_1158955777768_125087_352" partWithPort="_10_0_21c011f_1130904203350_741054_773" role="_10_0_21c011f_1131334839595_965710_310"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158955783050_219697_370" name="" visibility="public" kind="delegation">
          <end xmi:id="_11_5_52bb0822_1158955783050_446893_371" role="_10_0_21c011f_1131336434508_6541_788"/>
          <end xmi:id="_11_5_52bb0822_1158955783050_816010_372" partWithPort="_10_0_21c011f_1130904203350_741054_773" role="_10_0_21c011f_1131335011052_559473_366"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158955787253_591529_390" name="" visibility="public" kind="delegation">
          <end xmi:id="_11_5_52bb0822_1158955787253_901956_391" role="_10_0_21c011f_1131336478822_921634_814"/>
          <end xmi:id="_11_5_52bb0822_1158955787253_388154_392" partWithPort="_10_0_21c011f_1130904203350_741054_773" role="_10_0_21c011f_1131335180685_845396_418"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158955790987_867868_410" name="" visibility="public" kind="delegation">
          <end xmi:id="_11_5_52bb0822_1158955790987_680322_411" role="_10_0_21c011f_1131336520392_103090_840"/>
          <end xmi:id="_11_5_52bb0822_1158955790987_720409_412" partWithPort="_10_0_21c011f_1130904203350_741054_773" role="_10_0_21c011f_1131335295110_954225_470"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158955796487_200991_430" name="" visibility="public" kind="delegation">
          <end xmi:id="_11_5_52bb0822_1158955796487_560437_431" role="_10_0_21c011f_1131337072836_471016_928"/>
          <end xmi:id="_11_5_52bb0822_1158955796487_160092_432" partWithPort="_10_0_21c011f_1130904211171_884580_787" role="_10_0_21c011f_1131332538176_490150_38"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158955802690_432924_450" name="" visibility="public" kind="delegation">
          <end xmi:id="_11_5_52bb0822_1158955802690_511258_451" role="_10_0_21c011f_1131337115668_259786_934"/>
          <end xmi:id="_11_5_52bb0822_1158955802690_190783_452" partWithPort="_10_0_21c011f_1130904220395_187635_801" role="_10_0_21c011f_1131310822106_300732_564"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158955841238_664046_470" name="" visibility="public" kind="delegation">
          <end xmi:id="_11_5_52bb0822_1158955841238_722807_471" partWithPort="_10_0_21c011f_1130904220395_187635_801" role="_10_0_21c011f_1131310977710_62711_570"/>
          <end xmi:id="_11_5_52bb0822_1158955841238_68702_472" role="_10_0_21c011f_1131335910124_445324_614"/>
        </ownedConnector>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1130901933556_395431_167" name="Hoist">
        <generalization xmi:id="_10_0_21c011f_1130903080145_971797_583" isSubstitutable="false" general="_10_0_21c011f_1130901833542_7045_5"/>
        <ownedAttribute xmi:id="_10_0_21c011f_1130904597246_323704_897" name="tickGen" visibility="private" type="_10_0_21c011f_1130902014122_993011_293" aggregation="composite"/>
        <ownedAttribute xmi:id="_11_5_52bb0822_1159477589394_219938_135" name="currentDirection" visibility="private">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1159477631972_121570_137" name=""/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1159477636144_650851_138" name="destinationFloor" visibility="private">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1159477656644_397455_140" name=""/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1159477658800_309129_141" name="arrivalFloor" visibility="private">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1159477681957_469415_143" name=""/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1159477698847_919423_144" name="cycleNoDest" visibility="private">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1159477726613_783110_146" name=""/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1159477811707_896436_147" name="hoistDestination" visibility="private">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EByte"/>
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_11_5_52bb0822_1159565013352_868459_144" name="" value="8"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1159565013352_725159_143" name="" value="8"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1159477830597_679357_149" name="" value=""/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131310398547_530465_544" name="gotoFloor" visibility="public" type="_10_0_21c011f_1131299731649_365007_122" aggregation="composite" isBehavior="true">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_10_0_21c011f_1131310569043_397266_550" name="" value="8"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_10_0_21c011f_1131310569043_766005_549" name="" value="8"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131310678911_284324_552" name="iFloorDisp" visibility="public" type="_11_5_52bb0822_1158865868066_484137_816" aggregation="composite" isBehavior="true"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131310977710_62711_570" name="dispD" visibility="public" type="_10_0_21c011f_1131303060536_689304_200" aggregation="composite" isBehavior="true" isService="false"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131310822106_300732_564" name="dispG" visibility="public" type="_11_5_52bb0822_1158781548262_729819_6" aggregation="composite" isBehavior="true"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131310775670_782525_558" name="doorControl" visibility="public" type="_10_0_21c011f_1131303048108_627025_182" aggregation="composite" isBehavior="true"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131309551539_659993_515" name="ticks" visibility="protected" type="_11_5_52bb0822_1158699996623_641917_445" aggregation="composite" isBehavior="true" isService="false">
          <ownedComment xmi:id="_10_0_21c011f_1131309990360_787783_540" annotatedElement="_10_0_21c011f_1131309551539_659993_515">
            <body>This is an internal port that connects TickGenerator to Hoist behavior.
</body>
          </ownedComment>
        </ownedAttribute>
        <ownedConnector xmi:id="_11_5_52bb0822_1158955908739_980629_490" name="" visibility="public" kind="delegation">
          <end xmi:id="_11_5_52bb0822_1158955908739_172015_491" partWithPort="_10_0_21c011f_1130904597246_323704_897" role="_10_0_21c011f_1131309329630_206216_509"/>
          <end xmi:id="_11_5_52bb0822_1158955908739_968187_492" role="_10_0_21c011f_1131309551539_659993_515"/>
        </ownedConnector>
        <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_10_0_21c011f_1131377702030_104526_389" name="StateMachine_Hoist">
          <region xmi:id="_10_0_21c011f_1131377702030_228325_390" name="" visibility="public">
            <subvertex xmi:type="uml:State" xmi:id="_10_0_21c011f_1131377759323_535902_396" name="StateMachine_Hoist" visibility="public">
              <region xmi:id="_10_0_21c011f_1131377759323_925903_397" name="" visibility="public">
                <subvertex xmi:type="uml:Pseudostate" xmi:id="_10_0_21c011f_1131377763278_108686_410" name="" visibility="public"/>
                <subvertex xmi:type="uml:State" xmi:id="_10_0_21c011f_1131377771390_119410_416" name="Idle" visibility="public">
                  <entry xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159920064485_288469_430" name="">
                    <body>println(&quot;+--+ Hoist entry:Idle &quot; + getName());</body>
                  </entry>
                </subvertex>
                <subvertex xmi:type="uml:State" xmi:id="_10_0_21c011f_1131377779402_641771_429" name="Moving" visibility="public">
                  <entry xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159920057189_367979_428" name="">
                    <body>println(&quot;+--+ Hoist entry:Moving &quot; + getName());</body>
                  </entry>
                </subvertex>
                <subvertex xmi:type="uml:State" xmi:id="_10_0_21c011f_1131377787032_494711_442" name="MoveRequested" visibility="public">
                  <entry xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159920045845_69566_426" name="">
                    <body>println(&quot;+--+ Hoist entry:MoveRequested &quot; + getName());</body>
                  </entry>
                </subvertex>
                <subvertex xmi:type="uml:Pseudostate" xmi:id="_10_0_21c011f_1131378034869_377304_527" name="isNewDestination" visibility="public" kind="choice"/>
                <subvertex xmi:type="uml:Pseudostate" xmi:id="_10_0_21c011f_1131378039506_293960_533" name="isAlreadyThere" visibility="public" kind="choice"/>
                <subvertex xmi:type="uml:Pseudostate" xmi:id="_10_0_21c011f_1131378044803_414454_539" name="isAtDestinationFloor" visibility="public" kind="choice"/>
                <transition xmi:id="_10_0_21c011f_1131377800362_284424_455" name="" visibility="public" target="_10_0_21c011f_1131377771390_119410_416" source="_10_0_21c011f_1131377763278_108686_410">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159476385582_295546_117" name="">
                    <body>setDestinationFloor(0);&#xA;setArrivalFloor(0);&#xA;setCurrentDirection(udd_UP);&#xA;insertDestination(getDestinationFloor());&#xA;setCycleNoDest(1);</body>
                  </effect>
                </transition>
                <transition xmi:id="_10_0_21c011f_1131378113081_246027_545" name="CNPT_OUTGOING1" visibility="public" target="_10_0_21c011f_1131377779402_641771_429" source="_10_0_21c011f_1131377787032_494711_442">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_10_0_21c011f_1131645211628_761877_862" name="">
                    <body>if (getCurrentDirection() == udd_UP) {&#xA;  port[ElevatorDispatch3].sendMessage(SOUT_MOVE_TO_FL_N, new Integer(getArrivalFloor() + 2), this);&#xA;}&#xA;else {&#xA;  port[ElevatorDispatch3].sendMessage(SOUT_MOVE_TO_FL_N, new Integer(getArrivalFloor()), this);&#xA;}</body>
                  </effect>
                  <trigger xmi:id="_10_0_21c011f_1131645202004_437364_861" name="" visibility="public" event="_10_0_21c011f_1131645202004_847854_860"/>
                </transition>
                <transition xmi:id="_10_0_21c011f_1131378171706_84003_557" name="" visibility="public" target="_10_0_21c011f_1131378034869_377304_527" source="_10_0_21c011f_1131377771390_119410_416">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_10_0_21c011f_1131645131783_558950_859" name="">
                    <body>setDestinationFloor(selectHoistDestination( getArrivalFloor(), getCurrentDirection(), MaxFloors ));</body>
                  </effect>
                  <trigger xmi:id="_10_0_21c011f_1131645129109_13573_858" name="" visibility="public" event="_10_0_21c011f_1131645129109_174714_857"/>
                </transition>
                <transition xmi:id="_10_0_21c011f_1131378215789_446559_569" name="Choice2" visibility="public" guard="_11_5_52bb0822_1159916292376_846046_421" target="_10_0_21c011f_1131377771390_119410_416" source="_10_0_21c011f_1131378034869_377304_527">
                  <ownedRule xmi:id="_11_5_52bb0822_1159916292376_846046_421" name="unnamed21">
                    <specification xmi:type="uml:OpaqueExpression" xmi:id="_11_5_52bb0822_1159916292376_515815_422" name="">
                      <language>Java</language>
                      <body>else</body>
                    </specification>
                  </ownedRule>
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159476577660_835110_120" name="">
                    <body>int combo = 0;&#xA;switch( getCycleNoDest() ) {&#xA;case 1:&#xA;  combo = (getArrivalFloor() &lt;&lt; 8) + (MaxFloors - 1);&#xA;  setCurrentDirection(udd_UP);&#xA;  setCycleNoDest(2);&#xA;  break;&#xA;case 2:&#xA;  combo = (getArrivalFloor() &lt;&lt; 8) + 0;&#xA;  setCurrentDirection(udd_DOWN);&#xA;  setCycleNoDest(3);&#xA;  break;&#xA;case 3:&#xA;  combo = ((MaxFloors - 1) &lt;&lt; 8) + getArrivalFloor();&#xA;  setCurrentDirection(udd_DOWN);&#xA;  setCycleNoDest(4);&#xA;  break;&#xA;case 4:&#xA;  combo = (0 &lt;&lt; 8) + getArrivalFloor();&#xA;  setCurrentDirection(udd_UP);&#xA;  setCycleNoDest(1);&#xA;  break;&#xA;default:&#xA;  setCycleNoDest(1);&#xA;  break;&#xA;}&#xA;port[ElevatorDispatch2].sendMessage(SIN_IS_READY_NO_DEST, new Integer(combo), this);</body>
                  </effect>
                </transition>
                <transition xmi:id="_10_0_21c011f_1131378223931_597299_581" name="Choice1" visibility="public" guard="_10_0_21c011f_1131645420358_830017_869" target="_10_0_21c011f_1131378039506_293960_533" source="_10_0_21c011f_1131378034869_377304_527">
                  <ownedRule xmi:id="_10_0_21c011f_1131645420358_830017_869" name="unnamed3">
                    <specification xmi:type="uml:OpaqueExpression" xmi:id="_10_0_21c011f_1131645420388_903803_870" name="">
                      <language>Java</language>
                      <body>destinationFloor != NoDestinationFound</body>
                    </specification>
                  </ownedRule>
                </transition>
                <transition xmi:id="_10_0_21c011f_1131378235077_135489_593" name="Choice1" visibility="public" guard="_10_0_21c011f_1131645506382_227557_873" target="_10_0_21c011f_1131377771390_119410_416" source="_10_0_21c011f_1131378039506_293960_533">
                  <ownedRule xmi:id="_10_0_21c011f_1131645506382_227557_873" name="unnamed5">
                    <specification xmi:type="uml:OpaqueExpression" xmi:id="_10_0_21c011f_1131645506382_119385_874" name="">
                      <language>Java</language>
                      <body>destinationFloor == arrivalFloor</body>
                    </specification>
                  </ownedRule>
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159476766253_202319_124" name="">
                    <body>deleteDestination( getArrivalFloor() );&#xA;port[ElevatorDispatch2].sendMessage(SIN_IS_AT, new Integer(getArrivalFloor()), this);&#xA;port[DoorHoistControl4].sendMessage(SOUT_UNLOCK_DOOR, null, this);&#xA;if ( getCurrentDirection() == udd_UP ) {&#xA;  setCycleNoDest(1);&#xA;}&#xA;else {&#xA;  setCycleNoDest(2);&#xA;}</body>
                  </effect>
                </transition>
                <transition xmi:id="_10_0_21c011f_1131378240905_303882_605" name="Choice2" visibility="public" guard="_10_0_21c011f_1131645478281_867564_871" target="_10_0_21c011f_1131377787032_494711_442" source="_10_0_21c011f_1131378039506_293960_533">
                  <ownedRule xmi:id="_10_0_21c011f_1131645478281_867564_871" name="unnamed4">
                    <specification xmi:type="uml:OpaqueExpression" xmi:id="_10_0_21c011f_1131645478291_585998_872" name="">
                      <language>Java</language>
                      <body>else</body>
                    </specification>
                  </ownedRule>
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159476711910_258534_122" name="">
                    <body>port[ElevatorDispatch2].sendMessage(SIN_IS_READY_DEST, new Integer((getArrivalFloor() &lt;&lt; 8) + getDestinationFloor()), this);&#xA;port[DoorHoistControl4].sendMessage(SOUT_LOCK_DOOR, null, this);</body>
                  </effect>
                </transition>
                <transition xmi:id="_10_0_21c011f_1131378272280_513739_617" name="CNPT_OUTGOING2" visibility="public" target="_10_0_21c011f_1131378044803_414454_539" source="_10_0_21c011f_1131377779402_641771_429">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_10_0_21c011f_1131645327585_576960_868" name="">
                    <body>setArrivalFloor(((Integer)msg.getData()).intValue() - 1);&#xA;port[ElevatorDispatch2].sendMessage(SIN_IS_READY_DEST, new Integer((getArrivalFloor() &lt;&lt; 8) + getDestinationFloor()), this);</body>
                  </effect>
                  <trigger xmi:id="_10_0_21c011f_1131645317901_608456_867" name="" visibility="public" event="_10_0_21c011f_1131645317901_604390_866"/>
                </transition>
                <transition xmi:id="_10_0_21c011f_1131378286030_665135_629" name="Choice2" visibility="public" guard="_10_0_21c011f_1131645551216_80038_875" target="_10_0_21c011f_1131377779402_641771_429" source="_10_0_21c011f_1131378044803_414454_539">
                  <ownedRule xmi:id="_10_0_21c011f_1131645551216_80038_875" name="unnamed6">
                    <specification xmi:type="uml:OpaqueExpression" xmi:id="_10_0_21c011f_1131645551216_53989_876" name="">
                      <language>Java</language>
                      <body>else</body>
                    </specification>
                  </ownedRule>
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159476994035_539019_129" name="">
                    <body>if (getCurrentDirection() == udd_UP) {&#xA;  port[ElevatorDispatch3].sendMessage(SOUT_MOVE_TO_FL_N, new Integer(getArrivalFloor() + 2), this);&#xA;}&#xA;else {&#xA;  port[ElevatorDispatch3].sendMessage(SOUT_MOVE_TO_FL_N, new Integer(getArrivalFloor()), this);&#xA;}</body>
                  </effect>
                </transition>
                <transition xmi:id="_10_0_21c011f_1131378290617_17398_641" name="Choice1" visibility="public" guard="_10_0_21c011f_1131645572507_456660_877" target="_10_0_21c011f_1131377771390_119410_416" source="_10_0_21c011f_1131378044803_414454_539">
                  <ownedRule xmi:id="_10_0_21c011f_1131645572507_456660_877" name="unnamed7">
                    <specification xmi:type="uml:OpaqueExpression" xmi:id="_10_0_21c011f_1131645572507_989122_878" name="">
                      <language>Java</language>
                      <body>isDestination(arrivalFloor)</body>
                    </specification>
                  </ownedRule>
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159477089675_542845_131" name="">
                    <body>deleteDestination( getArrivalFloor() );&#xA;port[PushbuttonMessages0].sendMessage(SOUT_REQUEST_SATISFIED, null, this, getArrivalFloor());&#xA;port[ElevatorDispatch2].sendMessage(SIN_IS_AT, new Integer(getArrivalFloor()), this);&#xA;port[DoorHoistControl4].sendMessage(SOUT_UNLOCK_DOOR, null, this);&#xA;if ( getCurrentDirection() == udd_UP ) {&#xA;  setCycleNoDest(1);&#xA;}&#xA;else {&#xA;  setCycleNoDest(2);&#xA;}</body>
                  </effect>
                </transition>
                <transition xmi:id="_10_0_21c011f_1131378309684_760051_653" name="CNPT_OUTGOING1" visibility="public" target="_10_0_21c011f_1131377779402_641771_429" source="_10_0_21c011f_1131377779402_641771_429">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_10_0_21c011f_1131645260819_697984_865" name="">
                    <body>println(&quot;SIN_REQUESTED received at &quot; + getName() + &quot; on port &quot; + msg.getSender().getName() + &quot; state: Moving&quot;);&#xA;insertDestination( msg.getIndex() ); // floor</body>
                  </effect>
                  <trigger xmi:id="_10_0_21c011f_1131645252487_601517_864" name="" visibility="public" event="_10_0_21c011f_1131645252487_893930_863"/>
                </transition>
                <transition xmi:id="_11_5_52bb0822_1173384630224_312113_169" name="CNPT_OUTGOING2" visibility="public" kind="internal" target="_10_0_21c011f_1131377759323_535902_396" source="_10_0_21c011f_1131377759323_535902_396">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1173384661974_194842_173" name="">
                    <body>//println(&quot;SIN_REQUESTED received at &quot; + getName() + &quot; on port &quot; + msg.getSender().getName());&#xA;int floor1 = msg.getIndex();&#xA;if (floor1 == getArrivalFloor()) {&#xA;  port[PushbuttonMessages0].sendMessage(SOUT_REQUEST_SATISFIED, null, this, getArrivalFloor());&#xA;}&#xA;else {&#xA;  insertDestination( floor1 );&#xA;}</body>
                  </effect>
                  <trigger xmi:id="_11_5_52bb0822_1173384653146_995873_172" name="" visibility="public" event="_11_5_52bb0822_1173384653146_639225_171"/>
                </transition>
                <transition xmi:id="_11_5_52bb0822_1173384667411_752734_174" name="CNPT_OUTGOING3" visibility="public" kind="internal" target="_10_0_21c011f_1131377759323_535902_396" source="_10_0_21c011f_1131377759323_535902_396">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1173384702552_135009_178" name="">
                    <body>insertDestination( ((Integer)msg.getData()).intValue() ); // floor</body>
                  </effect>
                  <trigger xmi:id="_11_5_52bb0822_1173384684114_353845_177" name="" visibility="public" event="_11_5_52bb0822_1173384684114_929866_176"/>
                </transition>
                <transition xmi:id="_11_5_52bb0822_1173384706927_81816_179" name="CNPT_OUTGOING1" visibility="public" kind="internal" target="_10_0_21c011f_1131377759323_535902_396" source="_10_0_21c011f_1131377759323_535902_396">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1173384728474_798379_183" name=""/>
                  <trigger xmi:id="_11_5_52bb0822_1173384721302_516236_182" name="" visibility="public" event="_11_5_52bb0822_1173384721302_623234_181"/>
                </transition>
              </region>
            </subvertex>
          </region>
        </ownedBehavior>
        <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_3uxCUDlOEdy5E9cZCfOcEw" specification="_11_5_52bb0822_1159566287414_299662_145">
          <name xsi:nil="true"/>
          <language>Java</language>
          <body>hoistDestination[floor] = des_AVAILABLE;</body>
        </ownedBehavior>
        <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_AY79IDlPEdy5E9cZCfOcEw" specification="_11_5_52bb0822_1159564080961_887319_16">
          <name xsi:nil="true"/>
          <language>Java</language>
          <body>hoistDestination[floor] = des_REQUESTED;</body>
        </ownedBehavior>
        <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_FdyXEDlPEdy5E9cZCfOcEw" specification="_11_5_52bb0822_1159573058180_270487_159">
          <name xsi:nil="true"/>
          <language>Java</language>
          <body>if (hoistDestination[floor] == des_REQUESTED) {&#xA;  return true;&#xA;}&#xA;else {&#xA;  return false;&#xA;}</body>
        </ownedBehavior>
        <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_MYzBYDlPEdy5E9cZCfOcEw" specification="_11_5_52bb0822_1159570625305_865424_151">
          <name xsi:nil="true"/>
          <language>Java</language>
          <body>int floor = NoDestinationFound;&#xA;switch(currentDirection) {&#xA;case udd_UP:&#xA;  for (floor = currentFloor; floor &lt; numFloors; floor++) {&#xA;    if (hoistDestination[floor] == des_REQUESTED) {&#xA;      return floor;&#xA;    }&#xA;  }&#xA;  break;&#xA;case udd_DOWN:&#xA;  for (floor = currentFloor; floor >= 0; floor--) {&#xA;    if (hoistDestination[floor] == des_REQUESTED) {&#xA;      return floor;&#xA;    }&#xA;  }&#xA;  break;&#xA;default:&#xA;  break;&#xA;}&#xA;return NoDestinationFound;</body>
        </ownedBehavior>
        <ownedOperation xmi:id="_11_5_52bb0822_1159564080961_887319_16" name="insertDestination" visibility="protected" method="_AY79IDlPEdy5E9cZCfOcEw">
          <ownedParameter xmi:id="_11_5_52bb0822_1159564124321_658194_20" name="floor" visibility="public">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:id="_11_5_52bb0822_1159566287414_299662_145" name="deleteDestination" visibility="protected" method="_3uxCUDlOEdy5E9cZCfOcEw">
          <ownedParameter xmi:id="_11_5_52bb0822_1159566346086_294757_149" name="floor" visibility="public">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:id="_11_5_52bb0822_1159570625305_865424_151" name="selectHoistDestination" visibility="protected" method="_MYzBYDlPEdy5E9cZCfOcEw">
          <ownedParameter xmi:id="_11_5_52bb0822_1159570652055_362457_154" name="" visibility="public" direction="return">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          </ownedParameter>
          <ownedParameter xmi:id="_11_5_52bb0822_1159570667164_381754_155" name="currentFloor" visibility="public">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          </ownedParameter>
          <ownedParameter xmi:id="_11_5_52bb0822_1159570694024_207024_156" name="currentDirection" visibility="public">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          </ownedParameter>
          <ownedParameter xmi:id="_11_5_52bb0822_1159570725774_355659_157" name="numFloors" visibility="public">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:id="_11_5_52bb0822_1159573058180_270487_159" name="isDestination" visibility="protected" method="_FdyXEDlPEdy5E9cZCfOcEw">
          <ownedParameter xmi:id="_11_5_52bb0822_1159573077743_637445_162" name="" visibility="public" direction="return">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EBoolean"/>
          </ownedParameter>
          <ownedParameter xmi:id="_11_5_52bb0822_1159573118149_742166_163" name="floor" visibility="public">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1130901846491_215353_23" name="StructuredClassifier" isAbstract="true">
        <generalization xmi:id="_10_0_21c011f_1130902145551_8607_440" isSubstitutable="false" general="_10_0_21c011f_1130901833542_7045_5"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1130901961156_288036_203" name="Sensor" isAbstract="true">
        <generalization xmi:id="_10_0_21c011f_1130903134924_227925_607" isSubstitutable="false" general="_10_0_21c011f_1130901833542_7045_5"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1130901908020_629901_113" name="ElevatorPanel">
        <generalization xmi:id="_10_0_21c011f_1130903059896_943346_547" isSubstitutable="false" general="_10_0_21c011f_1130901833542_7045_5"/>
        <ownedAttribute xmi:id="_10_0_21c011f_1130904442854_149187_833" name="iFloor" visibility="private" type="_10_0_21c011f_1130901953455_544554_185" aggregation="composite"/>
        <ownedAttribute xmi:id="_10_0_21c011f_1130904449664_661264_847" name="bOpen" visibility="private" type="_10_0_21c011f_1130901987243_406417_257" aggregation="composite"/>
        <ownedAttribute xmi:id="_10_0_21c011f_1131334592710_783310_268" name="bClose" visibility="private" type="_10_0_21c011f_1130901987243_406417_257" aggregation="composite"/>
        <ownedAttribute xmi:id="_10_0_21c011f_1130904457295_730220_861" name="bFloor" visibility="private" type="_10_0_21c011f_1130901998369_781411_275" aggregation="composite">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_10_0_21c011f_1130904499987_489323_877" name="" value="8"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_10_0_21c011f_1130904499987_822250_876" name="" value="8"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131334839595_965710_310" name="bFloorG" visibility="public" type="_10_0_21c011f_1131299731649_365007_122" aggregation="composite">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_10_0_21c011f_1131334893322_748488_316" name="" value="8"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_10_0_21c011f_1131334893322_436421_315" name="" value="8"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131334945808_224027_338" name="bFloorDisp" visibility="public" type="_10_0_21c011f_1131299731649_365007_122" aggregation="composite">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_10_0_21c011f_1131334963273_452043_344" name="" value="8"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_10_0_21c011f_1131334963273_801776_343" name="" value="8"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131335011052_559473_366" name="iFloorG" visibility="public" type="_10_0_21c011f_1131310270944_98363_541" aggregation="composite"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131335082564_345884_392" name="iFloorDisp" visibility="public" type="_10_0_21c011f_1131310270944_98363_541" aggregation="composite"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131335180685_845396_418" name="bOpenG" visibility="public" type="_10_0_21c011f_1131299731649_365007_122" aggregation="composite"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131335244467_312080_444" name="bOpenDoor" visibility="public" type="_10_0_21c011f_1131299731649_365007_122" aggregation="composite"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131335295110_954225_470" name="bCloseG" visibility="public" type="_10_0_21c011f_1131299731649_365007_122" aggregation="composite"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131335410656_276870_522" name="bCloseDoor" visibility="public" type="_10_0_21c011f_1131299731649_365007_122" aggregation="composite"/>
        <ownedConnector xmi:id="_11_5_52bb0822_1158955949911_308122_510" name="" visibility="public" kind="delegation">
          <end xmi:id="_11_5_52bb0822_1158955949911_318836_511" role="_10_0_21c011f_1131334839595_965710_310"/>
          <end xmi:id="_11_5_52bb0822_1158955949911_314524_512" partWithPort="_10_0_21c011f_1130904457295_730220_861" role="_11_5_52bb0822_1158860383295_951588_333"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158955953880_72837_530" name="" visibility="public" kind="delegation">
          <end xmi:id="_11_5_52bb0822_1158955953880_188770_531" role="_10_0_21c011f_1131335011052_559473_366"/>
          <end xmi:id="_11_5_52bb0822_1158955953880_901324_532" partWithPort="_10_0_21c011f_1130904442854_149187_833" role="_10_0_21c011f_1131334356220_707226_257"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158955957583_351755_550" name="" visibility="public" kind="delegation">
          <end xmi:id="_11_5_52bb0822_1158955957583_290315_551" role="_10_0_21c011f_1131335180685_845396_418"/>
          <end xmi:id="_11_5_52bb0822_1158955957583_89846_552" partWithPort="_10_0_21c011f_1130904449664_661264_847" role="_11_5_52bb0822_1158859968861_55995_280"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158955964599_468486_570" name="" visibility="public" kind="delegation">
          <end xmi:id="_11_5_52bb0822_1158955964599_539503_571" role="_10_0_21c011f_1131335295110_954225_470"/>
          <end xmi:id="_11_5_52bb0822_1158955964599_869108_572" partWithPort="_10_0_21c011f_1131334592710_783310_268" role="_11_5_52bb0822_1158859968861_55995_280"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158956002724_552997_590" name="" visibility="public" kind="delegation">
          <end xmi:id="_11_5_52bb0822_1158956002724_618530_591" partWithPort="_10_0_21c011f_1130904457295_730220_861" role="_11_5_52bb0822_1158860416200_681764_334"/>
          <end xmi:id="_11_5_52bb0822_1158956002724_818311_592" role="_10_0_21c011f_1131334945808_224027_338"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158956007537_423534_610" name="" visibility="public" kind="delegation">
          <end xmi:id="_11_5_52bb0822_1158956007537_981683_611" partWithPort="_10_0_21c011f_1130904442854_149187_833" role="_10_0_21c011f_1131334390289_138880_258"/>
          <end xmi:id="_11_5_52bb0822_1158956007537_57062_612" role="_10_0_21c011f_1131335082564_345884_392"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158956012974_271231_630" name="" visibility="public" kind="delegation">
          <end xmi:id="_11_5_52bb0822_1158956012974_39065_631" partWithPort="_10_0_21c011f_1130904449664_661264_847" role="_11_5_52bb0822_1158859994516_883098_281"/>
          <end xmi:id="_11_5_52bb0822_1158956012974_94068_632" role="_10_0_21c011f_1131335244467_312080_444"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158956017224_31241_650" name="" visibility="public" kind="delegation">
          <end xmi:id="_11_5_52bb0822_1158956017224_897348_651" partWithPort="_10_0_21c011f_1131334592710_783310_268" role="_11_5_52bb0822_1158859994516_883098_281"/>
          <end xmi:id="_11_5_52bb0822_1158956017224_91430_652" role="_10_0_21c011f_1131335410656_276870_522"/>
        </ownedConnector>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1130901967966_337607_221" name="Button" isAbstract="true">
        <generalization xmi:id="_10_0_21c011f_1130902831247_957232_521" isSubstitutable="false" general="_10_0_21c011f_1130901961156_288036_203"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131299641049_563100_120" name="gui" visibility="public" type="_10_0_21c011f_1131299731649_365007_122" aggregation="composite" isBehavior="true"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131300600068_348731_146" name="client" visibility="public" type="_11_5_52bb0822_1158698353311_196954_383" aggregation="composite" isBehavior="true" isService="false"/>
        <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_10_0_21c011f_1131147959480_895176_4" name="StateMachine_Button">
          <region xmi:id="_10_0_21c011f_1131147959480_834386_5" name="" visibility="public">
            <subvertex xmi:type="uml:State" xmi:id="_10_0_21c011f_1131148666937_404446_92" name="StateMachine_Button" visibility="public">
              <region xmi:id="_10_0_21c011f_1131148666937_415038_93" name="" visibility="public">
                <subvertex xmi:type="uml:Pseudostate" xmi:id="_10_0_21c011f_1131148717720_575990_106" name="" visibility="public"/>
                <subvertex xmi:type="uml:State" xmi:id="_10_0_21c011f_1131148721305_906473_112" name="NotSelected" visibility="public"/>
                <subvertex xmi:type="uml:State" xmi:id="_10_0_21c011f_1131148731400_784273_125" name="Selected" visibility="public"/>
                <transition xmi:id="_10_0_21c011f_1131148749185_919982_150" name="" visibility="public" target="_10_0_21c011f_1131148721305_906473_112" source="_10_0_21c011f_1131148717720_575990_106"/>
                <transition xmi:id="_10_0_21c011f_1131148755074_335534_162" name="CNPT_OUTGOING1" visibility="public" target="_10_0_21c011f_1131148731400_784273_125" source="_10_0_21c011f_1131148721305_906473_112">
                  <ownedComment xmi:id="_10_0_21c011f_1131311908048_549688_598" annotatedElement="_10_0_21c011f_1131148755074_335534_162">
                    <body></body>
                  </ownedComment>
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_10_0_21c011f_1131311790158_424948_597" name="">
                    <language>Java</language>
                    <body>//println(&quot;Button received SIN_REQUESTED &quot; + getName());&#xA;msg.getSender().sendMessage(SOUT_ACK, null, this);&#xA;port[PushbuttonMessages1].sendMessage(SIN_REQUESTED, null, this);</body>
                  </effect>
                  <trigger xmi:id="_10_0_21c011f_1131311629527_332606_596" name="" visibility="public" event="_10_0_21c011f_1131311629497_600694_595"/>
                </transition>
                <transition xmi:id="_10_0_21c011f_1131148759821_266484_174" name="CNPT_OUTGOING1" visibility="public" target="_10_0_21c011f_1131148721305_906473_112" source="_10_0_21c011f_1131148731400_784273_125">
                  <ownedComment xmi:id="_10_0_21c011f_1131312037664_933274_599" annotatedElement="_10_0_21c011f_1131148759821_266484_174">
                    <body></body>
                  </ownedComment>
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_10_0_21c011f_1131312153261_648971_602" name="">
                    <body>port[PushbuttonMessages0].sendMessage(SOUT_REQUEST_SATISFIED, null, this);</body>
                  </effect>
                  <trigger xmi:id="_10_0_21c011f_1131312120193_974473_601" name="" visibility="public" event="_10_0_21c011f_1131312120193_424515_600"/>
                </transition>
                <transition xmi:id="_11_5_52bb0822_1173380116614_475593_1" name="CNPT_OUTGOING1" visibility="public" kind="internal" target="_10_0_21c011f_1131148666937_404446_92" source="_10_0_21c011f_1131148666937_404446_92">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1173380380911_106762_5" name="">
                    <body>// ignore. This is a duplicate button press.</body>
                  </effect>
                  <trigger xmi:id="_11_5_52bb0822_1173380365724_42746_4" name="" visibility="public" event="_11_5_52bb0822_1173380365724_466746_3"/>
                </transition>
                <transition xmi:id="_11_5_52bb0822_1173380715974_308969_7" name="CNPT_OUTGOING2" visibility="public" kind="internal" target="_10_0_21c011f_1131148666937_404446_92" source="_10_0_21c011f_1131148666937_404446_92">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1173380742755_536385_11" name="">
                    <body>// ignore</body>
                  </effect>
                  <trigger xmi:id="_11_5_52bb0822_1173380728693_923921_10" name="" visibility="public" event="_11_5_52bb0822_1173380728693_206784_9"/>
                </transition>
              </region>
            </subvertex>
          </region>
        </ownedBehavior>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1130901881782_461564_59" name="Dispatcher">
        <generalization xmi:id="_10_0_21c011f_1130902157188_569359_452" isSubstitutable="false" general="_10_0_21c011f_1130901833542_7045_5"/>
        <ownedAttribute xmi:id="_11_5_52bb0822_1159831451953_419982_129" name="dispatchDestination" visibility="private">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EByte"/>
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_11_5_52bb0822_1159831504828_350604_135" name="" value="16"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1159831504828_613285_134" name="" value="16"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131333156054_492897_75" name="callUp" visibility="public" type="_10_0_21c011f_1131299731649_365007_122" aggregation="composite" isBehavior="true">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_10_0_21c011f_1131333197594_196944_77" name="" value="8"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_10_0_21c011f_1131333197564_644187_76" name="" value="8"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131333220527_976505_78" name="callDown" visibility="public" type="_11_5_52bb0822_1158698353311_196954_383" aggregation="composite" isBehavior="true">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_10_0_21c011f_1131333239214_716490_80" name="" value="8"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_10_0_21c011f_1131333239214_693110_79" name="" value="8"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131333258361_188713_81" name="elevatorDispatchD" visibility="public" type="_10_0_21c011f_1131303060536_689304_200" aggregation="composite" isBehavior="true">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_10_0_21c011f_1131333295985_634897_83" name="" value="2"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_10_0_21c011f_1131333295985_960541_82" name="" value="2"/>
        </ownedAttribute>
        <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_10_0_21c011f_1131376839780_258193_253" name="StateMachine_Dispatcher">
          <region xmi:id="_10_0_21c011f_1131376839780_25189_254" name="" visibility="public">
            <subvertex xmi:type="uml:State" xmi:id="_10_0_21c011f_1131377028171_793230_260" name="StateMachine_Dispatcher" visibility="public">
              <region xmi:id="_10_0_21c011f_1131377028181_174451_261" name="" visibility="public">
                <subvertex xmi:type="uml:Pseudostate" xmi:id="_10_0_21c011f_1131377035201_76510_274" name="" visibility="public"/>
                <subvertex xmi:type="uml:State" xmi:id="_10_0_21c011f_1131377041420_321084_280" name="Ready" visibility="public"/>
                <transition xmi:id="_10_0_21c011f_1131377052977_847267_293" name="" visibility="public" target="_10_0_21c011f_1131377041420_321084_280" source="_10_0_21c011f_1131377035201_76510_274">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159911881781_928920_419" name="">
                    <body>// initial dispatchDestination array&#xA;for (int iDisp = 0; iDisp &lt; dispatchDestination.length; iDisp++) {&#xA;  dispatchDestination[iDisp] = des_AVAILABLE;&#xA;}</body>
                  </effect>
                </transition>
                <transition xmi:id="_10_0_21c011f_1131377122777_956685_317" name="CNPT_OUTGOING4" visibility="public" target="_10_0_21c011f_1131377041420_321084_280" source="_10_0_21c011f_1131377041420_321084_280">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_10_0_21c011f_1131646070603_66779_894" name="">
                    <body>//println(&quot;SIN_IS_READY_DEST received by Dispatcher from &quot; + msg.getSender().getName() + &quot; elevatorDispatchD[&quot; + msg.getIndex() + &quot;]&quot;);&#xA;int currentDirection;&#xA;int e = msg.getIndex();&#xA;int combo3 = ((Integer)msg.getData()).intValue();&#xA;int currentFloor = combo3 >> 8;&#xA;int destinationFloor = combo3 &amp; 0xFF;&#xA;if (destinationFloor > currentFloor) {&#xA;  currentDirection = udd_UP;&#xA;}&#xA;else {&#xA;  currentDirection = udd_DOWN;&#xA;}&#xA;int newDest = selectDispatchDestination( currentFloor, destinationFloor, currentDirection );&#xA;if (newDest != NoDestinationFound) {&#xA;  updateDestination( newDest, currentDirection );&#xA;  port[ElevatorDispatch2].sendMessage(SOUT_MOVE_TO_FL_N, new Integer(newDest), this, e);&#xA;}</body>
                  </effect>
                  <trigger xmi:id="_10_0_21c011f_1131646068390_579397_893" name="" visibility="public" event="_10_0_21c011f_1131646068390_312132_892"/>
                </transition>
                <transition xmi:id="_10_0_21c011f_1131377242960_479166_330" name="CNPT_OUTGOING5" visibility="public" target="_10_0_21c011f_1131377041420_321084_280" source="_10_0_21c011f_1131377041420_321084_280">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_10_0_21c011f_1131646104632_624897_897" name="">
                    <body>//println(&quot;SIN_IS_READY_NO_DEST received by Dispatcher from &quot; + msg.getSender().getName() + &quot; elevatorDispatchD[&quot; + msg.getIndex() + &quot;]&quot;);&#xA;int currentDirection4;&#xA;int newDest4 = NoDestinationFound;&#xA;int e4 = msg.getIndex();&#xA;int combo4 = ((Integer)msg.getData()).intValue();&#xA;int currentFloor4 = combo4 >> 8;&#xA;int destinationFloor4 = combo4 &amp; 0xFF;&#xA;if (destinationFloor4 > currentFloor4) {&#xA;  currentDirection4 = udd_UP;&#xA;}&#xA;else {&#xA;  currentDirection4 = udd_DOWN;&#xA;}&#xA;if (currentFloor4 == destinationFloor4) {&#xA;  if (isDestination(currentFloor4, udd_UP)) {&#xA;    currentDirection4 = udd_UP;&#xA;    newDest4 = currentFloor4;&#xA;  }&#xA;  else if (isDestination(currentFloor4, udd_DOWN)) {&#xA;    currentDirection4 = udd_DOWN;&#xA;    newDest4 = currentFloor4;&#xA;  }&#xA;}&#xA;else {&#xA;  newDest4 = selectDispatchDestination( currentFloor4, destinationFloor4, currentDirection4 );&#xA;}&#xA;if (newDest4 != NoDestinationFound) {&#xA;  updateDestination( newDest4, currentDirection4 );&#xA;  port[ElevatorDispatch2].sendMessage(SOUT_MOVE_TO_FL_N, new Integer(newDest4), this, e4);&#xA;}</body>
                  </effect>
                  <trigger xmi:id="_10_0_21c011f_1131646102469_449228_896" name="" visibility="public" event="_10_0_21c011f_1131646102469_793491_895"/>
                </transition>
                <transition xmi:id="_10_0_21c011f_1131377294514_638381_342" name="CNPT_OUTGOING3" visibility="public" target="_10_0_21c011f_1131377041420_321084_280" source="_10_0_21c011f_1131377041420_321084_280">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_10_0_21c011f_1131646127855_926847_900" name="">
                    <body>//println(&quot;SIN_IS_AT received by Dispatcher from &quot; + msg.getSender().getName() + &quot; elevatorDispatchD[&quot; + msg.getIndex() + &quot;]&quot;);&#xA;int floor5 = ((Integer)msg.getData()).intValue();&#xA;if (isDestination(floor5, udd_UP)) {&#xA;  deleteDestination(floor5, udd_UP);&#xA;  port[PushbuttonMessages0].sendMessage(SOUT_REQUEST_SATISFIED, null, this, floor5);&#xA;}&#xA;else if (isDestination(floor5, udd_DOWN)) {&#xA;  deleteDestination(floor5, udd_DOWN);&#xA;  port[PushbuttonMessages1].sendMessage(SOUT_REQUEST_SATISFIED, null, this, floor5);&#xA;}</body>
                  </effect>
                  <trigger xmi:id="_10_0_21c011f_1131646125782_687550_899" name="" visibility="public" event="_10_0_21c011f_1131646125782_830141_898"/>
                </transition>
                <transition xmi:id="_10_0_21c011f_1131377360930_225245_366" name="CNPT_OUTGOING1" visibility="public" guard="_11_5_52bb0822_1159450814656_634234_1" target="_10_0_21c011f_1131377041420_321084_280" source="_10_0_21c011f_1131377041420_321084_280">
                  <ownedRule xmi:id="_11_5_52bb0822_1159450814656_634234_1" name="unnamed8">
                    <specification xmi:type="uml:OpaqueExpression" xmi:id="_11_5_52bb0822_1159450814656_783658_2" name="">
                      <language>Java</language>
                      <body>msg.getSender() == port[PushbuttonMessages0]</body>
                    </specification>
                  </ownedRule>
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_10_0_21c011f_1131645995795_370668_888" name="">
                    <body>//println(&quot;SIN_REQUESTED received by Dispatcher from &quot; + msg.getSender().getName() + &quot; callUp[&quot; + msg.getIndex() + &quot;]&quot;);&#xA;insertDestination( msg.getIndex(), udd_UP ); // floor</body>
                  </effect>
                  <trigger xmi:id="_10_0_21c011f_1131645993172_457669_887" name="" visibility="public" event="_10_0_21c011f_1131645993172_75877_886"/>
                </transition>
                <transition xmi:id="_10_0_21c011f_1131377444019_51988_378" name="CNPT_OUTGOING2" visibility="public" guard="_11_5_52bb0822_1159450919984_428680_3" target="_10_0_21c011f_1131377041420_321084_280" source="_10_0_21c011f_1131377041420_321084_280">
                  <ownedComment xmi:id="_11_5_52bb0822_1159838201640_271960_171" annotatedElement="_10_0_21c011f_1131377444019_51988_378">
                    <body></body>
                  </ownedComment>
                  <ownedRule xmi:id="_11_5_52bb0822_1159450919984_428680_3" name="unnamed9">
                    <specification xmi:type="uml:OpaqueExpression" xmi:id="_11_5_52bb0822_1159450919984_301468_4" name="">
                      <language>Java</language>
                      <body>msg.getSender() == port[PushbuttonMessages1]</body>
                    </specification>
                  </ownedRule>
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_10_0_21c011f_1131646049663_898073_891" name="">
                    <body>//println(&quot;SIN_REQUESTED received by Dispatcher from &quot; + msg.getSender().getName() + &quot; callDown[&quot; + msg.getIndex() + &quot;]&quot;);&#xA;insertDestination( msg.getIndex(), udd_DOWN );</body>
                  </effect>
                  <trigger xmi:id="_10_0_21c011f_1131646035533_407135_890" name="" visibility="public" event="_10_0_21c011f_1131646035533_490482_889"/>
                </transition>
              </region>
            </subvertex>
          </region>
        </ownedBehavior>
        <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_xMQ1EDlCEdy5E9cZCfOcEw" name="dispatcher_deleteDestination" specification="_11_5_52bb0822_1159832096000_458644_142">
          <language>Java</language>
          <body>dispatchDestination[floor + ((direction - 1) * MaxFloors)] = des_AVAILABLE;</body>
        </ownedBehavior>
        <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_VnnToDlKEdy5E9cZCfOcEw" name="dispatcher_insertDestination" specification="_11_5_52bb0822_1159831594343_494898_136">
          <language>Java</language>
          <body>dispatchDestination[floor + ((direction - 1) * MaxFloors)] = des_REQUESTED;</body>
        </ownedBehavior>
        <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_g8aBoDlKEdy5E9cZCfOcEw" name="dispatcher_isDestination" specification="_11_5_52bb0822_1159832815234_332530_155">
          <language>Java</language>
          <body>return dispatchDestination[floor + ((direction - 1) * MaxFloors)] == des_BEING_SERVICED;</body>
        </ownedBehavior>
        <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_l0cHkDlKEdy5E9cZCfOcEw" name="dispatcher_selectDispatchDestination" specification="_11_5_52bb0822_1159832247500_972424_148">
          <language>Java</language>
          <body>int floor = NoDestinationFound;&#xA;switch(direction) {&#xA;case udd_UP:&#xA;  for (floor = floor1; floor &lt; floor2; floor++) {&#xA;    if (dispatchDestination[floor + ((udd_UP - 1) * MaxFloors)] == des_REQUESTED) {&#xA;      return floor;&#xA;    }&#xA;  }&#xA;  break;&#xA;case udd_DOWN:&#xA;  for (floor = floor1; floor > floor2; floor--) {&#xA;    if (dispatchDestination[floor + ((udd_DOWN - 1) * MaxFloors)] == des_REQUESTED) {&#xA;      return floor;&#xA;    }&#xA;  }&#xA;  break;&#xA;default:&#xA;  break;&#xA;}&#xA;return NoDestinationFound;</body>
        </ownedBehavior>
        <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_xXZNYDlKEdy5E9cZCfOcEw" name="dispatcher_updateDestination" specification="_11_5_52bb0822_1159833216609_29656_164">
          <language>Java</language>
          <body>dispatchDestination[floor + ((direction - 1) * MaxFloors)] = des_BEING_SERVICED;</body>
        </ownedBehavior>
        <ownedOperation xmi:id="_11_5_52bb0822_1159831594343_494898_136" name="insertDestination" visibility="protected" method="_VnnToDlKEdy5E9cZCfOcEw">
          <ownedParameter xmi:id="_11_5_52bb0822_1159831625937_253458_139" name="floor" visibility="public">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          </ownedParameter>
          <ownedParameter xmi:id="_11_5_52bb0822_1159831645796_694111_140" name="direction" visibility="public">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:id="_11_5_52bb0822_1159832096000_458644_142" name="deleteDestination" visibility="protected" method="_xMQ1EDlCEdy5E9cZCfOcEw">
          <ownedParameter xmi:id="_11_5_52bb0822_1159832157703_579445_146" name="floor" visibility="public">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          </ownedParameter>
          <ownedParameter xmi:id="_11_5_52bb0822_1159832172328_343913_147" name="direction" visibility="public">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:id="_11_5_52bb0822_1159832247500_972424_148" name="selectDispatchDestination" visibility="protected" method="_l0cHkDlKEdy5E9cZCfOcEw">
          <ownedParameter xmi:id="_11_5_52bb0822_1159832268828_5749_150" name="" visibility="public" direction="return">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          </ownedParameter>
          <ownedParameter xmi:id="_11_5_52bb0822_1159832280890_92054_151" name="floor1" visibility="public">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          </ownedParameter>
          <ownedParameter xmi:id="_11_5_52bb0822_1159832305921_107593_152" name="floor2" visibility="public">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          </ownedParameter>
          <ownedParameter xmi:id="_11_5_52bb0822_1159832321750_304958_153" name="direction" visibility="public">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:id="_11_5_52bb0822_1159832815234_332530_155" name="isDestination" visibility="protected" method="_g8aBoDlKEdy5E9cZCfOcEw">
          <ownedParameter xmi:id="_11_5_52bb0822_1159832833796_729961_157" name="" visibility="public" direction="return">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EBoolean"/>
          </ownedParameter>
          <ownedParameter xmi:id="_11_5_52bb0822_1159832842000_774615_158" name="floor" visibility="public">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          </ownedParameter>
          <ownedParameter xmi:id="_11_5_52bb0822_1159832861046_145138_159" name="direction" visibility="public">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          </ownedParameter>
        </ownedOperation>
        <ownedOperation xmi:id="_11_5_52bb0822_1159833216609_29656_164" name="updateDestination" visibility="protected" method="_xXZNYDlKEdy5E9cZCfOcEw">
          <ownedParameter xmi:id="_11_5_52bb0822_1159833247578_605286_167" name="floor" visibility="public">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          </ownedParameter>
          <ownedParameter xmi:id="_11_5_52bb0822_1159833259312_73588_168" name="direction" visibility="public">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1130902014122_993011_293" name="TickGenerator">
        <generalization xmi:id="_10_0_21c011f_1130903139170_39250_619" isSubstitutable="false" general="_10_0_21c011f_1130901833542_7045_5"/>
        <ownedAttribute xmi:id="_11_5_52bb0822_1159485863972_200516_165" name="xhTime" visibility="private" type="_11_5_52bb0822_1159485912488_621207_167"/>
        <ownedAttribute xmi:id="_11_5_52bb0822_1159486641410_95991_169" name="NUM_TIMESTEPS_PER_TICK" visibility="protected" isStatic="true" isReadOnly="true">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1159486668160_1860_171" name="" value="10"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131309329630_206216_509" name="ticks" visibility="public" type="_10_0_21c011f_1131303093653_794115_254" aggregation="composite" isBehavior="true"/>
        <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_10_0_21c011f_1131380995446_959540_787" name="StateMachine_TickGenerator">
          <region xmi:id="_10_0_21c011f_1131380995446_309261_788" name="" visibility="public">
            <subvertex xmi:type="uml:State" xmi:id="_10_0_21c011f_1131381106215_770900_813" name="StateMachine_TickGenerator" visibility="public">
              <region xmi:id="_10_0_21c011f_1131381106215_287901_814" name="" visibility="public">
                <subvertex xmi:type="uml:Pseudostate" xmi:id="_10_0_21c011f_1131381117491_764399_827" name="" visibility="public"/>
                <subvertex xmi:type="uml:State" xmi:id="_11_5_52bb0822_1159549750876_588424_136" name="Ticking" visibility="public"/>
                <transition xmi:id="_11_5_52bb0822_1159549770813_532697_149" name="" visibility="public" target="_11_5_52bb0822_1159549750876_588424_136" source="_10_0_21c011f_1131381117491_764399_827">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159549770813_37700_150" name="">
                    <body>// Set timer to go off after 50 ms.&#xA;println(&quot;TickGenerator is ticking ...&quot;);&#xA;xhTime = new XholonTime();&#xA;xhTime.timeoutRepeat(this, null, 0, XholonTime.timeStepInterval * NUM_TIMESTEPS_PER_TICK);</body>
                  </effect>
                </transition>
              </region>
            </subvertex>
            <transition xmi:id="_11_5_52bb0822_1159549793157_122405_161" name="CNPT_OUTGOING1" visibility="public" target="_11_5_52bb0822_1159549750876_588424_136" source="_11_5_52bb0822_1159549750876_588424_136">
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159549793157_33743_162" name="">
                <body>port[Ticks0].sendMessage(SOUT_TICK, null, this);&#xA;</body>
              </effect>
              <trigger xmi:id="_11_5_52bb0822_1159549793157_230942_163" name="" visibility="public" event="_10_0_21c011f_1131645735762_228900_879"/>
            </transition>
          </region>
        </ownedBehavior>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1130901918455_442232_131" name="Floor">
        <generalization xmi:id="_10_0_21c011f_1130903069349_430342_559" isSubstitutable="false" general="_10_0_21c011f_1130901833542_7045_5"/>
        <ownedAttribute xmi:id="_10_0_21c011f_1130903795434_779437_723" name="bUp" visibility="private" type="_10_0_21c011f_1130901973263_469254_239" aggregation="composite"/>
        <ownedAttribute xmi:id="_10_0_21c011f_1130903802363_897444_737" name="bDown" visibility="private" type="_10_0_21c011f_1130901973263_469254_239" aggregation="composite"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131307782796_539641_406" name="bUpG" visibility="public" type="_10_0_21c011f_1131299731649_365007_122" aggregation="composite"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131308047156_948014_412" name="bDownG" visibility="public" type="_10_0_21c011f_1131299731649_365007_122" aggregation="composite"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131308078982_53577_418" name="bUpD" visibility="public" type="_10_0_21c011f_1131299731649_365007_122" aggregation="composite" isService="false"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131308122164_952310_424" name="bDownD" visibility="public" type="_10_0_21c011f_1131299731649_365007_122" aggregation="composite" isService="false"/>
        <ownedConnector xmi:id="_11_5_52bb0822_1158956057600_8766_670" name="" visibility="public" kind="delegation">
          <end xmi:id="_11_5_52bb0822_1158956057600_416573_671" role="_10_0_21c011f_1131307782796_539641_406"/>
          <end xmi:id="_11_5_52bb0822_1158956057600_449338_672" partWithPort="_10_0_21c011f_1130903795434_779437_723" role="_11_5_52bb0822_1158853356609_791697_165"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158956061537_294198_690" name="" visibility="public" kind="delegation">
          <end xmi:id="_11_5_52bb0822_1158956061537_253231_691" role="_10_0_21c011f_1131308047156_948014_412"/>
          <end xmi:id="_11_5_52bb0822_1158956061537_784935_692" partWithPort="_10_0_21c011f_1130903802363_897444_737" role="_11_5_52bb0822_1158853356609_791697_165"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158956065288_748654_710" name="" visibility="public" kind="delegation">
          <end xmi:id="_11_5_52bb0822_1158956065288_2177_711" partWithPort="_10_0_21c011f_1130903795434_779437_723" role="_11_5_52bb0822_1158853575421_581036_166"/>
          <end xmi:id="_11_5_52bb0822_1158956065288_329321_712" role="_10_0_21c011f_1131308078982_53577_418"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158956069334_869512_730" name="" visibility="public" kind="delegation">
          <end xmi:id="_11_5_52bb0822_1158956069334_523602_731" partWithPort="_10_0_21c011f_1130903802363_897444_737" role="_11_5_52bb0822_1158853575421_581036_166"/>
          <end xmi:id="_11_5_52bb0822_1158956069334_498063_732" role="_10_0_21c011f_1131308122164_952310_424"/>
        </ownedConnector>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1130901998369_781411_275" name="FloorSelectionButton">
        <generalization xmi:id="_10_0_21c011f_1130902780845_514445_509" isSubstitutable="false" general="_10_0_21c011f_1130901967966_337607_221"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_11_5_52bb0822_1158860383295_951588_333" name="gui" visibility="public" type="_10_0_21c011f_1131299731649_365007_122" aggregation="composite" isBehavior="true"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_11_5_52bb0822_1158860416200_681764_334" name="client" visibility="public" type="_11_5_52bb0822_1158698353311_196954_383" aggregation="composite" isBehavior="true" isService="false"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1130901927097_268692_149" name="UserExternalGui">
        <generalization xmi:id="_10_0_21c011f_1131396421947_232311_47" isSubstitutable="false" general="_10_0_21c011f_1131396280494_880027_1"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1130901866910_109502_41" name="AnElevatorSystem">
        <generalization xmi:id="_10_0_21c011f_1130902125532_983151_428" isSubstitutable="false" general="_10_0_21c011f_1130901846491_215353_23"/>
        <ownedAttribute xmi:id="_10_0_21c011f_1130903468684_851026_649" name="gui" visibility="private" type="_10_0_21c011f_1131396292451_266115_2" aggregation="composite"/>
        <ownedAttribute xmi:id="_10_0_21c011f_1130903483695_454891_663" name="floor" visibility="private" type="_10_0_21c011f_1130901918455_442232_131" aggregation="composite">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_10_0_21c011f_1130904092150_833817_751" name="" value="8"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_10_0_21c011f_1130904092120_408391_750" name="" value="8"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_10_0_21c011f_1130903494931_772705_677" name="elevator" visibility="private" type="_10_0_21c011f_1130901896884_302560_95" aggregation="composite">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_10_0_21c011f_1130904119760_681578_753" name="" value="2"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_10_0_21c011f_1130904119760_515790_752" name="" value="2"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_10_0_21c011f_1130903504746_26665_691" name="dispatcher" visibility="private" type="_10_0_21c011f_1130901881782_461564_59" aggregation="composite"/>
        <ownedAttribute xmi:id="_11_5_52bb0822_1159479790394_709169_150" name="MaxFloors" visibility="public" isStatic="true" isReadOnly="true">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1159479849566_605173_152" name="" value="8"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1159479852535_237802_153" name="MaxElevators" visibility="public" isStatic="true" isReadOnly="true">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1159479872535_395218_155" name="" value="2"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1159563324899_129082_10" name="NumUpDown" visibility="public" isStatic="true" isReadOnly="true">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1159563347383_33505_12" name="" value="2"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1159563393071_30966_13" name="NoDestinationFound" visibility="public" isStatic="true" isReadOnly="true">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1159563415993_33958_15" name="" value="-1"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1159479914957_89745_156" name="udd_UP" visibility="public" isStatic="true" isReadOnly="true">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1159479948894_625314_158" name="" value="1"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1159479950941_314137_159" name="udd_DOWN" visibility="public" isStatic="true" isReadOnly="true">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1159479969738_176881_161" name="" value="2"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1159563135008_561996_1" name="des_AVAILABLE" visibility="public" isStatic="true" isReadOnly="true">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1159563172118_543633_3" name="" value="1"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1159563181227_352096_4" name="des_REQUESTED" visibility="public" isStatic="true" isReadOnly="true">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1159563198602_552985_6" name="" value="2"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1159833124234_195834_161" name="des_BEING_SERVICED" visibility="public" isStatic="true" isReadOnly="true">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1159833165015_101103_163" name="" value="3"/>
        </ownedAttribute>
        <ownedConnector xmi:id="_11_5_52bb0822_1158864950468_311786_654" name="" visibility="public" kind="assembly">
          <end xmi:id="_11_5_52bb0822_1158864950468_954770_655" partWithPort="_10_0_21c011f_1130903468684_851026_649" role="_11_5_52bb0822_1158863206537_316298_561"/>
          <end xmi:id="_11_5_52bb0822_1158864950468_727275_656" partWithPort="_10_0_21c011f_1130903483695_454891_663" role="_10_0_21c011f_1131307782796_539641_406"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158864955780_526973_674" name="" visibility="public" kind="assembly">
          <end xmi:id="_11_5_52bb0822_1158864955780_46375_675" partWithPort="_10_0_21c011f_1130903468684_851026_649" role="_11_5_52bb0822_1158863219928_308890_562"/>
          <end xmi:id="_11_5_52bb0822_1158864955780_799339_676" partWithPort="_10_0_21c011f_1130903483695_454891_663" role="_10_0_21c011f_1131308047156_948014_412"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158864960155_855001_694" name="" visibility="public" kind="assembly">
          <end xmi:id="_11_5_52bb0822_1158864960155_181828_695" partWithPort="_10_0_21c011f_1130903468684_851026_649" role="_11_5_52bb0822_1158863231599_992470_563"/>
          <end xmi:id="_11_5_52bb0822_1158864960155_500357_696" partWithPort="_10_0_21c011f_1130903494931_772705_677" role="_10_0_21c011f_1131336386489_445752_760"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158864964452_999819_714" name="" visibility="public" kind="assembly">
          <end xmi:id="_11_5_52bb0822_1158864964452_205168_715" partWithPort="_10_0_21c011f_1130903468684_851026_649" role="_11_5_52bb0822_1158863239037_487801_564"/>
          <end xmi:id="_11_5_52bb0822_1158864964452_463864_716" partWithPort="_10_0_21c011f_1130903494931_772705_677" role="_10_0_21c011f_1131336434508_6541_788"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158864968858_186629_734" name="" visibility="public" kind="assembly">
          <end xmi:id="_11_5_52bb0822_1158864968858_745324_735" partWithPort="_10_0_21c011f_1130903468684_851026_649" role="_11_5_52bb0822_1158863248021_637162_565"/>
          <end xmi:id="_11_5_52bb0822_1158864968858_937446_736" partWithPort="_10_0_21c011f_1130903494931_772705_677" role="_10_0_21c011f_1131336478822_921634_814"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158864973655_659445_754" name="" visibility="public" kind="assembly">
          <end xmi:id="_11_5_52bb0822_1158864973655_156560_755" partWithPort="_10_0_21c011f_1130903468684_851026_649" role="_11_5_52bb0822_1158863256114_953559_566"/>
          <end xmi:id="_11_5_52bb0822_1158864973655_505785_756" partWithPort="_10_0_21c011f_1130903494931_772705_677" role="_10_0_21c011f_1131336520392_103090_840"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158864978077_431410_774" name="" visibility="public" kind="assembly">
          <end xmi:id="_11_5_52bb0822_1158864978077_31104_775" partWithPort="_10_0_21c011f_1130903468684_851026_649" role="_11_5_52bb0822_1158863264567_48687_567"/>
          <end xmi:id="_11_5_52bb0822_1158864978077_680476_776" partWithPort="_10_0_21c011f_1130903494931_772705_677" role="_10_0_21c011f_1131337072836_471016_928"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158864982702_884433_794" name="" visibility="public" kind="assembly">
          <end xmi:id="_11_5_52bb0822_1158864982702_191334_795" partWithPort="_10_0_21c011f_1130903468684_851026_649" role="_11_5_52bb0822_1158863272051_683109_568"/>
          <end xmi:id="_11_5_52bb0822_1158864982702_522065_796" partWithPort="_10_0_21c011f_1130903494931_772705_677" role="_10_0_21c011f_1131337115668_259786_934"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158949666675_230443_190" name="" visibility="public" kind="assembly">
          <end xmi:id="_11_5_52bb0822_1158949666675_213204_191" partWithPort="_10_0_21c011f_1130903483695_454891_663" role="_10_0_21c011f_1131308078982_53577_418"/>
          <end xmi:id="_11_5_52bb0822_1158949666675_908947_192" partWithPort="_10_0_21c011f_1130903504746_26665_691" role="_10_0_21c011f_1131333156054_492897_75"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158949672926_316219_210" name="" visibility="public" kind="assembly">
          <end xmi:id="_11_5_52bb0822_1158949672926_309050_211" partWithPort="_10_0_21c011f_1130903483695_454891_663" role="_10_0_21c011f_1131308122164_952310_424"/>
          <end xmi:id="_11_5_52bb0822_1158949672926_212444_212" partWithPort="_10_0_21c011f_1130903504746_26665_691" role="_10_0_21c011f_1131333220527_976505_78"/>
        </ownedConnector>
        <ownedConnector xmi:id="_11_5_52bb0822_1158949678051_423192_230" name="" visibility="public" kind="assembly">
          <end xmi:id="_11_5_52bb0822_1158949678051_932983_231" partWithPort="_10_0_21c011f_1130903494931_772705_677" role="_10_0_21c011f_1131335910124_445324_614"/>
          <end xmi:id="_11_5_52bb0822_1158949678051_939942_232" partWithPort="_10_0_21c011f_1130903504746_26665_691" role="_10_0_21c011f_1131333258361_188713_81"/>
        </ownedConnector>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1131396280494_880027_1" name="User" isAbstract="true">
        <generalization xmi:id="_10_0_21c011f_1131396361080_219743_20" isSubstitutable="false" general="_10_0_21c011f_1130901833542_7045_5"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131337694720_836204_1064" name="bFlUp" visibility="public" type="_10_0_21c011f_1131299731649_365007_122" aggregation="composite" isBehavior="true" isService="false">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_10_0_21c011f_1131337764150_500272_1070" name="" value="8"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_10_0_21c011f_1131337764150_103616_1069" name="" value="8"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131337784099_647901_1092" name="bFlDown" visibility="public" type="_11_5_52bb0822_1158788492981_886421_251" aggregation="composite" isBehavior="true" isService="false">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_11_5_52bb0822_1158864581116_97006_602" name="" value="8"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1158864581116_566885_601" name="" value="8"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131337858176_185344_1118" name="bFloor" visibility="public" type="_11_5_52bb0822_1158788506763_580967_274" aggregation="composite" isBehavior="true" isService="false">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_10_0_21c011f_1131337929829_69738_1124" name="" value="16"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_10_0_21c011f_1131337929829_304487_1123" name="" value="16"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131338005287_666831_1146" name="iFloor" visibility="public" type="_10_0_21c011f_1131310270944_98363_541" aggregation="composite" isBehavior="true" isService="false">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_10_0_21c011f_1131338047047_613958_1152" name="" value="2"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_10_0_21c011f_1131338047037_386611_1151" name="" value="2"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131338240485_881856_1174" name="bOpen" visibility="public" type="_11_5_52bb0822_1158788515232_774856_297" aggregation="composite" isBehavior="true" isService="false">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_10_0_21c011f_1131338283307_301266_1180" name="" value="2"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_10_0_21c011f_1131338283307_60422_1179" name="" value="2"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131338318037_962813_1202" name="bClose" visibility="public" type="_11_5_52bb0822_1158788595810_44047_320" aggregation="composite" isBehavior="true" isService="false">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_10_0_21c011f_1131338336553_937886_1208" name="" value="2"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_10_0_21c011f_1131338336553_622837_1207" name="" value="2"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131338440633_191024_1258" name="doorControl" visibility="public" type="_10_0_21c011f_1131303034088_596984_164" aggregation="composite" isBehavior="true" isService="false">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_10_0_21c011f_1131338484356_745163_1264" name="" value="2"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_10_0_21c011f_1131338484356_41398_1263" name="" value="2"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_10_0_21c011f_1131338509582_756681_1286" name="elevatorDispatch" visibility="public" type="_10_0_21c011f_1131303060536_689304_200" aggregation="composite" isBehavior="true" isService="false">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_10_0_21c011f_1131338550211_805592_1292" name="" value="2"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_10_0_21c011f_1131338550211_1384_1291" name="" value="2"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1131396292451_266115_2" name="UserJTree">
        <generalization xmi:id="_10_0_21c011f_1131396436769_214209_49" isSubstitutable="false" general="_10_0_21c011f_1131396280494_880027_1"/>
        <ownedAttribute xmi:id="_10_0_21c011f_1131397612900_26999_225" name="Press_Button" visibility="private" type="_10_0_21c011f_1131396719445_114207_60" aggregation="composite">
          <ownedComment xmi:id="_11_5_52bb0822_1158782830458_904475_148" annotatedElement="_10_0_21c011f_1131397612900_26999_225">
            <body>8 + 8 + 16 + 2 + 2 + 2 + 2 +2 = 42
2 elevators and 8 floors:
  8 FloorUp
  8 FloorDown
  16 Floor
  2 LocationInfo
  2 OpenDoor
  2 CloseDoor
  2 DoorControl
  2 ElevatorDispatch
</body>
          </ownedComment>
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_11_5_52bb0822_1159366995087_249177_118" name="" value="46"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1159366995087_557404_117" name="" value="46"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1159367168081_315470_120" name="selectedInjectButton" visibility="protected" isStatic="true">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1159367224834_415662_123" name="" value="-1"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1159880868781_129886_190" name="testScenario" visibility="private" isStatic="true">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1159880922203_676486_192" name="" value="101"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_11_5_52bb0822_1158863206537_316298_561" name="bFlUp" visibility="public" type="_10_0_21c011f_1131299731649_365007_122" aggregation="composite" isBehavior="true" isService="false">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_11_5_52bb0822_1158864717113_242356_610" name="" value="8"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1158864717113_582214_609" name="" value="8"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_11_5_52bb0822_1158863219928_308890_562" name="bFlDown" visibility="public" type="_11_5_52bb0822_1158788492981_886421_251" aggregation="composite" isBehavior="true" isService="false">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_11_5_52bb0822_1158864699270_369487_606" name="" value="8"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1158864699270_543299_605" name="" value="8"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_11_5_52bb0822_1158863231599_992470_563" name="bFloor" visibility="public" type="_11_5_52bb0822_1158788506763_580967_274" aggregation="composite" isBehavior="true" isService="false">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_11_5_52bb0822_1158864708238_460944_608" name="" value="16"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1158864708238_45809_607" name="" value="16"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_11_5_52bb0822_1158863239037_487801_564" name="iFloor" visibility="public" type="_11_5_52bb0822_1158865868066_484137_816" aggregation="composite" isBehavior="true" isService="false">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_11_5_52bb0822_1158864754581_492849_618" name="" value="2"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1158864754581_727143_617" name="" value="2"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_11_5_52bb0822_1158863248021_637162_565" name="bOpen" visibility="public" type="_11_5_52bb0822_1158788515232_774856_297" aggregation="composite" isBehavior="true" isService="false">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_11_5_52bb0822_1158864726769_101525_612" name="" value="2"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1158864726769_647381_611" name="" value="2"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_11_5_52bb0822_1158863256114_953559_566" name="bClose" visibility="public" type="_11_5_52bb0822_1158788595810_44047_320" aggregation="composite" isBehavior="true" isService="false">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_11_5_52bb0822_1158864687364_100781_604" name="" value="2"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1158864687364_337308_603" name="" value="2"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_11_5_52bb0822_1158863264567_48687_567" name="doorControl" visibility="public" type="_10_0_21c011f_1131303034088_596984_164" aggregation="composite" isBehavior="true" isService="false">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_11_5_52bb0822_1158864740503_663160_614" name="" value="2"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1158864740503_383151_613" name="" value="2"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_11_5_52bb0822_1158863272051_683109_568" name="elevatorDispatch" visibility="public" type="_10_0_21c011f_1131303060536_689304_200" aggregation="composite" isBehavior="true" isService="false">
          <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_11_5_52bb0822_1158864748269_69040_616" name="" value="2"/>
          <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1158864748269_423148_615" name="" value="2"/>
        </ownedAttribute>
        <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_11_5_52bb0822_1159973145875_551680_158" name="Scenario102" submachineState="_11_5_52bb0822_1159973645359_984842_350">
          <region xmi:id="_11_5_52bb0822_1159973145875_317316_159" name="" visibility="public">
            <subvertex xmi:type="uml:State" xmi:id="_11_5_52bb0822_1159973263984_9105_191" name="Submachine_Scenario102" visibility="public">
              <connectionPoint xmi:id="_11_5_52bb0822_1159973275562_421283_207" name="" visibility="public" kind="entryPoint"/>
              <region xmi:id="_11_5_52bb0822_1159973263984_793082_192" name="" visibility="public">
                <subvertex xmi:type="uml:State" xmi:id="_11_5_52bb0822_1159973280484_313992_213" name="Ready" visibility="public"/>
                <transition xmi:id="_11_5_52bb0822_1159986660156_963309_2" name="Scen102_1" visibility="public" target="_11_5_52bb0822_1159973280484_313992_213" source="_11_5_52bb0822_1159973280484_313992_213">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159986835281_64465_39" name="">
                    <body>println(&quot;&lt;--- close door&quot;);&#xA;msg.getSender().sendMessage(SIN_DOOR_CLOSED, null, this, msg.getIndex());</body>
                  </effect>
                  <trigger xmi:id="_11_5_52bb0822_1159986823203_52824_38" name="" visibility="public" event="_11_5_52bb0822_1159986823203_823049_37"/>
                </transition>
                <transition xmi:id="_11_5_52bb0822_1159986744796_329247_14" name="Scen102_2" visibility="public" target="_11_5_52bb0822_1159973280484_313992_213" source="_11_5_52bb0822_1159973280484_313992_213">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159986864187_30853_42" name="">
                    <body>println(&quot;&lt;--- open door&quot;);&#xA;msg.getSender().sendMessage(SIN_DOOR_OPENED, null, this, msg.getIndex());</body>
                  </effect>
                  <trigger xmi:id="_11_5_52bb0822_1159986852125_30785_41" name="" visibility="public" event="_11_5_52bb0822_1159986852125_577802_40"/>
                </transition>
                <transition xmi:id="_11_5_52bb0822_1159986766515_691380_26" name="Scen102_3" visibility="public" target="_11_5_52bb0822_1159973280484_313992_213" source="_11_5_52bb0822_1159973280484_313992_213">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159986897640_559170_45" name="">
                    <body>println(&quot;&lt;--- move to floor &quot; + (Integer)msg.getData());&#xA;msg.getSender().sendMessage(SIN_IS_AT, (Integer)msg.getData(), this, msg.getIndex());&#xA;println(&quot;---> elevator &quot; + (msg.getIndex()+1) + &quot; has moved to floor &quot; + msg.getData());</body>
                  </effect>
                  <trigger xmi:id="_11_5_52bb0822_1159986885375_138298_44" name="" visibility="public" event="_11_5_52bb0822_1159986885375_688434_43"/>
                </transition>
              </region>
            </subvertex>
            <transition xmi:id="_11_5_52bb0822_1159973290328_520699_227" name="" visibility="public" target="_11_5_52bb0822_1159973280484_313992_213" source="_11_5_52bb0822_1159973275562_421283_207">
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159987446531_701144_166" name="">
                <body>// for this scenario to work, all elevator doors should be closed&#xA;port[PushbuttonMessages7].sendMessage(SIN_REQUESTED, null, this, 0);&#xA;port[PushbuttonMessages7].sendMessage(SIN_REQUESTED, null, this, 1);</body>
              </effect>
            </transition>
          </region>
        </ownedBehavior>
        <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_11_5_52bb0822_1159973181765_830903_180" name="OtherScenario" submachineState="_11_5_52bb0822_1159974032562_733384_399">
          <region xmi:id="_11_5_52bb0822_1159973181765_259864_181" name="" visibility="public">
            <subvertex xmi:type="uml:State" xmi:id="_11_5_52bb0822_1159973565234_839021_292" name="Submachine_OtherScenario" visibility="public">
              <connectionPoint xmi:id="_11_5_52bb0822_1159973565234_943961_294" name="" visibility="public" kind="entryPoint"/>
              <region xmi:id="_11_5_52bb0822_1159973565234_855644_296" name="" visibility="public">
                <subvertex xmi:type="uml:State" xmi:id="_11_5_52bb0822_1159973565234_888586_293" name="Ready" visibility="public"/>
              </region>
            </subvertex>
            <transition xmi:id="_11_5_52bb0822_1159973565234_115585_295" name="" visibility="public" target="_11_5_52bb0822_1159973565234_888586_293" source="_11_5_52bb0822_1159973565234_943961_294">
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159975567265_218778_421" name="">
                <body>switch(testScenario) {&#xA;case 1:&#xA;  // press bUp:CallButton on floor 1&#xA;  port[PushbuttonMessages0].sendMessage(SIN_REQUESTED, null, this, 0);&#xA;  break;&#xA;case 2:&#xA;  // press bDown:CallButton on floor 8&#xA;  port[PushbuttonMessages4].sendMessage(SIN_REQUESTED, null, this, 7);&#xA;  break;&#xA;case 3:&#xA;  // press bFloor:FloorSelectionButton 2 in ElevatorPanel of Elevator 1&#xA;  port[PushbuttonMessages5].sendMessage(SIN_REQUESTED, null, this, 1);&#xA;  break;&#xA;case 4:&#xA;  // press iFloor:Indicator in ElevatorPanel of Elevator 1&#xA;  // signals not yet defined for this port&#xA;  port[LocationInfo1].sendMessage(org.primordion.xholon.base.ISignal.SIGNAL_DUMMY, null, this, 1);&#xA;  break;&#xA;case 5:&#xA;case 6:&#xA;case 7:&#xA;  // manipulate the door in Elevator 1&#xA;  port[PushbuttonMessages7].sendMessage(SIN_REQUESTED, null, this, 0);&#xA;  port[DoorControl3].sendMessage(SIN_DOOR_CLOSED, null, this, 0);&#xA;  port[PushbuttonMessages6].sendMessage(SIN_REQUESTED, null, this, 0);&#xA;  port[DoorControl3].sendMessage(SIN_DOOR_OPENED, null, this, 0);&#xA;  break;&#xA;case 8:&#xA;  // tell hoist that the elevator is at floor 5&#xA;  port[ElevatorDispatch2].sendMessage(SIN_IS_AT, new Integer(5), this, 0);&#xA;  break;&#xA;default:&#xA;  break;&#xA;} // end switch</body>
              </effect>
            </transition>
          </region>
        </ownedBehavior>
        <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_11_5_52bb0822_1159973163921_902750_169" name="Scenario103" submachineState="_11_5_52bb0822_1159973920375_102767_376">
          <region xmi:id="_11_5_52bb0822_1159973163921_565539_170" name="" visibility="public">
            <subvertex xmi:type="uml:State" xmi:id="_11_5_52bb0822_1159973407218_428059_238" name="Submachine_Scenario103" visibility="public">
              <connectionPoint xmi:id="_11_5_52bb0822_1159973407234_230209_240" name="" visibility="public" kind="entryPoint"/>
              <region xmi:id="_11_5_52bb0822_1159973407234_648888_242" name="" visibility="public">
                <subvertex xmi:type="uml:State" xmi:id="_11_5_52bb0822_1159973407234_871234_239" name="Ready" visibility="public"/>
              </region>
            </subvertex>
            <transition xmi:id="_11_5_52bb0822_1159973407234_14314_241" name="" visibility="public" target="_11_5_52bb0822_1159973407234_871234_239" source="_11_5_52bb0822_1159973407234_230209_240"/>
          </region>
        </ownedBehavior>
        <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_11_5_52bb0822_1159884171406_20308_249" name="Scenario101" submachineState="_11_5_52bb0822_1159884527765_21638_309">
          <region xmi:id="_11_5_52bb0822_1159884171406_232715_250" name="" visibility="public">
            <subvertex xmi:type="uml:State" xmi:id="_11_5_52bb0822_1159884232234_559922_260" name="Submachine_Scenario101" visibility="public">
              <connectionPoint xmi:id="_11_5_52bb0822_1159884356859_621564_277" name="" visibility="public" kind="entryPoint"/>
              <region xmi:id="_11_5_52bb0822_1159884232234_163391_261" name="" visibility="public">
                <subvertex xmi:type="uml:State" xmi:id="_11_5_52bb0822_1159884418640_631323_283" name="FloorRequestSent" visibility="public"/>
                <subvertex xmi:type="uml:State" xmi:id="_11_5_52bb0822_1159897911406_597495_332" name="AckReceived" visibility="public"/>
                <subvertex xmi:type="uml:State" xmi:id="_11_5_52bb0822_1159921758595_728579_436" name="MoveToFloorNReceived" visibility="public"/>
                <subvertex xmi:type="uml:State" xmi:id="_11_5_52bb0822_1159923211407_828139_494" name="RequestSatisfiedReceived" visibility="public"/>
                <transition xmi:id="_11_5_52bb0822_1159898294125_567648_348" name="CNPT_OUTGOING1" visibility="public" guard="_11_5_52bb0822_1159905891953_92631_404" target="_11_5_52bb0822_1159897911406_597495_332" source="_11_5_52bb0822_1159884418640_631323_283">
                  <ownedRule xmi:id="_11_5_52bb0822_1159905891953_92631_404" name="unnamed20">
                    <specification xmi:type="uml:OpaqueExpression" xmi:id="_11_5_52bb0822_1159905891953_968612_405" name="">
                      <language>Java</language>
                      <body>msg.getSender() == port[PushbuttonMessages0]</body>
                    </specification>
                  </ownedRule>
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159898363468_390798_361" name="">
                    <body>println(&quot;&lt;--- ack&quot;);</body>
                  </effect>
                  <trigger xmi:id="_11_5_52bb0822_1159898334953_918913_360" name="" visibility="public" event="_11_5_52bb0822_1159898334953_1214_359"/>
                </transition>
                <transition xmi:id="_11_5_52bb0822_1159921799454_942702_450" name="CNPT_OUTGOING1" visibility="public" target="_11_5_52bb0822_1159921758595_728579_436" source="_11_5_52bb0822_1159897911406_597495_332">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159921865407_827459_463" name="">
                    <body>println(&quot;&lt;--- move to floor &quot; + (Integer)msg.getData());&#xA;msg.getSender().sendMessage(SIN_IS_AT, (Integer)msg.getData(), this, msg.getIndex());&#xA;println(&quot;---> elevator &quot; + (msg.getIndex()+1) + &quot; has moved to floor &quot; + msg.getData());</body>
                  </effect>
                  <trigger xmi:id="_11_5_52bb0822_1159921842064_692145_462" name="" visibility="public" event="_11_5_52bb0822_1159921842064_743385_461"/>
                </transition>
                <transition xmi:id="_11_5_52bb0822_1159922359860_617459_478" name="CNPT_OUTGOING1" visibility="public" target="_11_5_52bb0822_1159921758595_728579_436" source="_11_5_52bb0822_1159921758595_728579_436">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159922408954_898105_491" name="">
                    <body>println(&quot;&lt;--- move to floor &quot; + (Integer)msg.getData());&#xA;msg.getSender().sendMessage(SIN_IS_AT, (Integer)msg.getData(), this, msg.getIndex());&#xA;println(&quot;---> elevator &quot; + (msg.getIndex()+1) + &quot; has moved to floor &quot; + msg.getData());</body>
                  </effect>
                  <trigger xmi:id="_11_5_52bb0822_1159922397876_26024_490" name="" visibility="public" event="_11_5_52bb0822_1159922397876_620798_489"/>
                </transition>
                <transition xmi:id="_11_5_52bb0822_1159923233657_910784_508" name="CNPT_OUTGOING2" visibility="public" guard="_11_5_52bb0822_1159923374892_385863_522" target="_11_5_52bb0822_1159923211407_828139_494" source="_11_5_52bb0822_1159921758595_728579_436">
                  <ownedRule xmi:id="_11_5_52bb0822_1159923374892_385863_522" name="unnamed22">
                    <specification xmi:type="uml:OpaqueExpression" xmi:id="_11_5_52bb0822_1159923374892_313153_523" name="">
                      <language>Java</language>
                      <body>msg.getSender() == port[PushbuttonMessages0]</body>
                    </specification>
                  </ownedRule>
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159923279470_877066_521" name="">
                    <body>println(&quot;&lt;--- floor request satisfied &quot; + msg.getIndex());&#xA;// press button to go to floor 7&#xA;port[PushbuttonMessages5].sendMessage(SIN_REQUESTED, null, this, 6);&#xA;println(&quot;---> I want to go to floor 7&quot;);&#xA;// request that door be closed&#xA;port[PushbuttonMessages7].sendMessage(SIN_REQUESTED, null, this, 0);&#xA;println(&quot;---> I am pressing the door close button&quot;);</body>
                  </effect>
                  <trigger xmi:id="_11_5_52bb0822_1159923260610_815262_520" name="" visibility="public" event="_11_5_52bb0822_1159923260610_830019_519"/>
                </transition>
                <transition xmi:id="_11_5_52bb0822_1159967430000_247458_123" name="CNPT_OUTGOING1" visibility="public" target="_11_5_52bb0822_1159923211407_828139_494" source="_11_5_52bb0822_1159923211407_828139_494">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159967483781_557591_136" name="">
                    <body>println(&quot;&lt;--- move to floor &quot; + (Integer)msg.getData());&#xA;msg.getSender().sendMessage(SIN_IS_AT, (Integer)msg.getData(), this, msg.getIndex());&#xA;println(&quot;---> elevator &quot; + (msg.getIndex()+1) + &quot; has moved to floor &quot; + msg.getData());</body>
                  </effect>
                  <trigger xmi:id="_11_5_52bb0822_1159967470546_760559_135" name="" visibility="public" event="_11_5_52bb0822_1159967470546_695699_134"/>
                </transition>
                <transition xmi:id="_11_5_52bb0822_1159977311531_539207_441" name="InternalTransition2" visibility="public" kind="internal" target="_11_5_52bb0822_1159884232234_559922_260" source="_11_5_52bb0822_1159884232234_559922_260">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159977356062_589900_443" name="">
                    <body>println(&quot;&lt;--- close door&quot;);&#xA;msg.getSender().sendMessage(SIN_DOOR_CLOSED, null, this, msg.getIndex());</body>
                  </effect>
                  <trigger xmi:id="_11_5_52bb0822_1159977546406_143774_445" name="" visibility="public" event="_11_5_52bb0822_1159977546406_515208_444"/>
                </transition>
                <transition xmi:id="_11_5_52bb0822_1159981099015_217155_447" name="InternalTransition3" visibility="public" kind="internal" target="_11_5_52bb0822_1159884232234_559922_260" source="_11_5_52bb0822_1159884232234_559922_260">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159981132953_960170_451" name="">
                    <body>println(&quot;&lt;--- open door&quot;);&#xA;msg.getSender().sendMessage(SIN_DOOR_OPENED, null, this, msg.getIndex());</body>
                  </effect>
                  <trigger xmi:id="_11_5_52bb0822_1159981113796_773304_450" name="" visibility="public" event="_11_5_52bb0822_1159981113796_387953_449"/>
                </transition>
              </region>
            </subvertex>
            <transition xmi:id="_11_5_52bb0822_1159884463390_354673_297" name="" visibility="public" target="_11_5_52bb0822_1159884418640_631323_283" source="_11_5_52bb0822_1159884356859_621564_277">
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159898085843_34116_345" name="">
                <body>// for this scenario to work, all elevator doors should be closed&#xA;port[PushbuttonMessages7].sendMessage(SIN_REQUESTED, null, this, 0);&#xA;port[PushbuttonMessages7].sendMessage(SIN_REQUESTED, null, this, 1);&#xA;// a person is on floor 5, requesting to go up&#xA;port[PushbuttonMessages0].sendMessage(SIN_REQUESTED, null, this, 4);&#xA;println(&quot;---> I am on floor 5, and would like to go up&quot;);&#xA;</body>
              </effect>
            </transition>
            <transition xmi:id="_11_5_52bb0822_1159898934546_719141_364" name="Any1" visibility="public" target="_11_5_52bb0822_1159884232234_559922_260" source="_11_5_52bb0822_1159884232234_559922_260">
              <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159899186015_512007_377" name="">
                <body>println(&quot;&lt;-ANY- &quot; + msg);</body>
              </effect>
              <trigger xmi:id="_11_5_52bb0822_1159898982015_221505_376" name="" visibility="public" event="_11_5_52bb0822_1159898982015_918141_375"/>
            </transition>
          </region>
        </ownedBehavior>
        <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_11_5_52bb0822_1158792864709_976327_119" name="StateMachine_UserJTree">
          <region xmi:id="_11_5_52bb0822_1158792864709_329925_120" name="" visibility="public">
            <subvertex xmi:type="uml:State" xmi:id="_11_5_52bb0822_1158811662953_27301_121" name="StateMachine_UserJTree" visibility="public">
              <region xmi:id="_11_5_52bb0822_1158811662953_57568_122" name="" visibility="public">
                <subvertex xmi:type="uml:Pseudostate" xmi:id="_11_5_52bb0822_1158945464907_839929_118" name="" visibility="public"/>
                <subvertex xmi:type="uml:Pseudostate" xmi:id="_11_5_52bb0822_1159879530937_488837_2" name="whichTestScenario" visibility="public" kind="choice"/>
                <subvertex xmi:type="uml:State" xmi:id="_11_5_52bb0822_1159884527765_21638_309" name="scenario101" visibility="public" submachine="_11_5_52bb0822_1159884171406_20308_249">
                  <connection xmi:id="_11_5_52bb0822_1159884782015_565696_323" name="" visibility="public" entry="_11_5_52bb0822_1159884356859_621564_277"/>
                </subvertex>
                <subvertex xmi:type="uml:State" xmi:id="_11_5_52bb0822_1159973645359_984842_350" name="scenario102" visibility="public" submachine="_11_5_52bb0822_1159973145875_551680_158">
                  <connection xmi:id="_11_5_52bb0822_1159973755500_568982_367" name="" visibility="public" entry="_11_5_52bb0822_1159973275562_421283_207"/>
                </subvertex>
                <subvertex xmi:type="uml:State" xmi:id="_11_5_52bb0822_1159973920375_102767_376" name="scenario103" visibility="public" submachine="_11_5_52bb0822_1159973163921_902750_169">
                  <connection xmi:id="_11_5_52bb0822_1159973950515_927235_390" name="" visibility="public" entry="_11_5_52bb0822_1159973407234_230209_240"/>
                </subvertex>
                <subvertex xmi:type="uml:State" xmi:id="_11_5_52bb0822_1159974032562_733384_399" name="otherScenario" visibility="public" submachine="_11_5_52bb0822_1159973181765_830903_180">
                  <connection xmi:id="_11_5_52bb0822_1159974059031_500838_413" name="" visibility="public" entry="_11_5_52bb0822_1159973565234_943961_294"/>
                </subvertex>
                <transition xmi:id="_11_5_52bb0822_1159879548515_889705_7" name="" visibility="public" target="_11_5_52bb0822_1159879530937_488837_2" source="_11_5_52bb0822_1158945464907_839929_118">
                  <effect xmi:type="uml:OpaqueBehavior" xmi:id="_11_5_52bb0822_1159879548515_210894_8" name="">
                    <body>// set roleName for each UserInject button&#xA;IXholon node = getFirstChild();&#xA;int buttonCount = 0;&#xA;while (node != null) {&#xA;  if (node.getXhcId() == UserInjectCE) {&#xA;    switch(buttonCount) {&#xA;    // PushbuttonMessages0 bFlUp&#xA;    case 0: node.setRoleName(&quot;f1_Up&quot;); break;&#xA;    case 1: node.setRoleName(&quot;f2_Up&quot;); break;&#xA;    case 2: node.setRoleName(&quot;f3_Up&quot;); break;&#xA;    case 3: node.setRoleName(&quot;f4_Up&quot;); break;&#xA;    case 4: node.setRoleName(&quot;f5_Up&quot;); break;&#xA;    case 5: node.setRoleName(&quot;f6_Up&quot;); break;&#xA;    case 6: node.setRoleName(&quot;f7_Up&quot;); break;&#xA;    case 7: node.setRoleName(&quot;f8_Up&quot;); break;&#xA;    // PushbuttonMessages4 bFlDown&#xA;    case 8: node.setRoleName(&quot;fl1_Down&quot;); break;&#xA;    case 9: node.setRoleName(&quot;fl2_Down&quot;); break;&#xA;    case 10: node.setRoleName(&quot;fl3_Down&quot;); break;&#xA;    case 11: node.setRoleName(&quot;fl4_Down&quot;); break;&#xA;    case 12: node.setRoleName(&quot;fl5_Down&quot;); break;&#xA;    case 13: node.setRoleName(&quot;fl6_Down&quot;); break;&#xA;    case 14: node.setRoleName(&quot;fl7_Down&quot;); break;&#xA;    case 15: node.setRoleName(&quot;fl8_Down&quot;); break;&#xA;    // PushbuttonMessages5 bFloor&#xA;    case 16: node.setRoleName(&quot;e1_f1_Select&quot;); break;&#xA;    case 17: node.setRoleName(&quot;e1_f2_Select&quot;); break;&#xA;    case 18: node.setRoleName(&quot;e1_f3_Select&quot;); break;&#xA;    case 19: node.setRoleName(&quot;e1_f4_Select&quot;); break;&#xA;    case 20: node.setRoleName(&quot;e1_f5_Select&quot;); break;&#xA;    case 21: node.setRoleName(&quot;e1_f6_Select&quot;); break;&#xA;    case 22: node.setRoleName(&quot;e1_f7_Select&quot;); break;&#xA;    case 23: node.setRoleName(&quot;e1_f8_Select&quot;); break;&#xA;    case 24: node.setRoleName(&quot;e2_f1_Select&quot;); break;&#xA;    case 25: node.setRoleName(&quot;e2_f2_Select&quot;); break;&#xA;    case 26: node.setRoleName(&quot;e2_f3_Select&quot;); break;&#xA;    case 27: node.setRoleName(&quot;e2_f4_Select&quot;); break;&#xA;    case 28: node.setRoleName(&quot;e2_f5_Select&quot;); break;&#xA;    case 29: node.setRoleName(&quot;e2_f6_Select&quot;); break;&#xA;    case 30: node.setRoleName(&quot;e2_f7_Select&quot;); break;&#xA;    case 31: node.setRoleName(&quot;e2_f8_Select&quot;); break;&#xA;    // LocationInfo1 iFloor&#xA;    case 32: node.setRoleName(&quot;e1_Location&quot;); break;&#xA;    case 33: node.setRoleName(&quot;e2_Location&quot;); break;&#xA;    // PushbuttonMessages6 bOpen&#xA;    case 34: node.setRoleName(&quot;e1_door_Open&quot;); break;&#xA;    case 35: node.setRoleName(&quot;e2_door_Open&quot;); break;&#xA;    // PushbuttonMessages7 bClose&#xA;    case 36: node.setRoleName(&quot;e1_door_Close&quot;); break;&#xA;    case 37: node.setRoleName(&quot;e2_door_Close&quot;); break;&#xA;    // DoorControl3 doorControl&#xA;    case 38: node.setRoleName(&quot;e1_door_Opened&quot;); break;&#xA;    case 39: node.setRoleName(&quot;e1_door_Closed&quot;); break;&#xA;    case 40: node.setRoleName(&quot;e2_door_Opened&quot;); break;&#xA;    case 41: node.setRoleName(&quot;e2_door_Closed&quot;); break;&#xA;    // ElevatorDispatch2 elevatorDispatch&#xA;    case 42: node.setRoleName(&quot;e1_hoist_IsAt_5&quot;); break;&#xA;    case 43: node.setRoleName(&quot;e1_hoist_IsAt_6&quot;); break;&#xA;    case 44: node.setRoleName(&quot;e2_hoist_IsReadyNoDest&quot;); break;&#xA;    case 45: node.setRoleName(&quot;e2_hoist_IsReadyDest&quot;); break;&#xA;    default: node.setRoleName(&quot;unnamed&quot;); break;&#xA;    }&#xA;    buttonCount++;&#xA;  }&#xA;  node = node.getNextSibling();&#xA;}&#xA;</body>
                  </effect>
                </transition>
                <transition xmi:id="_11_5_52bb0822_1159884804484_618577_328" name="sc1" visibility="public" guard="_11_5_52bb0822_1159884804484_949382_329" target="_11_5_52bb0822_1159884782015_565696_323" source="_11_5_52bb0822_1159879530937_488837_2">
                  <ownedRule xmi:id="_11_5_52bb0822_1159884804484_949382_329" name="unnamed16">
                    <specification xmi:type="uml:OpaqueExpression" xmi:id="_11_5_52bb0822_1159884804484_600023_330" name="">
                      <language>Java</language>
                      <body>getTestScenario() == 101</body>
                    </specification>
                  </ownedRule>
                </transition>
                <transition xmi:id="_11_5_52bb0822_1159973772578_318002_372" name="sc2" visibility="public" guard="_11_5_52bb0822_1159973772578_731782_373" target="_11_5_52bb0822_1159973755500_568982_367" source="_11_5_52bb0822_1159879530937_488837_2">
                  <ownedRule xmi:id="_11_5_52bb0822_1159973772578_731782_373" name="unnamed17">
                    <specification xmi:type="uml:OpaqueExpression" xmi:id="_11_5_52bb0822_1159973772578_51589_374" name="">
                      <language>Java</language>
                      <body>getTestScenario() == 102</body>
                    </specification>
                  </ownedRule>
                </transition>
                <transition xmi:id="_11_5_52bb0822_1159973967421_616431_395" name="sc3" visibility="public" guard="_11_5_52bb0822_1159973967421_71025_396" target="_11_5_52bb0822_1159973950515_927235_390" source="_11_5_52bb0822_1159879530937_488837_2">
                  <ownedRule xmi:id="_11_5_52bb0822_1159973967421_71025_396" name="unnamed18">
                    <specification xmi:type="uml:OpaqueExpression" xmi:id="_11_5_52bb0822_1159973967421_98389_397" name="">
                      <language>Java</language>
                      <body>getTestScenario() == 103</body>
                    </specification>
                  </ownedRule>
                </transition>
                <transition xmi:id="_11_5_52bb0822_1159974095437_142254_418" name="sc4" visibility="public" guard="_11_5_52bb0822_1159974095437_828714_419" target="_11_5_52bb0822_1159974059031_500838_413" source="_11_5_52bb0822_1159879530937_488837_2">
                  <ownedRule xmi:id="_11_5_52bb0822_1159974095437_828714_419" name="unnamed19">
                    <specification xmi:type="uml:OpaqueExpression" xmi:id="_11_5_52bb0822_1159974095437_597104_420" name="">
                      <language>Java</language>
                      <body>else</body>
                    </specification>
                  </ownedRule>
                </transition>
              </region>
            </subvertex>
          </region>
        </ownedBehavior>
        <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_82zBMDlQEdy5E9cZCfOcEw" specification="_11_5_52bb0822_1158789527035_637196_548">
          <name xsi:nil="true"/>
          <language>Java</language>
          <body>&#x9;&#x9;if (selectedInjectButton != -1) {&#xA;&#x9;&#x9;  switch (selectedInjectButton) {&#xA;&#xA;&#x9;&#x9;  // PushbuttonMessages0 bFlUp&#xA;&#x9;&#x9;  case 0: case 1: case 2: case 3: case 4: case 5: case 6: case 7:&#xA;&#x9;&#x9;    port[PushbuttonMessages0].sendMessage(SIN_REQUESTED, null, this, selectedInjectButton); break;&#xA;&#xA;&#x9;&#x9;  // PushbuttonMessages4 bFlDown&#xA;&#x9;&#x9;  case 8: case 9: case 10: case 11: case 12: case 13: case 14: case 15:&#xA;&#x9;&#x9;    port[PushbuttonMessages4].sendMessage(SIN_REQUESTED, null, this, selectedInjectButton-8); break;&#xA;&#xA;&#x9;&#x9;  // PushbuttonMessages5 bFloor&#xA;&#x9;&#x9;  case 16: case 17: case 18: case 19: case 20: case 21: case 22: case 23:&#xA;&#x9;&#x9;  case 24: case 25: case 26: case 27: case 28: case 29: case 30: case 31:&#xA;&#x9;&#x9;    port[PushbuttonMessages5].sendMessage(SIN_REQUESTED, null, this, selectedInjectButton-16); break;&#xA;&#xA;&#x9;&#x9;  // LocationInfo iFloor&#xA;&#x9;&#x9;  case 32: case 33:&#xA;&#x9;&#x9;    // do nothing; no signals defined yet for LocationInfo&#xA;&#x9;&#x9;    break;&#xA;&#xA;&#x9;&#x9;  // PushbuttonMessages6 bOpen&#xA;&#x9;&#x9;  case 34: case 35:&#xA;&#x9;&#x9;    port[PushbuttonMessages6].sendMessage(SIN_REQUESTED, null, this, selectedInjectButton-34); break;&#xA;&#xA;&#x9;&#x9;  // PushbuttonMessages7 bClose&#xA;&#x9;&#x9;  case 36: case 37:&#xA;&#x9;&#x9;    port[PushbuttonMessages7].sendMessage(SIN_REQUESTED, null, this, selectedInjectButton-36); break;&#xA;&#xA;&#x9;&#x9;  // DoorControl3 doorControl&#xA;&#x9;&#x9;  case 38:&#xA;&#x9;&#x9;    port[DoorControl3].sendMessage(SIN_DOOR_OPENED, null, this, 0); break;&#xA;&#x9;&#x9;  case 39:&#xA;&#x9;&#x9;    port[DoorControl3].sendMessage(SIN_DOOR_CLOSED, null, this, 0); break;&#xA;&#x9;&#x9;   case 40:&#xA;&#x9;&#x9;    port[DoorControl3].sendMessage(SIN_DOOR_OPENED, null, this, 1); break;&#xA;&#x9;&#x9;   case 41:&#xA;&#x9;&#x9;    port[DoorControl3].sendMessage(SIN_DOOR_CLOSED, null, this, 1); break;&#xA;&#xA;&#x9;&#x9;  // ElevatorDispatch2 elevatorDispatch&#xA;&#x9;&#x9;  case 42: case 43: case 44: case 45:&#xA;&#x9;&#x9;    // these messages all require data along with the signal&#xA;&#x9;&#x9;    break;&#xA;&#xA;&#x9;&#x9;  default: break;&#xA;&#x9;&#x9;  }&#xA;&#x9;&#x9;  selectedInjectButton = -1; // reset&#xA;&#x9;&#x9;}</body>
        </ownedBehavior>
        <ownedOperation xmi:id="_11_5_52bb0822_1158789527035_637196_548" name="act" visibility="public" method="_82zBMDlQEdy5E9cZCfOcEw"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1131396719445_114207_60" name="UserInject">
        <generalization xmi:id="_10_0_21c011f_1131396783738_835088_78" isSubstitutable="false" general="_10_0_21c011f_1130901833542_7045_5"/>
        <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_gZfoMDlSEdy5E9cZCfOcEw" specification="_11_5_52bb0822_1159368819283_871681_129">
          <name xsi:nil="true"/>
          <language>Java</language>
          <body>// get index of this instance of UserInject&#xA;IXholon node = getParentNode().getFirstChild();&#xA;int buttonCount = 0;&#xA;while (node != null) {&#xA;  if (node.getXhcId() == UserInjectCE) {&#xA;    if (node == this) {&#xA;      selectedInjectButton = buttonCount;&#xA;      break;&#xA;    }&#xA;    buttonCount++;&#xA;  }&#xA;  node = node.getNextSibling();&#xA;}&#xA;return &quot;The &quot; + roleName + &quot; button has been selected.&quot;;</body>
        </ownedBehavior>
        <ownedOperation xmi:id="_11_5_52bb0822_1159368819283_871681_129" name="handleNodeSelection" visibility="public" method="_gZfoMDlSEdy5E9cZCfOcEw">
          <ownedParameter xmi:id="_11_5_52bb0822_1159368839346_373693_131" name="" visibility="public" direction="return">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EString"/>
          </ownedParameter>
        </ownedOperation>
      </packagedElement>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131311629497_600694_595" name="" signal="_10_0_21c011f_1131635934498_629319_123"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131312120193_424515_600" name="" signal="_10_0_21c011f_1131636228591_344705_159"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131636541821_568762_181" name="" signal="_10_0_21c011f_1131635934498_629319_123"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131636583571_356710_182" name="" signal="_10_0_21c011f_1131636228591_344705_159"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_11_5_52bb0822_1173380365724_466746_3" name="" signal="_10_0_21c011f_1131635934498_629319_123"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_11_5_52bb0822_1173380728693_206784_9" name="" signal="_10_0_21c011f_1131636228591_344705_159"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131641303689_195586_788" name="" signal="_10_0_21c011f_1131635934498_629319_123"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131641383854_140251_791" name="" signal="_10_0_21c011f_1131635934498_629319_123"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131642123217_440958_796" name="" signal="_10_0_21c011f_1131636933575_7127_202"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131642262297_292185_799" name="" signal="_10_0_21c011f_1131636911984_473019_184"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131642329293_648432_802" name="" signal="_10_0_21c011f_1131637857944_783423_298"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131642405212_860793_805" name="" signal="_10_0_21c011f_1131637867467_975390_316"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131643044702_632041_813" name="" signal="_10_0_21c011f_1131637867467_975390_316"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131643278899_333339_817" name="" signal="_10_0_21c011f_1131635934498_629319_123"/>
      <packagedElement xmi:type="uml:TimeEvent" xmi:id="_10_0_21c011f_1131643372263_140774_820" name="">
        <when xmi:type="uml:OpaqueExpression" xmi:id="_RJy8QDfQEdytdajs3SvjYQ">
          <body>10</body>
        </when>
      </packagedElement>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131643439510_120046_822" name="" signal="_10_0_21c011f_1131636933575_7127_202"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131643517852_93790_825" name="" signal="_10_0_21c011f_1131635934498_629319_123"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131643561976_275060_828" name="" signal="_10_0_21c011f_1131635934498_629319_123"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131643598518_857060_831" name="" signal="_10_0_21c011f_1131636911984_473019_184"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131643643563_162483_834" name="" signal="_10_0_21c011f_1131635934498_629319_123"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131643750447_215201_837" name="" signal="_10_0_21c011f_1131637857944_783423_298"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_11_5_52bb0822_1173381549974_718611_131" name="" signal="_10_0_21c011f_1131636933575_7127_202"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_11_5_52bb0822_1173381586193_684682_136" name="" signal="_10_0_21c011f_1131636911984_473019_184"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_11_5_52bb0822_1173381627380_834912_141" name="" signal="_10_0_21c011f_1131637857944_783423_298"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_11_5_52bb0822_1173381662255_933817_146" name="" signal="_10_0_21c011f_1131637867467_975390_316"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_11_5_52bb0822_1173383940786_559604_155" name="" signal="_10_0_21c011f_1131635934498_629319_123"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_11_5_52bb0822_1173383979458_985408_160" name="" signal="_10_0_21c011f_1131635934498_629319_123"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131645993172_75877_886" name="" signal="_10_0_21c011f_1131635934498_629319_123"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131646035533_490482_889" name="" signal="_10_0_21c011f_1131635934498_629319_123"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131646068390_312132_892" name="" signal="_10_0_21c011f_1131638050711_780071_356"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131646102469_793491_895" name="" signal="_10_0_21c011f_1131638066173_579514_374"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131646125782_830141_898" name="" signal="_10_0_21c011f_1131638030722_698313_338"/>
      <packagedElement xmi:type="uml:TimeEvent" xmi:id="_10_0_21c011f_1131645735762_228900_879" name="">
        <when xmi:type="uml:OpaqueExpression" xmi:id="_10_0_21c011f_1131645758484_417494_882" name="">
          <language>Java</language>
          <body>50</body>
        </when>
      </packagedElement>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_11_5_52bb0822_1159986823203_823049_37" name="" signal="_10_0_21c011f_1131636945632_171286_220"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_11_5_52bb0822_1159986852125_577802_40" name="" signal="_10_0_21c011f_1131636955797_979975_238"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_11_5_52bb0822_1159986885375_688434_43" name="" signal="_10_0_21c011f_1131638084580_620141_392"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_11_5_52bb0822_1159898334953_1214_359" name="" signal="_10_0_21c011f_1131636219398_295347_141"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_11_5_52bb0822_1159898982015_918141_375" name="any" signal="_11_5_52bb0822_1159902991125_927153_381"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_11_5_52bb0822_1159921842064_743385_461" name="" signal="_10_0_21c011f_1131638084580_620141_392"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_11_5_52bb0822_1159922397876_620798_489" name="" signal="_10_0_21c011f_1131638084580_620141_392"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_11_5_52bb0822_1159923260610_830019_519" name="" signal="_10_0_21c011f_1131636228591_344705_159"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_11_5_52bb0822_1159967470546_695699_134" name="" signal="_10_0_21c011f_1131638084580_620141_392"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_11_5_52bb0822_1159977546406_515208_444" name="" signal="_10_0_21c011f_1131636945632_171286_220"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_11_5_52bb0822_1159981113796_387953_449" name="" signal="_10_0_21c011f_1131636955797_979975_238"/>
      <packagedElement xmi:type="uml:TimeEvent" xmi:id="_10_0_21c011f_1131644932507_98704_848" name="">
        <when xmi:type="uml:OpaqueExpression" xmi:id="_bL4sQDfQEdytdajs3SvjYQ">
          <body>10</body>
        </when>
      </packagedElement>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131644972154_675530_851" name="" signal="_10_0_21c011f_1131635934498_629319_123"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131645051608_638204_854" name="" signal="_10_0_21c011f_1131638084580_620141_392"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131645129109_174714_857" name="" signal="_10_0_21c011f_1131638639678_925968_760"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131645202004_847854_860" name="" signal="_10_0_21c011f_1131637825657_419822_280"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131645252487_893930_863" name="" signal="_10_0_21c011f_1131635934498_629319_123"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_10_0_21c011f_1131645317901_604390_866" name="" signal="_10_0_21c011f_1131638030722_698313_338"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_11_5_52bb0822_1173384653146_639225_171" name="" signal="_10_0_21c011f_1131635934498_629319_123"/>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_11_5_52bb0822_1173384684114_929866_176" name="" signal="_10_0_21c011f_1131638084580_620141_392"/>
      <packagedElement xmi:type="uml:TimeEvent" xmi:id="_11_5_52bb0822_1173384721302_623234_181" name="">
        <when xmi:type="uml:OpaqueExpression" xmi:id="_fPK7gDfQEdytdajs3SvjYQ">
          <body>10</body>
        </when>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_2nGe4EawEdyo8L0mfRJIWA" name="Application" isAbstract="true">
        <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_GMgCQEa4Edyo8L0mfRJIWA" name="application_shouldBePlotted" specification="_OIRDIEaxEdyo8L0mfRJIWA">
          <body>&#x9;IXholon fsmOwner = xpath.evaluate(&quot;ancestor::Door&quot;, modelNode);&#xA;&#x9;if (fsmOwner == null) {&#xA;&#x9;&#x9;fsmOwner = xpath.evaluate(&quot;ancestor::Hoist&quot;, modelNode);&#xA;&#x9;}&#xA;&#x9;if (fsmOwner == null) {&#xA;&#x9;&#x9;fsmOwner = xpath.evaluate(&quot;ancestor::UserJTree&quot;, modelNode);&#xA;&#x9;}&#xA;&#x9;if (fsmOwner == null) {&#xA;&#x9;&#x9;fsmOwner = xpath.evaluate(&quot;ancestor::FloorSelectionButton&quot;, modelNode);&#xA;&#x9;}&#xA;&#x9;if (fsmOwner == null) {&#xA;&#x9;&#x9;return false;&#xA;&#x9;}&#xA;&#x9;&#xA;&#x9;if ((modelNode.getXhcId() == org.primordion.xholon.common.mechanism.CeStateMachineEntity.StateCE)&#xA;&#x9;&#x9;&#x9;|| (modelNode.getXhcId() == org.primordion.xholon.common.mechanism.CeStateMachineEntity.FinalStateCE)) {&#xA;&#x9;&#x9;return true;&#xA;&#x9;}&#xA;&#x9;else {&#xA;&#x9;&#x9;return false;&#xA;&#x9;}</body>
        </ownedBehavior>
        <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_71pb0Ea6Edyo8L0mfRJIWA" name="application_invokeDataPlotter" specification="_-gQn8Ea6Edyo8L0mfRJIWA">
          <body>&#x9;if (getUseDataPlotter()) {&#xA;&#x9;&#x9;chartViewer.chart(false);&#xA;&#x9;}</body>
        </ownedBehavior>
        <ownedOperation xmi:id="_OIRDIEaxEdyo8L0mfRJIWA" name="shouldBePlotted" visibility="protected" method="_GMgCQEa4Edyo8L0mfRJIWA">
          <ownedParameter xmi:id="_ArC-IEazEdyo8L0mfRJIWA" direction="return">
            <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EBoolean"/>
          </ownedParameter>
          <ownedParameter xmi:id="__M5vsEazEdyo8L0mfRJIWA" name="modelNode" type="_OsuTsEa0Edyo8L0mfRJIWA"/>
        </ownedOperation>
        <ownedOperation xmi:id="_-gQn8Ea6Edyo8L0mfRJIWA" name="invokeDataPlotter" method="_71pb0Ea6Edyo8L0mfRJIWA"/>
      </packagedElement>
      <profileApplication xmi:id="_BLe8IDS0EdyOJOmSryhKWg">
        <eAnnotations xmi:id="_BLotIDS0EdyOJOmSryhKWg" source="http://www.eclipse.org/uml2/2.0.0/UML">
          <references xmi:type="ecore:EPackage" href="XholonStereotypes.uml#_NhBU8Sm9EdyXztXVHo8fCQ"/>
        </eAnnotations>
        <appliedProfile href="XholonStereotypes.uml#_U6c8ICZFEdyPzLcl1Gj0vA"/>
      </profileApplication>
    </packagedElement>
    <packagedElement xmi:type="uml:Package" xmi:id="_10_0_21c011f_1131307059286_393551_402" name="ElevatorPorts">
      <ownedComment xmi:id="_11_5_52bb0822_1159538628125_69228_126" annotatedElement="_10_0_21c011f_1131307059286_393551_402">
        <body>Ports used in the Elevator application.</body>
      </ownedComment>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1131303034088_596984_164" name="DoorControl3" clientDependency="_11_5_52bb0822_1158756322109_938218_448 _11_5_52bb0822_1158756316031_387500_436">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158697366107_987173_365" name="" visibility="public" isStatic="true" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158697418123_361167_369" name="" value="3"/>
        </ownedAttribute>
        <interfaceRealization xmi:id="_11_5_52bb0822_1158756316031_387500_436" name="" supplier="_11_5_52bb0822_1158753419437_657712_128" client="_10_0_21c011f_1131303034088_596984_164" contract="_11_5_52bb0822_1158753419437_657712_128"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1131303048108_627025_182" name="DoorHoistControl4" clientDependency="_11_5_52bb0822_1158757440328_760195_528 _11_5_52bb0822_1158757431921_126077_516">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158697376748_135952_367" name="" visibility="public" isStatic="true" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158697465748_392464_370" name="" value="4"/>
        </ownedAttribute>
        <interfaceRealization xmi:id="_11_5_52bb0822_1158757431921_126077_516" name="" supplier="_11_5_52bb0822_1158754137500_196125_166" client="_10_0_21c011f_1131303048108_627025_182" contract="_11_5_52bb0822_1158754137500_196125_166"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1131303060536_689304_200" name="ElevatorDispatch2" clientDependency="_11_5_52bb0822_1158757688312_389764_632 _11_5_52bb0822_1158757694578_837665_644">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158697483686_775762_371" name="" visibility="public" isStatic="true" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158697493639_848458_373" name="" value="2"/>
        </ownedAttribute>
        <interfaceRealization xmi:id="_11_5_52bb0822_1158757688312_389764_632" name="" supplier="_11_5_52bb0822_1158754173218_935686_204" client="_10_0_21c011f_1131303060536_689304_200" contract="_11_5_52bb0822_1158754173218_935686_204"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1131303073965_719539_218" name="GuiComm" clientDependency="_11_5_52bb0822_1158757758296_684560_702 _11_5_52bb0822_1158757751156_629717_690">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158697518670_929736_377" name="" visibility="public" isStatic="true" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158697527623_97918_379" name="" value="0"/>
        </ownedAttribute>
        <interfaceRealization xmi:id="_11_5_52bb0822_1158757751156_629717_690" name="" supplier="_11_5_52bb0822_1158754289296_249146_280" client="_10_0_21c011f_1131303073965_719539_218" contract="_11_5_52bb0822_1158754289296_249146_280"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1131299731649_365007_122" name="PushbuttonMessages0" clientDependency="_11_5_52bb0822_1158758157890_538591_816 _11_5_52bb0822_1158758179859_354006_852">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158697500889_114476_374" name="" visibility="public" isStatic="true" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158697510623_321885_376" name="" value="0"/>
        </ownedAttribute>
        <interfaceRealization xmi:id="_11_5_52bb0822_1158758157890_538591_816" name="" supplier="_11_5_52bb0822_1158754250921_582317_242" client="_10_0_21c011f_1131299731649_365007_122" contract="_11_5_52bb0822_1158754250921_582317_242"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1131303093653_794115_254" name="Ticks0" clientDependency="_11_5_52bb0822_1158758435703_473193_954">
        <generalization xmi:id="_10_0_21c011f_1131639169740_253303_782" isSubstitutable="false">
          <general xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Port"/>
        </generalization>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158697532764_169004_380" name="" visibility="public" isStatic="true" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158697543279_46544_382" name="" value="0"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1131310270944_98363_541" name="LocationInfo0">
        <ownedComment xmi:id="_10_0_21c011f_1131310374613_862385_542" annotatedElement="_10_0_21c011f_1131310270944_98363_541">
          <body>No signals.&#xD;
Not actively used?&#xD;
This is just a placeholder.</body>
        </ownedComment>
        <generalization xmi:id="_10_0_21c011f_1131639169740_253303_999" isSubstitutable="false">
          <general xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Port"/>
        </generalization>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158700229670_475659_484" name="" visibility="public" isStatic="true" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158700291498_70831_486" name="" value="0"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_11_5_52bb0822_1158698353311_196954_383" name="PushbuttonMessages1" clientDependency="_11_5_52bb0822_1158758167671_370436_828 _11_5_52bb0822_1158758250515_389640_888">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158698353311_809700_384" name="" visibility="public" isStatic="true" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158698353311_656077_386" name="" value="1"/>
        </ownedAttribute>
        <interfaceRealization xmi:id="_11_5_52bb0822_1158758167671_370436_828" name="" supplier="_11_5_52bb0822_1158754250921_582317_242" client="_11_5_52bb0822_1158698353311_196954_383" contract="_11_5_52bb0822_1158754250921_582317_242"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_11_5_52bb0822_1158698576389_610454_423" name="PushbuttonMessages2" clientDependency="_11_5_52bb0822_1158758172734_798579_840 _11_5_52bb0822_1158758196500_863090_876">
        <generalization xmi:id="_11_5_52bb0822_1158698576389_670652_425" isSubstitutable="false">
          <general xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Port"/>
        </generalization>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158698576389_88617_424" name="" visibility="public" isStatic="true" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158698576389_652031_426" name="" value="2"/>
        </ownedAttribute>
        <interfaceRealization xmi:id="_11_5_52bb0822_1158758172734_798579_840" name="" supplier="_11_5_52bb0822_1158754250921_582317_242" client="_11_5_52bb0822_1158698576389_610454_423" contract="_11_5_52bb0822_1158754250921_582317_242"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_11_5_52bb0822_1158699996623_641917_445" name="Ticks5" clientDependency="_11_5_52bb0822_1158758443656_3760_966">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158699996623_526558_446" name="" visibility="public" isStatic="true" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158699996623_6271_448" name="" value="5"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Usage" xmi:id="_11_5_52bb0822_1158756322109_938218_448" name="" supplier="_11_5_52bb0822_1158753448125_329937_147" client="_10_0_21c011f_1131303034088_596984_164"/>
      <packagedElement xmi:type="uml:Usage" xmi:id="_11_5_52bb0822_1158757440328_760195_528" name="" supplier="_11_5_52bb0822_1158754154078_326610_185" client="_10_0_21c011f_1131303048108_627025_182"/>
      <packagedElement xmi:type="uml:Usage" xmi:id="_11_5_52bb0822_1158757694578_837665_644" name="" supplier="_11_5_52bb0822_1158754187156_337850_223" client="_10_0_21c011f_1131303060536_689304_200"/>
      <packagedElement xmi:type="uml:Usage" xmi:id="_11_5_52bb0822_1158757758296_684560_702" name="" supplier="_11_5_52bb0822_1158754305593_391301_299" client="_10_0_21c011f_1131303073965_719539_218"/>
      <packagedElement xmi:type="uml:Usage" xmi:id="_11_5_52bb0822_1158758179859_354006_852" name="" supplier="_11_5_52bb0822_1158754272734_532878_261" client="_10_0_21c011f_1131299731649_365007_122"/>
      <packagedElement xmi:type="uml:Usage" xmi:id="_11_5_52bb0822_1158758196500_863090_876" name="" supplier="_11_5_52bb0822_1158754272734_532878_261" client="_11_5_52bb0822_1158698576389_610454_423"/>
      <packagedElement xmi:type="uml:Usage" xmi:id="_11_5_52bb0822_1158758250515_389640_888" name="" supplier="_11_5_52bb0822_1158754272734_532878_261" client="_11_5_52bb0822_1158698353311_196954_383"/>
      <packagedElement xmi:type="uml:Usage" xmi:id="_11_5_52bb0822_1158758435703_473193_954" name="" supplier="_11_5_52bb0822_1158754323859_380180_318" client="_10_0_21c011f_1131303093653_794115_254"/>
      <packagedElement xmi:type="uml:Usage" xmi:id="_11_5_52bb0822_1158758443656_3760_966" name="" supplier="_11_5_52bb0822_1158754323859_380180_318" client="_11_5_52bb0822_1158699996623_641917_445"/>
      <packagedElement xmi:type="uml:Class" xmi:id="_11_5_52bb0822_1158781548262_729819_6" name="ElevatorDispatch3" clientDependency="_11_5_52bb0822_1158781548262_43840_9">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158781548262_162582_7" name="" visibility="public" isStatic="true" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158781548262_774294_10" name="" value="3"/>
        </ownedAttribute>
        <interfaceRealization xmi:id="_11_5_52bb0822_1158781548262_43840_9" name="" supplier="_11_5_52bb0822_1158754173218_935686_204" client="_11_5_52bb0822_1158781548262_729819_6" contract="_11_5_52bb0822_1158754173218_935686_204"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_11_5_52bb0822_1158788478966_287604_228" name="PushbuttonMessages3" clientDependency="_11_5_52bb0822_1158788478966_937916_231 _11_5_52bb0822_1158788811671_731958_373">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158788478966_689966_229" name="" visibility="public" isStatic="true" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158788478966_97020_232" name="" value="3"/>
        </ownedAttribute>
        <interfaceRealization xmi:id="_11_5_52bb0822_1158788478966_937916_231" name="" supplier="_11_5_52bb0822_1158754250921_582317_242" client="_11_5_52bb0822_1158788478966_287604_228" contract="_11_5_52bb0822_1158754250921_582317_242"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_11_5_52bb0822_1158788492981_886421_251" name="PushbuttonMessages4" clientDependency="_11_5_52bb0822_1158788492981_304959_254 _11_5_52bb0822_1158788927891_717920_501">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158788492981_425598_252" name="" visibility="public" isStatic="true" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158788492981_954716_255" name="" value="4"/>
        </ownedAttribute>
        <interfaceRealization xmi:id="_11_5_52bb0822_1158788492981_304959_254" name="" supplier="_11_5_52bb0822_1158754250921_582317_242" client="_11_5_52bb0822_1158788492981_886421_251" contract="_11_5_52bb0822_1158754250921_582317_242"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_11_5_52bb0822_1158788506763_580967_274" name="PushbuttonMessages5" clientDependency="_11_5_52bb0822_1158788506763_65593_277 _11_5_52bb0822_1158788936531_225988_513">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158788506763_725679_275" name="" visibility="public" isStatic="true" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158788506763_224607_278" name="" value="5"/>
        </ownedAttribute>
        <interfaceRealization xmi:id="_11_5_52bb0822_1158788506763_65593_277" name="" supplier="_11_5_52bb0822_1158754250921_582317_242" client="_11_5_52bb0822_1158788506763_580967_274" contract="_11_5_52bb0822_1158754250921_582317_242"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_11_5_52bb0822_1158788515232_774856_297" name="PushbuttonMessages6" clientDependency="_11_5_52bb0822_1158788946063_600663_525 _11_5_52bb0822_1158788515232_420357_300">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158788515232_867322_298" name="" visibility="public" isStatic="true" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158788515232_878894_301" name="" value="6"/>
        </ownedAttribute>
        <interfaceRealization xmi:id="_11_5_52bb0822_1158788515232_420357_300" name="" supplier="_11_5_52bb0822_1158754250921_582317_242" client="_11_5_52bb0822_1158788515232_774856_297" contract="_11_5_52bb0822_1158754250921_582317_242"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_11_5_52bb0822_1158788595810_44047_320" name="PushbuttonMessages7" clientDependency="_11_5_52bb0822_1158788958281_558284_537 _11_5_52bb0822_1158788595826_913519_323">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158788595810_52818_321" name="" visibility="public" isStatic="true" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158788595826_549620_324" name="" value="7"/>
        </ownedAttribute>
        <interfaceRealization xmi:id="_11_5_52bb0822_1158788595826_913519_323" name="" supplier="_11_5_52bb0822_1158754250921_582317_242" client="_11_5_52bb0822_1158788595810_44047_320" contract="_11_5_52bb0822_1158754250921_582317_242"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Usage" xmi:id="_11_5_52bb0822_1158788811671_731958_373" name="" supplier="_11_5_52bb0822_1158754272734_532878_261" client="_11_5_52bb0822_1158788478966_287604_228"/>
      <packagedElement xmi:type="uml:Usage" xmi:id="_11_5_52bb0822_1158788927891_717920_501" name="" supplier="_11_5_52bb0822_1158754272734_532878_261" client="_11_5_52bb0822_1158788492981_886421_251"/>
      <packagedElement xmi:type="uml:Usage" xmi:id="_11_5_52bb0822_1158788936531_225988_513" name="" supplier="_11_5_52bb0822_1158754272734_532878_261" client="_11_5_52bb0822_1158788506763_580967_274"/>
      <packagedElement xmi:type="uml:Usage" xmi:id="_11_5_52bb0822_1158788946063_600663_525" name="" supplier="_11_5_52bb0822_1158754272734_532878_261" client="_11_5_52bb0822_1158788515232_774856_297"/>
      <packagedElement xmi:type="uml:Usage" xmi:id="_11_5_52bb0822_1158788958281_558284_537" name="" supplier="_11_5_52bb0822_1158754272734_532878_261" client="_11_5_52bb0822_1158788595810_44047_320"/>
      <packagedElement xmi:type="uml:Class" xmi:id="_11_5_52bb0822_1158865868066_484137_816" name="LocationInfo1">
        <ownedComment xmi:id="_11_5_52bb0822_1158865868066_433505_819" annotatedElement="_11_5_52bb0822_1158865868066_484137_816">
          <body>No signals.
Not actively used.
This is just a placeholder.</body>
        </ownedComment>
        <generalization xmi:id="_10_0_21c011f_1131639169740_253303_888" isSubstitutable="false">
          <general xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Port"/>
        </generalization>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158865868066_667134_817" name="" visibility="public" isStatic="true" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158865868066_606676_820" name="" value="1"/>
        </ownedAttribute>
      </packagedElement>
    </packagedElement>
    <packagedElement xmi:type="uml:Class" xmi:id="_10_0_21c011f_1130901833542_7045_5" name="XholonClass" isAbstract="true">
      <ownedComment xmi:id="_11_5_52bb0822_1159538853390_492858_129" annotatedElement="_10_0_21c011f_1130901833542_7045_5">
        <body>The root class from which all xholon classes inherit.</body>
      </ownedComment>
      <ownedOperation xmi:id="_10_0_21c011f_1130902211536_494072_475" name="act" visibility="public"/>
      <ownedOperation xmi:id="_10_0_21c011f_1130902219537_341732_478" name="processReceivedMessage" visibility="public">
        <ownedParameter xmi:id="_10_0_21c011f_1130902318890_63848_483" name="msg" visibility="public" direction="inout">
          <type xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Message"/>
        </ownedParameter>
      </ownedOperation>
      <ownedOperation xmi:id="_10_0_21c011f_1130902232496_322475_480" name="toString" visibility="public"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Package" xmi:id="_10_0_21c011f_1131636333031_480988_180" name="ElevatorSignals">
      <ownedComment xmi:id="_11_5_52bb0822_1159538635546_319746_127" annotatedElement="_10_0_21c011f_1131636333031_480988_180">
        <body>Signals used in the Elevator application.</body>
      </ownedComment>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131636219398_295347_141" name="SOUT_ACK">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696468357_402911_179" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696482014_488415_181" name="" value="501"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131635934498_629319_123" name="SIN_REQUESTED">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696446061_974547_176" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696463998_470908_178" name="" value="500"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131636228591_344705_159" name="SOUT_REQUEST_SATISFIED">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696487092_256806_182" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696502436_64682_184" name="" value="502"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131636945632_171286_220" name="SOUT_CLOSE_DOOR">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158695923543_978094_10" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158695939496_582188_13" name="" value="102"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131636955797_979975_238" name="SOUT_OPEN_DOOR">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158695945340_431468_14" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158695960418_988173_17" name="" value="103"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131636911984_473019_184" name="SIN_DOOR_CLOSED">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158695791511_579996_1" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158695843761_361394_5" name="" value="100"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131636933575_7127_202" name="SIN_DOOR_OPENED">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158695868261_786580_6" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158695911246_934414_9" name="" value="101"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131638343111_539167_558" name="SIN_E_N_IS_AT">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696691139_558244_206" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696711654_365654_208" name="" value="409"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131638290225_263489_504" name="SIN_B_UP_PUSHED">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696653420_426187_203" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696671186_934253_205" name="" value="407"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131638489111_884852_684" name="SOUT_B_UP_REQUEST_SATISFIED">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696849248_720389_227" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696866076_406258_229" name="" value="413"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131638184994_207539_414" name="SIN_B_DOOR_CLOSE">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696549951_950418_188" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696565139_207617_190" name="" value="401"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131638084580_620141_392" name="SOUT_MOVE_TO_FL_N">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696411076_511026_36" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696429076_556460_38" name="" value="303"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131638200126_690179_432" name="SIN_B_DOOR_OBSTRUCTED">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696572607_594362_191" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696585826_702422_193" name="" value="402"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131638030722_698313_338" name="SIN_IS_AT">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696349451_864516_27" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696364373_913692_29" name="" value="300"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131638253412_148367_468" name="SIN_B_DOWN_PUSHED">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696609154_579828_197" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696627482_411566_199" name="" value="406"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131638455263_917665_648" name="SOUT_B_FLOOR_REQUEST_SATISFIED">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696800795_821794_221" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696817811_402108_223" name="" value="417"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131638436315_118438_630" name="SOUT_B_FLOOR_ACK">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696785123_923744_218" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696797076_413265_220" name="" value="418"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131637867467_975390_316" name="SOUT_UNLOCK_DOOR">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696297107_843516_24" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696329170_790403_26" name="" value="203"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131638479087_978898_666" name="SOUT_B_UP_ACK">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696824123_244139_224" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696844404_742313_226" name="" value="414"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131638223299_242192_450" name="SIN_B_DOOR_OPEN">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696590389_637754_194" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696604686_750281_196" name="" value="400"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131637857944_783423_298" name="SOUT_LOCK_DOOR">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696277717_180449_21" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696292295_381646_23" name="" value="202"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131638367296_945461_576" name="SIN_READY">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696716342_519951_209" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696736295_614585_211" name="" value="405"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131638411760_337181_612" name="SOUT_B_DOWN_REQUEST_SATISFIED">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696764857_592627_215" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696781014_563214_217" name="" value="415"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131638066173_579514_374" name="SIN_IS_READY_NO_DEST">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696390326_361767_33" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696405748_480243_35" name="" value="301"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131637825657_419822_280" name="SIN_DOOR_LOCKED">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696241498_990866_18" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696270186_537781_20" name="" value="200"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131638639678_925968_760" name="SOUT_TICK">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696509545_193892_185" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696524639_351169_187" name="" value="600"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131638399703_844253_594" name="SOUT_B_DOWN_ACK">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696742295_153329_212" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696760701_4199_214" name="" value="416"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131638520496_865099_720" name="SOUT_MOVE_E_M_TO_FL_N">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696885014_453970_230" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696899467_504654_232" name="" value="419"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131638268094_722366_486" name="SIN_B_FLOOR_PUSHED">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696632826_910037_200" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696646029_994712_202" name="" value="408"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_10_0_21c011f_1131638050711_780071_356" name="SIN_IS_READY_DEST">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158696369592_967771_30" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158696384936_270298_32" name="" value="302"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_11_5_52bb0822_1159902991125_927153_381" name="SIGNAL_ANY">
        <ownedAttribute xmi:id="_11_5_52bb0822_1159903040859_433772_399" name="" visibility="public" isReadOnly="true">
          <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1159903060421_259355_401" name="" value="-4"/>
        </ownedAttribute>
      </packagedElement>
    </packagedElement>
    <packagedElement xmi:type="uml:Package" xmi:id="_11_5_52bb0822_1158753331125_541514_117" name="ElevatorInterfaces">
      <ownedComment xmi:id="_11_5_52bb0822_1159538621125_809557_125" annotatedElement="_11_5_52bb0822_1158753331125_541514_117">
        <body>Interfaces used in the Elevator application.</body>
      </ownedComment>
      <packagedElement xmi:type="uml:Interface" xmi:id="_11_5_52bb0822_1158753419437_657712_128" name="IDoorControlIn">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158754515359_81869_338" name="" visibility="public" isStatic="true" type="_10_0_21c011f_1131636911984_473019_184" isReadOnly="true"/>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158754647781_709362_340" name="" visibility="public" isStatic="true" type="_10_0_21c011f_1131636933575_7127_202" isReadOnly="true"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Interface" xmi:id="_11_5_52bb0822_1158753448125_329937_147" name="IDoorControlOut">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158754679937_535717_342" name="" visibility="public" isStatic="true" type="_10_0_21c011f_1131636945632_171286_220" isReadOnly="true"/>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158754702000_884144_344" name="" visibility="public" isStatic="true" type="_10_0_21c011f_1131636955797_979975_238" isReadOnly="true"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Interface" xmi:id="_11_5_52bb0822_1158754137500_196125_166" name="IDoorHoistControlIn">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158754885109_838695_346" name="" visibility="public" isStatic="true" type="_10_0_21c011f_1131637825657_419822_280" isReadOnly="true"/>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158754908843_877668_348" name="" visibility="public" isStatic="true" type="_10_0_21c011f_1131636911984_473019_184" isReadOnly="true"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Interface" xmi:id="_11_5_52bb0822_1158754154078_326610_185" name="IDoorHoistControlOut">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158754964390_886456_350" name="" visibility="public" isStatic="true" type="_10_0_21c011f_1131637857944_783423_298" isReadOnly="true"/>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158754982937_282628_352" name="" visibility="public" isStatic="true" type="_10_0_21c011f_1131637867467_975390_316" isReadOnly="true"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Interface" xmi:id="_11_5_52bb0822_1158754173218_935686_204" name="IElevatorDispatchIn">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158755044078_542292_354" name="" visibility="public" isStatic="true" type="_10_0_21c011f_1131638030722_698313_338" isReadOnly="true"/>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158755066531_817339_356" name="" visibility="public" isStatic="true" type="_10_0_21c011f_1131638066173_579514_374" isReadOnly="true"/>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158755083453_446159_358" name="" visibility="public" isStatic="true" type="_10_0_21c011f_1131638050711_780071_356" isReadOnly="true"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Interface" xmi:id="_11_5_52bb0822_1158754187156_337850_223" name="IElevatorDispatchOut">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158755130500_494708_360" name="" visibility="public" isStatic="true" type="_10_0_21c011f_1131638084580_620141_392" isReadOnly="true"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Interface" xmi:id="_11_5_52bb0822_1158754250921_582317_242" name="IPushbuttonMessagesIn">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158755182281_419704_362" name="" visibility="public" isStatic="true" type="_10_0_21c011f_1131635934498_629319_123" isReadOnly="true"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Interface" xmi:id="_11_5_52bb0822_1158754272734_532878_261" name="IPushbuttonMessagesOut">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158755211593_61406_364" name="" visibility="public" isStatic="true" type="_10_0_21c011f_1131636219398_295347_141" isReadOnly="true"/>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158755226578_380385_366" name="" visibility="public" isStatic="true" type="_10_0_21c011f_1131636228591_344705_159" isReadOnly="true"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Interface" xmi:id="_11_5_52bb0822_1158754289296_249146_280" name="IGuiCommIn"/>
      <packagedElement xmi:type="uml:Interface" xmi:id="_11_5_52bb0822_1158754305593_391301_299" name="IGuiCommOut"/>
      <packagedElement xmi:type="uml:Interface" xmi:id="_11_5_52bb0822_1158754323859_380180_318" name="ITicksOut">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158755287875_222402_368" name="" visibility="public" isStatic="true" type="_10_0_21c011f_1131638639678_925968_760" isReadOnly="true"/>
      </packagedElement>
    </packagedElement>
    <packagedElement xmi:type="uml:Package" xmi:id="_11_5_52bb0822_1158878727078_525449_117" name="Configuration">
      <ownedComment xmi:id="_11_5_52bb0822_1158878727171_749896_162" annotatedElement="_11_5_52bb0822_1158878727078_525449_117">
        <body>Configuration parameters.</body>
      </ownedComment>
      <packagedElement xmi:type="uml:Class" xmi:id="_11_5_52bb0822_1158878727093_956863_118" name="XhnParams">
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727171_819147_163" name="ShowParams" visibility="protected" type="_11_5_52bb0822_1158878727093_956863_118">
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158878727265_930521_201" name="" value="true"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727187_271323_164" name="ModelName" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EString"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158878727265_459386_202" name="" value=""/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727187_623133_165" name="AppM" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EBoolean"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158878727265_596947_203" name="" value="true"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727187_983500_166" name="InfoM" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EBoolean"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158878727265_976358_204" name="" value="false"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727187_193260_167" name="ErrorM" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EBoolean"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158878727265_731800_205" name="" value="true"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727187_852434_168" name="MaxProcessLoops" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158878727265_697592_206" name="" value="-1"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727187_627887_169" name="TimeStepInterval" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_11_5_52bb0822_1159799741484_143784_2" name="" value="100"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727187_447631_170" name="SizeMessageQueue" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158878727265_985864_208" name="" value="200"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727187_598636_171" name="InheritanceHierarchyFile" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EString"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727187_332883_172" name="CompositeStructureHierarchyFile" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EString"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727187_388361_173" name="ClassDetailsFile" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EString"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727187_933541_174" name="InformationFile" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EString"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727234_322428_175" name="JavaClassName" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EString"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727234_923676_176" name="JavaXhClassName" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EString"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727234_805273_177" name="RandomNumberSeed" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#ELong"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727234_511814_178" name="MaxPorts" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EInt"/>
          <defaultValue xmi:type="uml:LiteralInteger" xmi:id="_99_0_52bb0822_1159799741484_123456_7" name="" value="17"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727234_668549_179" name="UseDataPlotter" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EBoolean"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158878727265_676220_209" name="" value="JFreeChart"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727234_468188_180" name="DataPlotterParams" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EString"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1159811056453_858543_120" name="" value="Elevator - Active States,Time Step,Active State,./statistics/,elevatorStats,1,WRITE_AS_LONG"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727250_729366_181" name="UseGraphicalTreeViewer" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EBoolean"/>
          <defaultValue xmi:type="uml:LiteralBoolean" xmi:id="_11_5_52bb0822_1159811188531_723626_125" name="" value="true"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727250_877474_182" name="GraphicalTreeViewerParams" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EString"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1159811148671_602283_122" name="" value="/Elevator[2]/Hoist,20,20,800,500,9,Application Composite Structure,false"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727250_371505_183" name="UseGraphicalNetworkViewer" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EBoolean"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158878727265_417334_211" name="" value="true"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727250_482352_184" name="GraphicalNetworkViewerParams" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EString"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1159811056453_858543_120" name="" value="/Elevator[1]/ElevatorPanel/DoorControlButton[@roleName='bClose'],800,500,9,LAYOUT_KK,false,Application Port Connections,false"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727250_764187_185" name="UseGridViewer" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EBoolean"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158878727265_530128_212" name="" value="false"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727250_933969_186" name="GridPanelClassName" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EString"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727250_577552_187" name="GridViewerParams" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EString"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727250_130266_188" name="UseInteractions" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EBoolean"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158878727265_133445_213" name="" value="true"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727250_937842_189" name="UseVrml" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EBoolean"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158878727265_205995_214" name="" value="false"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727250_212465_190" name="VrmlWriterClassName" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EString"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727250_975245_191" name="VrmlParams" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EString"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727250_329816_192" name="UseTextTree" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EBoolean"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158878727265_356913_215" name="" value="false"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727250_880970_193" name="SaveSnapshots" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EBoolean"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1158878727265_753601_216" name="" value="false"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1158878727250_364553_194" name="SnapshotParams" visibility="protected">
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EString"/>
        </ownedAttribute>
      </packagedElement>
      <packagedElement xmi:type="uml:Artifact" xmi:id="_11_5_52bb0822_1172166025859_794516_1" name="XholonModel">
        <ownedAttribute xmi:id="_11_5_52bb0822_1172166025875_659283_2" name="portImplementation" visibility="protected">
          <ownedComment xmi:id="_11_5_52bb0822_1172166025875_56824_7" annotatedElement="_11_5_52bb0822_1172166025875_659283_2">
            <body>Port Implementation
Possible values include:
  ixholon
  iport
  none

Other values may be defined later.</body>
          </ownedComment>
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EString"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1172166025875_58802_6" name="" value="iport"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1172166025875_462000_3" name="stateMachineImplementation" visibility="protected">
          <ownedComment xmi:id="_11_5_52bb0822_1172166025875_42871_9" annotatedElement="_11_5_52bb0822_1172166025875_462000_3">
            <body>State Machine Implementation
Possible values include:
  istatemachineentity
  none

Other values may be defined later.</body>
          </ownedComment>
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EString"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1172166025875_951237_8" name="" value="istatemachineentity"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1172166025875_64639_4" name="xholonImplementation" visibility="protected">
          <ownedComment xmi:id="_11_5_52bb0822_1172166025875_693005_11" annotatedElement="_11_5_52bb0822_1172166025875_64639_4">
            <body>Xholon Implementation
Possible values include:
  xholonwithports
  abstractgrid
  none

Other values may be defined later.</body>
          </ownedComment>
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EString"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1172166025875_569389_10" name="" value="xholonwithports"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_11_5_52bb0822_1172166025875_612001_5" name="gridPanelImplementation" visibility="protected">
          <ownedComment xmi:id="_11_5_52bb0822_1172166025875_658421_13" annotatedElement="_11_5_52bb0822_1172166025875_612001_5">
            <body>Grid Panel Implementation
Possible values include:
  igridpanel
  none

Other values may be defined later.</body>
          </ownedComment>
          <type xmi:type="uml:PrimitiveType" href="pathmap://UML_METAMODELS/Ecore.metamodel.uml#EString"/>
          <defaultValue xmi:type="uml:LiteralString" xmi:id="_11_5_52bb0822_1172166025875_676658_12" name="" value="none"/>
        </ownedAttribute>
      </packagedElement>
    </packagedElement>
    <packagedElement xmi:type="uml:Package" xmi:id="_11_5_52bb0822_1159538874468_537916_130" name="XholonBaseClasses">
      <ownedComment xmi:id="_11_5_52bb0822_1159539008500_923710_132" annotatedElement="_11_5_52bb0822_1159538874468_537916_130">
        <body>These Java classes are defined and implemented as part of the Xholon runtime framework. The code generation process will generate an import statement for any class contained within this package. It will NOT generate a Xholon application class.</body>
      </ownedComment>
      <packagedElement xmi:type="uml:Class" xmi:id="_11_5_52bb0822_1159485912488_621207_167" name="IXholonTime">
        <ownedComment xmi:id="_11_5_52bb0822_1159485993878_138356_168" annotatedElement="_11_5_52bb0822_1159485912488_621207_167">
          <body></body>
        </ownedComment>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_11_5_52bb0822_1159539206558_672698_133" name="XholonTime"/>
      <packagedElement xmi:type="uml:Class" xmi:id="_OsuTsEa0Edyo8L0mfRJIWA" name="IXholon"/>
    </packagedElement>
    <profileApplication xmi:id="_l8fUAC5MEdyulMNDmjND_w">
      <eAnnotations xmi:id="_l8pFAC5MEdyulMNDmjND_w" source="http://www.eclipse.org/uml2/2.0.0/UML">
        <references xmi:type="ecore:EPackage" href="XholonStereotypes.uml#_NhBU8Sm9EdyXztXVHo8fCQ"/>
      </eAnnotations>
      <appliedProfile href="XholonStereotypes.uml#_U6c8ICZFEdyPzLcl1Gj0vA"/>
    </profileApplication>
  </uml:Model>
  <XholonStereotypes:PureContainer xmi:id="_PVDpcDS1EdyOJOmSryhKWg" base_Class="_10_0_21c011f_1130901833542_7045_5"/>
  <XholonStereotypes:PureActiveObject xmi:id="_a5y38DS1EdyOJOmSryhKWg" base_Class="_10_0_21c011f_1130901881782_461564_59"/>
  <XholonStereotypes:PureContainer xmi:id="_dsKR4DS1EdyOJOmSryhKWg" base_Class="_10_0_21c011f_1130901866910_109502_41"/>
  <XholonStereotypes:PureActiveObject xmi:id="_f66ocDS1EdyOJOmSryhKWg" base_Class="_10_0_21c011f_1130901889743_414466_77"/>
  <XholonStereotypes:PureContainer xmi:id="_h2mSADS1EdyOJOmSryhKWg" base_Class="_10_0_21c011f_1130901896884_302560_95"/>
  <XholonStereotypes:PureContainer xmi:id="_k0JBMDS1EdyOJOmSryhKWg" base_Class="_10_0_21c011f_1130901908020_629901_113"/>
  <XholonStereotypes:PureContainer xmi:id="_mm4KIDS1EdyOJOmSryhKWg" base_Class="_10_0_21c011f_1130901918455_442232_131"/>
  <XholonStereotypes:XhtypeBehxxxCon xmi:id="_qIVesDS1EdyOJOmSryhKWg" base_Class="_10_0_21c011f_1130901933556_395431_167"/>
  <XholonStereotypes:PureActiveObject xmi:id="_tPakYDS1EdyOJOmSryhKWg" base_Class="_10_0_21c011f_1130901953455_544554_185"/>
  <XholonStereotypes:PureActiveObject xmi:id="_v8t4IDS1EdyOJOmSryhKWg" base_Class="_10_0_21c011f_1130901967966_337607_221"/>
  <XholonStereotypes:PureActiveObject xmi:id="_ygVEYDS1EdyOJOmSryhKWg" base_Class="_10_0_21c011f_1130901987243_406417_257"/>
  <XholonStereotypes:PureActiveObject xmi:id="_zCTJADS1EdyOJOmSryhKWg" base_Class="_10_0_21c011f_1130901973263_469254_239"/>
  <XholonStereotypes:PureActiveObject xmi:id="_07mM8DS1EdyOJOmSryhKWg" base_Class="_10_0_21c011f_1130901998369_781411_275"/>
  <XholonStereotypes:PureActiveObject xmi:id="_3FvJQDS1EdyOJOmSryhKWg" base_Class="_10_0_21c011f_1131396292451_266115_2"/>
  <XholonStereotypes:PureActiveObject xmi:id="_4jA_kDS1EdyOJOmSryhKWg" base_Class="_10_0_21c011f_1131396719445_114207_60"/>
  <XholonStereotypes:PureActiveObject xmi:id="_5RWsQDS1EdyOJOmSryhKWg" base_Class="_10_0_21c011f_1130902014122_993011_293"/>
  <XholonStereotypes:GetterSetter xmi:id="_USF4QDczEdyWAolLyZkXEA" base_Property="_11_5_52bb0822_1159477589394_219938_135"/>
  <XholonStereotypes:GetterSetter xmi:id="_VUP40DczEdyWAolLyZkXEA" base_Property="_11_5_52bb0822_1159477636144_650851_138"/>
  <XholonStereotypes:GetterSetter xmi:id="_WPG-kDczEdyWAolLyZkXEA" base_Property="_11_5_52bb0822_1159477658800_309129_141"/>
  <XholonStereotypes:GetterSetter xmi:id="_Xtb9wDczEdyWAolLyZkXEA" base_Property="_11_5_52bb0822_1159477698847_919423_144"/>
  <XholonStereotypes:GetterSetter xmi:id="_dwj90DczEdyWAolLyZkXEA" base_Property="_11_5_52bb0822_1159880868781_129886_190"/>
</xmi:XMI>
