| <?xml version="1.0" encoding="UTF-8"?> |
| <xmi:XMI xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:UMLRTStateMachines="http://www.eclipse.org/papyrus/umlrt/statemachine" xmlns:UMLRealTime="http://www.eclipse.org/papyrus/umlrt" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML"> |
| <uml:Model xmi:id="_PVV9MKKyEea-bLTb0QF90w" name="RootElement"> |
| <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_Q4NeIKKyEea-bLTb0QF90w" source="http://www.eclipse.org/papyrus-rt/language/1.0.0"> |
| <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_Q4OFMKKyEea-bLTb0QF90w" key="language" value="umlrt-cpp"/> |
| </eAnnotations> |
| <packagedElement xmi:type="uml:Class" xmi:id="_ThMSkKKyEea-bLTb0QF90w" name="Top" classifierBehavior="_vLK-8KK1Eea-bLTb0QF90w" isActive="true"> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_VvLNEKKyEea-bLTb0QF90w" name="log" visibility="protected" isOrdered="true" aggregation="composite" isBehavior="true" isService="false"> |
| <type xmi:type="uml:Collaboration" href="pathmap://UMLRTRTSLIB/UMLRT-RTS.uml#_6kIb0IeXEeSVyrlWP4nYew"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_W2NtoKKyEea-bLTb0QF90w" name="frame" visibility="protected" isOrdered="true" aggregation="composite" isBehavior="true" isService="false"> |
| <type xmi:type="uml:Collaboration" href="pathmap://UMLRTRTSLIB/UMLRT-RTS.uml#_TWVjwGtVEeSCmtGQ-V4nzg"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:type="uml:Property" xmi:id="_YctxYKKyEea-bLTb0QF90w" name="client" visibility="protected" type="_Yu8w4KKyEea-bLTb0QF90w" isOrdered="true" aggregation="composite"/> |
| <ownedAttribute xmi:type="uml:Property" xmi:id="_aDilQKKyEea-bLTb0QF90w" name="server" visibility="protected" type="_aSJB8KKyEea-bLTb0QF90w" isOrdered="true" aggregation="composite"> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_dYJwoKKyEea-bLTb0QF90w"/> |
| </ownedAttribute> |
| <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_vLK-8KK1Eea-bLTb0QF90w" name="StateMachine" isReentrant="false"> |
| <region xmi:type="uml:Region" xmi:id="_vLNbMKK1Eea-bLTb0QF90w" name="Region"> |
| <transition xmi:type="uml:Transition" xmi:id="_vLRFkaK1Eea-bLTb0QF90w" name="Initial" source="_vLOCQKK1Eea-bLTb0QF90w" target="_vLP3cKK1Eea-bLTb0QF90w"/> |
| <subvertex xmi:type="uml:Pseudostate" xmi:id="_vLOCQKK1Eea-bLTb0QF90w"> |
| <name xsi:nil="true"/> |
| </subvertex> |
| <subvertex xmi:type="uml:State" xmi:id="_vLP3cKK1Eea-bLTb0QF90w" name="Working"> |
| <entry xmi:type="uml:OpaqueBehavior" xmi:id="_IiX3wKK2Eea-bLTb0QF90w"> |
| <language>C++</language> |
| <body> log.log("[Top](Working) incarnating Server"); |
| UMLRTCapsuleId id = frame.incarnate(server, Server1); |
| if (id.isValid()) |
| { |
| log.log("[Top](Working) Server incarnated successfully"); |
| } |
| else |
| { |
| log.log("[Top](Working) failed to incarnate Server"); |
| exit(1); |
| } |
| </body> |
| </entry> |
| </subvertex> |
| </region> |
| </ownedBehavior> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="_Yu8w4KKyEea-bLTb0QF90w" name="Client" classifierBehavior="_VIUWgKK0Eea-bLTb0QF90w" isActive="true"> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_hJ-ccKKyEea-bLTb0QF90w" name="service" visibility="protected" type="_hcESAKKyEea-bLTb0QF90w" isOrdered="true" aggregation="composite" isBehavior="true" isConjugated="true" isService="false"/> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_b3CtwKKzEea-bLTb0QF90w" name="log" visibility="protected" isOrdered="true" aggregation="composite" isBehavior="true" isService="false"> |
| <type xmi:type="uml:Collaboration" href="pathmap://UMLRTRTSLIB/UMLRT-RTS.uml#_6kIb0IeXEeSVyrlWP4nYew"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_eZe1UKKzEea-bLTb0QF90w" name="timing" visibility="protected" isOrdered="true" aggregation="composite" isBehavior="true" isService="false"> |
| <type xmi:type="uml:Collaboration" href="pathmap://UMLRTRTSLIB/UMLRT-RTS.uml#_MxQZgGXsEeS_4daqvwyFrg"/> |
| </ownedAttribute> |
| <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_VIUWgKK0Eea-bLTb0QF90w" name="StateMachine" isReentrant="false"> |
| <region xmi:type="uml:Region" xmi:id="_VIWywKK0Eea-bLTb0QF90w" name="Region"> |
| <transition xmi:type="uml:Transition" xmi:id="_VIbEMKK0Eea-bLTb0QF90w" name="Initial" source="_VIYA4KK0Eea-bLTb0QF90w" target="_VIZPAaK0Eea-bLTb0QF90w"/> |
| <transition xmi:type="uml:Transition" xmi:id="_qDE5MKK0Eea-bLTb0QF90w" name="timeout1" source="_VIZPAaK0Eea-bLTb0QF90w" target="_kNUmwKK0Eea-bLTb0QF90w"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_sGoFUKK0Eea-bLTb0QF90w" port="_eZe1UKKzEea-bLTb0QF90w"> |
| <event xmi:type="uml:CallEvent" href="pathmap://UMLRTRTSLIB/UMLRT-RTS.uml#_IaEO8HDxEeSwWKwNKw1iAA"/> |
| </trigger> |
| </transition> |
| <transition xmi:type="uml:Transition" xmi:id="_ChESEKK1Eea-bLTb0QF90w" source="_VIZPAaK0Eea-bLTb0QF90w" target="_za3H8KK0Eea-bLTb0QF90w"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_EoRPIKK1Eea-bLTb0QF90w" port="_hJ-ccKKyEea-bLTb0QF90w"> |
| <event xmi:type="uml:CallEvent" href="pathmap://UMLRTRTSLIB/UMLRT-RTS.uml#_PQtAwOzeEeSRtqCWFwOf8g"/> |
| </trigger> |
| </transition> |
| <transition xmi:type="uml:Transition" xmi:id="_SwGFcKK1Eea-bLTb0QF90w" source="_za3H8KK0Eea-bLTb0QF90w" target="_O586UKK1Eea-bLTb0QF90w"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_U5vSgKK1Eea-bLTb0QF90w" event="_x4C8QKKyEea-bLTb0QF90w" port="_hJ-ccKKyEea-bLTb0QF90w"/> |
| </transition> |
| <transition xmi:type="uml:Transition" xmi:id="_go5oUKK1Eea-bLTb0QF90w" name="timeout2" source="_za3H8KK0Eea-bLTb0QF90w" target="_kNUmwKK0Eea-bLTb0QF90w"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_jKA6MKK1Eea-bLTb0QF90w" port="_eZe1UKKzEea-bLTb0QF90w"> |
| <event xmi:type="uml:CallEvent" href="pathmap://UMLRTRTSLIB/UMLRT-RTS.uml#_IaEO8HDxEeSwWKwNKw1iAA"/> |
| </trigger> |
| </transition> |
| <subvertex xmi:type="uml:Pseudostate" xmi:id="_VIYA4KK0Eea-bLTb0QF90w"> |
| <name xsi:nil="true"/> |
| </subvertex> |
| <subvertex xmi:type="uml:State" xmi:id="_VIZPAaK0Eea-bLTb0QF90w" name="WaitingForServiceToBeReady"> |
| <entry xmi:type="uml:OpaqueBehavior" xmi:id="_fuFbUKK0Eea-bLTb0QF90w"> |
| <language>C++</language> |
| <body> log.log("[Client](WaitingForServiceToBeReady) setting timer"); |
| timing.informIn(UMLRTTimespec(2,0)); |
| </body> |
| </entry> |
| </subvertex> |
| <subvertex xmi:type="uml:State" xmi:id="_kNUmwKK0Eea-bLTb0QF90w" name="TimedOut"> |
| <entry xmi:type="uml:OpaqueBehavior" xmi:id="_o0mT4KK0Eea-bLTb0QF90w"> |
| <language>C++</language> |
| <body> log.log("[Client](TimedOut)"); |
| </body> |
| </entry> |
| </subvertex> |
| <subvertex xmi:type="uml:State" xmi:id="_za3H8KK0Eea-bLTb0QF90w" name="Ready"> |
| <entry xmi:type="uml:OpaqueBehavior" xmi:id="_Bx77MKK1Eea-bLTb0QF90w"> |
| <language>C++</language> |
| <body> log.log("[Client](Ready) service ready; sending request"); |
| timing.informIn(UMLRTTimespec(2,0)); |
| service.request().send(); |
| log.log("[Client](Ready) request sent; waiting for response"); |
| </body> |
| </entry> |
| </subvertex> |
| <subvertex xmi:type="uml:State" xmi:id="_O586UKK1Eea-bLTb0QF90w" name="Done"> |
| <entry xmi:type="uml:OpaqueBehavior" xmi:id="_awm_QKK1Eea-bLTb0QF90w"> |
| <language>C++</language> |
| <body> log.log("[Client](Done) response received"); |
| exit(0); |
| </body> |
| </entry> |
| </subvertex> |
| </region> |
| </ownedBehavior> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="_aSJB8KKyEea-bLTb0QF90w" name="Server" classifierBehavior="_mQAlUKK2Eea-bLTb0QF90w" isActive="true"> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_tOk2wKKyEea-bLTb0QF90w" name="service" visibility="public" type="_hcESAKKyEea-bLTb0QF90w" isOrdered="true" aggregation="composite" isBehavior="true"/> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_aNlcoKKzEea-bLTb0QF90w" name="log" visibility="protected" isOrdered="true" aggregation="composite" isBehavior="true" isService="false"> |
| <type xmi:type="uml:Collaboration" href="pathmap://UMLRTRTSLIB/UMLRT-RTS.uml#_6kIb0IeXEeSVyrlWP4nYew"/> |
| </ownedAttribute> |
| <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_mQAlUKK2Eea-bLTb0QF90w" name="StateMachine" isReentrant="false"> |
| <region xmi:type="uml:Region" xmi:id="_mQDBkKK2Eea-bLTb0QF90w" name="Region"> |
| <transition xmi:type="uml:Transition" xmi:id="_mQGE4aK2Eea-bLTb0QF90w" name="Initial" source="_mQDooKK2Eea-bLTb0QF90w" target="_mQE2waK2Eea-bLTb0QF90w"/> |
| <transition xmi:type="uml:Transition" xmi:id="_yjvn0KK2Eea-bLTb0QF90w" source="_mQE2waK2Eea-bLTb0QF90w" target="_mQE2waK2Eea-bLTb0QF90w"> |
| <effect xmi:type="uml:OpaqueBehavior" xmi:id="_69oD4KK2Eea-bLTb0QF90w"> |
| <language>C++</language> |
| <body> log.log("[Server](request) received request on service port"); |
| service.response().send(); |
| log.log("[Server](request) sent response on service port"); |
| </body> |
| </effect> |
| <trigger xmi:type="uml:Trigger" xmi:id="_1dA7AKK2Eea-bLTb0QF90w" event="_2D1nQKKyEea-bLTb0QF90w" port="_tOk2wKKyEea-bLTb0QF90w"/> |
| </transition> |
| <subvertex xmi:type="uml:Pseudostate" xmi:id="_mQDooKK2Eea-bLTb0QF90w"> |
| <name xsi:nil="true"/> |
| </subvertex> |
| <subvertex xmi:type="uml:State" xmi:id="_mQE2waK2Eea-bLTb0QF90w" name="WaitingForRequests"> |
| <entry xmi:type="uml:OpaqueBehavior" xmi:id="_wX9swKK2Eea-bLTb0QF90w"> |
| <language>C++</language> |
| <body> log.log("[Server](WaitingForRequests)"); |
| </body> |
| </entry> |
| </subvertex> |
| </region> |
| </ownedBehavior> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Package" xmi:id="_hcGHMKKyEea-bLTb0QF90w" name="Service"> |
| <packagedElement xmi:type="uml:Collaboration" xmi:id="_hcESAKKyEea-bLTb0QF90w" name="Service"> |
| <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="_hcKYoKKyEea-bLTb0QF90w" client="_hcESAKKyEea-bLTb0QF90w" supplier="_hcIjcKKyEea-bLTb0QF90w" contract="_hcIjcKKyEea-bLTb0QF90w"/> |
| <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="_hcP4MKKyEea-bLTb0QF90w" client="_hcESAKKyEea-bLTb0QF90w" supplier="_hcODAKKyEea-bLTb0QF90w" contract="_hcODAKKyEea-bLTb0QF90w"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Interface" xmi:id="_hcIjcKKyEea-bLTb0QF90w" name="Service"> |
| <ownedOperation xmi:type="uml:Operation" xmi:id="_1j6xEKKyEea-bLTb0QF90w" name="request"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Interface" xmi:id="_hcK_sKKyEea-bLTb0QF90w" name="Service~"> |
| <ownedOperation xmi:type="uml:Operation" xmi:id="_wy2OwKKyEea-bLTb0QF90w" name="response"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Usage" xmi:id="_hcNb8KKyEea-bLTb0QF90w" client="_hcESAKKyEea-bLTb0QF90w" supplier="_hcK_sKKyEea-bLTb0QF90w"/> |
| <packagedElement xmi:type="uml:AnyReceiveEvent" xmi:id="_hcNb8aKyEea-bLTb0QF90w" name="*"/> |
| <packagedElement xmi:type="uml:Interface" xmi:id="_hcODAKKyEea-bLTb0QF90w" name="ServiceIO"/> |
| <packagedElement xmi:type="uml:Usage" xmi:id="_hcQfQKKyEea-bLTb0QF90w" client="_hcESAKKyEea-bLTb0QF90w" supplier="_hcODAKKyEea-bLTb0QF90w"/> |
| <packagedElement xmi:type="uml:CallEvent" xmi:id="_x4C8QKKyEea-bLTb0QF90w" operation="_wy2OwKKyEea-bLTb0QF90w"/> |
| <packagedElement xmi:type="uml:CallEvent" xmi:id="_2D1nQKKyEea-bLTb0QF90w" operation="_1j6xEKKyEea-bLTb0QF90w"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="_5zX0EKKyEea-bLTb0QF90w" name="Server1" classifierBehavior="_JpdjAKKzEea-bLTb0QF90w" isActive="true"> |
| <generalization xmi:type="uml:Generalization" xmi:id="__kbMsKKyEea-bLTb0QF90w" general="_aSJB8KKyEea-bLTb0QF90w"/> |
| <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_JpdjAKKzEea-bLTb0QF90w" name="StateMachine" isReentrant="false"> |
| <region xmi:type="uml:Region" xmi:id="_JpnUAKKzEea-bLTb0QF90w" name="Region"> |
| <transition xmi:type="uml:Transition" xmi:id="_Jp5A0KKzEea-bLTb0QF90w" name="Initial" source="_JpszkKKzEea-bLTb0QF90w" target="_Jp3LoKKzEea-bLTb0QF90w"/> |
| <transition xmi:type="uml:Transition" xmi:id="_PnvfUKKzEea-bLTb0QF90w" source="_Jp3LoKKzEea-bLTb0QF90w" target="_Jp3LoKKzEea-bLTb0QF90w"> |
| <effect xmi:type="uml:OpaqueBehavior" xmi:id="_6bS6QKKzEea-bLTb0QF90w"> |
| <language>C++</language> |
| <body> log.log("[Server1](request) received request on service port"); |
| service.response().send(); |
| log.log("[Server1](request) sent response on service port"); |
| </body> |
| </effect> |
| <trigger xmi:type="uml:Trigger" xmi:id="_V7nRIKKzEea-bLTb0QF90w" event="_2D1nQKKyEea-bLTb0QF90w" port="_tOk2wKKyEea-bLTb0QF90w"/> |
| </transition> |
| <subvertex xmi:type="uml:Pseudostate" xmi:id="_JpszkKKzEea-bLTb0QF90w"> |
| <name xsi:nil="true"/> |
| </subvertex> |
| <subvertex xmi:type="uml:State" xmi:id="_Jp3LoKKzEea-bLTb0QF90w" name="WaitingForRequests"> |
| <entry xmi:type="uml:OpaqueBehavior" xmi:id="_sPHvcKKzEea-bLTb0QF90w"> |
| <language>C++</language> |
| <body> log.log("[Server1](WaitingForRequests)"); |
| </body> |
| </entry> |
| </subvertex> |
| </region> |
| </ownedBehavior> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Dependency" xmi:id="_eZZ1cKK2Eea-bLTb0QF90w" client="_ThMSkKKyEea-bLTb0QF90w" supplier="_5zX0EKKyEea-bLTb0QF90w"/> |
| <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_PVwz8KKyEea-bLTb0QF90w"> |
| <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_PVxbAKKyEea-bLTb0QF90w" source="http://www.eclipse.org/uml2/2.0.0/UML"> |
| <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/umlrt#/"/> |
| </eAnnotations> |
| <appliedProfile xmi:type="uml:Profile" href="pathmap://UML_RT_PROFILE/uml-rt.profile.uml#_1h74oEeVEeO0lv5O1DTHOQ"/> |
| </profileApplication> |
| <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_Q5LHcKKyEea-bLTb0QF90w"> |
| <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_Q5LHcaKyEea-bLTb0QF90w" source="http://www.eclipse.org/uml2/2.0.0/UML"> |
| <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/umlrt/cppproperties#/"/> |
| </eAnnotations> |
| <appliedProfile xmi:type="uml:Profile" href="pathmap://UMLRT_CPP/RTCppProperties.profile.uml#_vl5LALs8EeSTjNEQkASznQ"/> |
| </profileApplication> |
| <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_SG77EKKyEea-bLTb0QF90w"> |
| <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_SG77EaKyEea-bLTb0QF90w" source="http://www.eclipse.org/uml2/2.0.0/UML"> |
| <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/umlrt/statemachine#/"/> |
| </eAnnotations> |
| <appliedProfile xmi:type="uml:Profile" href="pathmap://UML_RT_PROFILE/UMLRealTimeSM-addendum.profile.uml#_KLcn0FDtEeOA4ecmvfqvaw"/> |
| </profileApplication> |
| </uml:Model> |
| <UMLRealTime:Capsule xmi:id="_ThhpwKKyEea-bLTb0QF90w" base_Class="_ThMSkKKyEea-bLTb0QF90w"/> |
| <UMLRealTime:RTPort xmi:id="_VvNCQKKyEea-bLTb0QF90w" isWired="false" base_Port="_VvLNEKKyEea-bLTb0QF90w"/> |
| <UMLRealTime:RTPort xmi:id="_W2Pi0KKyEea-bLTb0QF90w" isWired="false" base_Port="_W2NtoKKyEea-bLTb0QF90w"/> |
| <UMLRealTime:CapsulePart xmi:id="_YcvmkKKyEea-bLTb0QF90w" base_Property="_YctxYKKyEea-bLTb0QF90w"/> |
| <UMLRealTime:Capsule xmi:id="_YvTWPKKyEea-bLTb0QF90w" base_Class="_Yu8w4KKyEea-bLTb0QF90w"/> |
| <UMLRealTime:CapsulePart xmi:id="_aDkacKKyEea-bLTb0QF90w" base_Property="_aDilQKKyEea-bLTb0QF90w"/> |
| <UMLRealTime:Capsule xmi:id="_aSdyEKKyEea-bLTb0QF90w" base_Class="_aSJB8KKyEea-bLTb0QF90w"/> |
| <UMLRealTime:RTPort xmi:id="_hKA4sKKyEea-bLTb0QF90w" isNotification="true" isWired="false" base_Port="_hJ-ccKKyEea-bLTb0QF90w"/> |
| <UMLRealTime:ProtocolContainer xmi:id="_hcHVUKKyEea-bLTb0QF90w" base_Package="_hcGHMKKyEea-bLTb0QF90w"/> |
| <UMLRealTime:RTMessageSet xmi:id="_hcJxkKKyEea-bLTb0QF90w" base_Interface="_hcIjcKKyEea-bLTb0QF90w"/> |
| <UMLRealTime:RTMessageSet xmi:id="_hcM04KKyEea-bLTb0QF90w" base_Interface="_hcK_sKKyEea-bLTb0QF90w" rtMsgKind="out"/> |
| <UMLRealTime:RTMessageSet xmi:id="_hcPRIKKyEea-bLTb0QF90w" base_Interface="_hcODAKKyEea-bLTb0QF90w" rtMsgKind="inOut"/> |
| <UMLRealTime:Protocol xmi:id="_hcRGUKKyEea-bLTb0QF90w" base_Collaboration="_hcESAKKyEea-bLTb0QF90w"/> |
| <UMLRealTime:RTPort xmi:id="_tPwigKKyEea-bLTb0QF90w" isPublish="true" isWired="false" base_Port="_tOk2wKKyEea-bLTb0QF90w"/> |
| <UMLRealTime:Capsule xmi:id="_5zvAcKKyEea-bLTb0QF90w" base_Class="_5zX0EKKyEea-bLTb0QF90w"/> |
| <UMLRTStateMachines:RTPseudostate xmi:id="_JpyTIKKzEea-bLTb0QF90w" base_Pseudostate="_JpszkKKzEea-bLTb0QF90w"/> |
| <UMLRTStateMachines:RTState xmi:id="_Jp4ZwKKzEea-bLTb0QF90w" base_State="_Jp3LoKKzEea-bLTb0QF90w"/> |
| <UMLRTStateMachines:RTRegion xmi:id="_Jp5n4KKzEea-bLTb0QF90w" base_Region="_JpnUAKKzEea-bLTb0QF90w"/> |
| <UMLRTStateMachines:RTStateMachine xmi:id="_JqbzYKKzEea-bLTb0QF90w" base_StateMachine="_JpdjAKKzEea-bLTb0QF90w"/> |
| <UMLRealTime:RTPort xmi:id="_aNnR0KKzEea-bLTb0QF90w" isWired="false" base_Port="_aNlcoKKzEea-bLTb0QF90w"/> |
| <UMLRealTime:RTPort xmi:id="_b3Ei8KKzEea-bLTb0QF90w" isWired="false" base_Port="_b3CtwKKzEea-bLTb0QF90w"/> |
| <UMLRealTime:RTPort xmi:id="_eZjGwKKzEea-bLTb0QF90w" isWired="false" base_Port="_eZe1UKKzEea-bLTb0QF90w"/> |
| <UMLRTStateMachines:RTPseudostate xmi:id="_VIZPAKK0Eea-bLTb0QF90w" base_Pseudostate="_VIYA4KK0Eea-bLTb0QF90w"/> |
| <UMLRTStateMachines:RTState xmi:id="_VIadIKK0Eea-bLTb0QF90w" base_State="_VIZPAaK0Eea-bLTb0QF90w"/> |
| <UMLRTStateMachines:RTRegion xmi:id="_VIbEMaK0Eea-bLTb0QF90w" base_Region="_VIWywKK0Eea-bLTb0QF90w"/> |
| <UMLRTStateMachines:RTStateMachine xmi:id="_VJATEKK0Eea-bLTb0QF90w" base_StateMachine="_VIUWgKK0Eea-bLTb0QF90w"/> |
| <UMLRTStateMachines:RTState xmi:id="_kNWb8KK0Eea-bLTb0QF90w" base_State="_kNUmwKK0Eea-bLTb0QF90w"/> |
| <UMLRTStateMachines:RTState xmi:id="_za4WEKK0Eea-bLTb0QF90w" base_State="_za3H8KK0Eea-bLTb0QF90w"/> |
| <UMLRTStateMachines:RTState xmi:id="_O5-IcKK1Eea-bLTb0QF90w" base_State="_O586UKK1Eea-bLTb0QF90w"/> |
| <UMLRTStateMachines:RTPseudostate xmi:id="_vLPQYKK1Eea-bLTb0QF90w" base_Pseudostate="_vLOCQKK1Eea-bLTb0QF90w"/> |
| <UMLRTStateMachines:RTState xmi:id="_vLRFkKK1Eea-bLTb0QF90w" base_State="_vLP3cKK1Eea-bLTb0QF90w"/> |
| <UMLRTStateMachines:RTRegion xmi:id="_vLRsoKK1Eea-bLTb0QF90w" base_Region="_vLNbMKK1Eea-bLTb0QF90w"/> |
| <UMLRTStateMachines:RTStateMachine xmi:id="_vLz4MKK1Eea-bLTb0QF90w" base_StateMachine="_vLK-8KK1Eea-bLTb0QF90w"/> |
| <UMLRTStateMachines:RTPseudostate xmi:id="_mQE2wKK2Eea-bLTb0QF90w" base_Pseudostate="_mQDooKK2Eea-bLTb0QF90w"/> |
| <UMLRTStateMachines:RTState xmi:id="_mQGE4KK2Eea-bLTb0QF90w" base_State="_mQE2waK2Eea-bLTb0QF90w"/> |
| <UMLRTStateMachines:RTRegion xmi:id="_mQGE4qK2Eea-bLTb0QF90w" base_Region="_mQDBkKK2Eea-bLTb0QF90w"/> |
| <UMLRTStateMachines:RTStateMachine xmi:id="_mQr6wKK2Eea-bLTb0QF90w" base_StateMachine="_mQAlUKK2Eea-bLTb0QF90w"/> |
| </xmi:XMI> |
