| <?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:RTCppProperties="http://www.eclipse.org/papyrus/umlrt/cppproperties" xmlns:UMLRealTime="http://www.eclipse.org/papyrus/umlrt" xmlns:UMLRealTimeStateMach="http://www.eclipse.org/papyrus/umlrt/statemachine" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML"> |
| <uml:Model xmi:id="_27__0OVsEeWE_eYIJ1Eu6A" name="RootElement"> |
| <packagedElement xmi:type="uml:Package" xmi:id="_Ar2wUOVtEeWE_eYIJ1Eu6A" name="Protocol1"> |
| <packagedElement xmi:type="uml:Collaboration" xmi:id="_ApagUOVtEeWE_eYIJ1Eu6A" name="Protocol1"> |
| <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="_AsDkoOVtEeWE_eYIJ1Eu6A" client="_ApagUOVtEeWE_eYIJ1Eu6A" supplier="_AsBIYOVtEeWE_eYIJ1Eu6A" contract="_AsBIYOVtEeWE_eYIJ1Eu6A"> |
| <name xsi:nil="true"/> |
| </interfaceRealization> |
| <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="_AsMHgOVtEeWE_eYIJ1Eu6A" client="_ApagUOVtEeWE_eYIJ1Eu6A" supplier="_AsKSUOVtEeWE_eYIJ1Eu6A" contract="_AsKSUOVtEeWE_eYIJ1Eu6A"> |
| <name xsi:nil="true"/> |
| </interfaceRealization> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Interface" xmi:id="_AsBIYOVtEeWE_eYIJ1Eu6A" name="Protocol1"/> |
| <packagedElement xmi:type="uml:Interface" xmi:id="_AsGA4OVtEeWE_eYIJ1Eu6A" name="Protocol1~"> |
| <ownedOperation xmi:type="uml:Operation" xmi:id="_CIWjgOVtEeWE_eYIJ1Eu6A" name="msg1"/> |
| <ownedOperation xmi:type="uml:Operation" xmi:id="_C5VUgOVtEeWE_eYIJ1Eu6A" name="msg2"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Usage" xmi:id="_AsJEMOVtEeWE_eYIJ1Eu6A" client="_ApagUOVtEeWE_eYIJ1Eu6A" supplier="_AsGA4OVtEeWE_eYIJ1Eu6A"> |
| <name xsi:nil="true"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:AnyReceiveEvent" xmi:id="_AsJrQOVtEeWE_eYIJ1Eu6A" name="*"/> |
| <packagedElement xmi:type="uml:Interface" xmi:id="_AsKSUOVtEeWE_eYIJ1Eu6A" name="Protocol1IO"/> |
| <packagedElement xmi:type="uml:Usage" xmi:id="_AsNVoOVtEeWE_eYIJ1Eu6A" client="_ApagUOVtEeWE_eYIJ1Eu6A" supplier="_AsKSUOVtEeWE_eYIJ1Eu6A"> |
| <name xsi:nil="true"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:CallEvent" xmi:id="_CIY_wOVtEeWE_eYIJ1Eu6A" operation="_CIWjgOVtEeWE_eYIJ1Eu6A"> |
| <name xsi:nil="true"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:CallEvent" xmi:id="_C5V7kOVtEeWE_eYIJ1Eu6A" operation="_C5VUgOVtEeWE_eYIJ1Eu6A"> |
| <name xsi:nil="true"/> |
| </packagedElement> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="_D2W9cOVtEeWE_eYIJ1Eu6A" name="Top" isActive="true"> |
| <ownedAttribute xmi:type="uml:Property" xmi:id="_npX4YOVuEeWE_eYIJ1Eu6A" name="a" visibility="protected" type="_GrpvkOVtEeWE_eYIJ1Eu6A" isOrdered="true" aggregation="composite"> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_npa7seVuEeWE_eYIJ1Eu6A" value="2"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_npa7suVuEeWE_eYIJ1Eu6A" value="2"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:type="uml:Property" xmi:id="_oJFTMOVuEeWE_eYIJ1Eu6A" name="b" visibility="protected" type="_HzwAEOVtEeWE_eYIJ1Eu6A" isOrdered="true" aggregation="composite"> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_oJKywOVuEeWE_eYIJ1Eu6A" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_oJKyweVuEeWE_eYIJ1Eu6A" value="1"/> |
| </ownedAttribute> |
| <ownedConnector xmi:type="uml:Connector" xmi:id="_v2890OVuEeWE_eYIJ1Eu6A" name="x"> |
| <end xmi:type="uml:ConnectorEnd" xmi:id="_v2-zAOVuEeWE_eYIJ1Eu6A" partWithPort="_npX4YOVuEeWE_eYIJ1Eu6A" role="_HlByIOVuEeWE_eYIJ1Eu6A"/> |
| <end xmi:type="uml:ConnectorEnd" xmi:id="_v2-zAeVuEeWE_eYIJ1Eu6A" partWithPort="_oJFTMOVuEeWE_eYIJ1Eu6A" role="_K7q90OVuEeWE_eYIJ1Eu6A"/> |
| </ownedConnector> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="_GrpvkOVtEeWE_eYIJ1Eu6A" name="A" classifierBehavior="_0HTYsOVuEeWE_eYIJ1Eu6A" isActive="true"> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_HlByIOVuEeWE_eYIJ1Eu6A" name="p" visibility="public" type="_ApagUOVtEeWE_eYIJ1Eu6A" isOrdered="true" aggregation="composite" isBehavior="true"/> |
| <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_0HTYsOVuEeWE_eYIJ1Eu6A" name="StateMachine" isReentrant="false"> |
| <region xmi:type="uml:Region" xmi:id="_0HaGYOVuEeWE_eYIJ1Eu6A" name="Region"> |
| <transition xmi:type="uml:Transition" xmi:id="_2cqGgOVuEeWE_eYIJ1Eu6A" name="t0" source="_0HdwwOVuEeWE_eYIJ1Eu6A" target="_1v2D0OVuEeWE_eYIJ1Eu6A"/> |
| <subvertex xmi:type="uml:Pseudostate" xmi:id="_0HdwwOVuEeWE_eYIJ1Eu6A"> |
| <name xsi:nil="true"/> |
| </subvertex> |
| <subvertex xmi:type="uml:State" xmi:id="_1v2D0OVuEeWE_eYIJ1Eu6A" name="State1"> |
| <entry xmi:type="uml:OpaqueBehavior" xmi:id="_-RvMYOVuEeWE_eYIJ1Eu6A"> |
| <language>C++</language> |
| <body>cout << CAPINST_STATE << " sending msg1" << endl; |
| p.msg1().send(); |
| </body> |
| </entry> |
| </subvertex> |
| </region> |
| </ownedBehavior> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="_HzwAEOVtEeWE_eYIJ1Eu6A" name="B" isActive="true"> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_K7q90OVuEeWE_eYIJ1Eu6A" name="q" visibility="public" type="_ApagUOVtEeWE_eYIJ1Eu6A" isOrdered="true" aggregation="composite" isConjugated="true"> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_N2UxEOVuEeWE_eYIJ1Eu6A" value="2"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_O0__0OVuEeWE_eYIJ1Eu6A" value="2"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:type="uml:Property" xmi:id="_YFcQcOVuEeWE_eYIJ1Eu6A" name="c" visibility="protected" type="_JnaWEOVtEeWE_eYIJ1Eu6A" isOrdered="true" aggregation="composite"> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_YFgh4eVuEeWE_eYIJ1Eu6A" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_YFhI8OVuEeWE_eYIJ1Eu6A" value="1"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:type="uml:Property" xmi:id="_YtHUcOVuEeWE_eYIJ1Eu6A" name="d" visibility="protected" type="_K7vEsOVtEeWE_eYIJ1Eu6A" isOrdered="true" aggregation="composite"> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_YtK-0OVuEeWE_eYIJ1Eu6A" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_YtK-0eVuEeWE_eYIJ1Eu6A" value="1"/> |
| </ownedAttribute> |
| <ownedConnector xmi:type="uml:Connector" xmi:id="_gb6zMOVuEeWE_eYIJ1Eu6A" name="y"> |
| <end xmi:type="uml:ConnectorEnd" xmi:id="_gb_EoOVuEeWE_eYIJ1Eu6A" role="_K7q90OVuEeWE_eYIJ1Eu6A"/> |
| <end xmi:type="uml:ConnectorEnd" xmi:id="_gb_EoeVuEeWE_eYIJ1Eu6A" partWithPort="_YFcQcOVuEeWE_eYIJ1Eu6A" role="_SI1vIOVuEeWE_eYIJ1Eu6A"/> |
| </ownedConnector> |
| <ownedConnector xmi:type="uml:Connector" xmi:id="_hhkzsOVuEeWE_eYIJ1Eu6A" name="z"> |
| <end xmi:type="uml:ConnectorEnd" xmi:id="_hhmB0OVuEeWE_eYIJ1Eu6A" role="_K7q90OVuEeWE_eYIJ1Eu6A"/> |
| <end xmi:type="uml:ConnectorEnd" xmi:id="_hhmo4OVuEeWE_eYIJ1Eu6A" partWithPort="_YtHUcOVuEeWE_eYIJ1Eu6A" role="_VprYoOVuEeWE_eYIJ1Eu6A"/> |
| </ownedConnector> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="_JnaWEOVtEeWE_eYIJ1Eu6A" name="C" classifierBehavior="_HMHGYOVvEeWE_eYIJ1Eu6A" isActive="true"> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_SI1vIOVuEeWE_eYIJ1Eu6A" name="r" visibility="public" type="_ApagUOVtEeWE_eYIJ1Eu6A" isOrdered="true" aggregation="composite" isBehavior="true" isConjugated="true"/> |
| <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_HMHGYOVvEeWE_eYIJ1Eu6A" name="StateMachine" isReentrant="false"> |
| <region xmi:type="uml:Region" xmi:id="_HMKwwOVvEeWE_eYIJ1Eu6A" name="Region"> |
| <transition xmi:type="uml:Transition" xmi:id="_K7MAMOVvEeWE_eYIJ1Eu6A" name="t0" source="_HMMl8OVvEeWE_eYIJ1Eu6A" target="_JjPV0OVvEeWE_eYIJ1Eu6A"/> |
| <transition xmi:type="uml:Transition" xmi:id="_MVD9MOVvEeWE_eYIJ1Eu6A" name="t1" source="_JjPV0OVvEeWE_eYIJ1Eu6A" target="_KHSeEOVvEeWE_eYIJ1Eu6A"> |
| <effect xmi:type="uml:OpaqueBehavior" xmi:id="_hJt34OVvEeWE_eYIJ1Eu6A"> |
| <language>C++</language> |
| <body>cout << CAPINST_STATE << " received msg1" << endl; |
| </body> |
| </effect> |
| <trigger xmi:type="uml:Trigger" xmi:id="_XvpKIOVvEeWE_eYIJ1Eu6A" event="_CIY_wOVtEeWE_eYIJ1Eu6A" port="_SI1vIOVuEeWE_eYIJ1Eu6A"/> |
| </transition> |
| <subvertex xmi:type="uml:Pseudostate" xmi:id="_HMMl8OVvEeWE_eYIJ1Eu6A"> |
| <name xsi:nil="true"/> |
| </subvertex> |
| <subvertex xmi:type="uml:State" xmi:id="_JjPV0OVvEeWE_eYIJ1Eu6A" name="State1"/> |
| <subvertex xmi:type="uml:State" xmi:id="_KHSeEOVvEeWE_eYIJ1Eu6A" name="State2"/> |
| </region> |
| </ownedBehavior> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="_K7vEsOVtEeWE_eYIJ1Eu6A" name="D" classifierBehavior="_i9ZcAOVvEeWE_eYIJ1Eu6A" isActive="true"> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_VprYoOVuEeWE_eYIJ1Eu6A" name="s" visibility="public" type="_ApagUOVtEeWE_eYIJ1Eu6A" isOrdered="true" aggregation="composite" isBehavior="true" isConjugated="true"/> |
| <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_i9ZcAOVvEeWE_eYIJ1Eu6A" name="StateMachine" isReentrant="false"> |
| <region xmi:type="uml:Region" xmi:id="_i9b4QOVvEeWE_eYIJ1Eu6A" name="Region"> |
| <transition xmi:type="uml:Transition" xmi:id="_ldKDAOVvEeWE_eYIJ1Eu6A" name="t0" source="_i9dGYOVvEeWE_eYIJ1Eu6A" target="_kquggOVvEeWE_eYIJ1Eu6A"/> |
| <transition xmi:type="uml:Transition" xmi:id="_muyqAOVvEeWE_eYIJ1Eu6A" name="t1" source="_kquggOVvEeWE_eYIJ1Eu6A" target="_k-iNUOVvEeWE_eYIJ1Eu6A"> |
| <effect xmi:type="uml:OpaqueBehavior" xmi:id="_tUvqUOVvEeWE_eYIJ1Eu6A"> |
| <language>C++</language> |
| <body>cout << CAPINST_STATE << " received msg1" << endl; |
| </body> |
| </effect> |
| <trigger xmi:type="uml:Trigger" xmi:id="_qTjxQOVvEeWE_eYIJ1Eu6A" event="_CIY_wOVtEeWE_eYIJ1Eu6A" port="_VprYoOVuEeWE_eYIJ1Eu6A"/> |
| </transition> |
| <subvertex xmi:type="uml:Pseudostate" xmi:id="_i9dGYOVvEeWE_eYIJ1Eu6A"> |
| <name xsi:nil="true"/> |
| </subvertex> |
| <subvertex xmi:type="uml:State" xmi:id="_kquggOVvEeWE_eYIJ1Eu6A" name="State1"/> |
| <subvertex xmi:type="uml:State" xmi:id="_k-iNUOVvEeWE_eYIJ1Eu6A" name="State2"/> |
| </region> |
| </ownedBehavior> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Artifact" xmi:id="_dhmzoOVtEeWE_eYIJ1Eu6A" name="UtilityMacros" fileName="utility_macros"/> |
| <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_3A8KMOVsEeWE_eYIJ1Eu6A"> |
| <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_3BAboOVsEeWE_eYIJ1Eu6A" 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="_3IF7EOVsEeWE_eYIJ1Eu6A"> |
| <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_3IF7EeVsEeWE_eYIJ1Eu6A" 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> |
| <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_Muqa4OVtEeWE_eYIJ1Eu6A"> |
| <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_MurB8OVtEeWE_eYIJ1Eu6A" 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> |
| </uml:Model> |
| <UMLRealTime:ProtocolContainer xmi:id="_Ar3-cOVtEeWE_eYIJ1Eu6A" base_Package="_Ar2wUOVtEeWE_eYIJ1Eu6A"/> |
| <UMLRealTime:RTMessageSet xmi:id="_AsCWgOVtEeWE_eYIJ1Eu6A" base_Interface="_AsBIYOVtEeWE_eYIJ1Eu6A"/> |
| <UMLRealTime:RTMessageSet xmi:id="_AsH2EOVtEeWE_eYIJ1Eu6A" base_Interface="_AsGA4OVtEeWE_eYIJ1Eu6A" rtMsgKind="out"/> |
| <UMLRealTime:RTMessageSet xmi:id="_AsLgcOVtEeWE_eYIJ1Eu6A" base_Interface="_AsKSUOVtEeWE_eYIJ1Eu6A" rtMsgKind="inOut"/> |
| <UMLRealTime:Protocol xmi:id="_AsN8sOVtEeWE_eYIJ1Eu6A" base_Collaboration="_ApagUOVtEeWE_eYIJ1Eu6A"/> |
| <UMLRealTime:Capsule xmi:id="_D4N-oOVtEeWE_eYIJ1Eu6A" base_Class="_D2W9cOVtEeWE_eYIJ1Eu6A"/> |
| <UMLRealTime:Capsule xmi:id="_GsEmUOVtEeWE_eYIJ1Eu6A" base_Class="_GrpvkOVtEeWE_eYIJ1Eu6A"/> |
| <UMLRealTime:Capsule xmi:id="_H0JosOVtEeWE_eYIJ1Eu6A" base_Class="_HzwAEOVtEeWE_eYIJ1Eu6A"/> |
| <UMLRealTime:Capsule xmi:id="_Jn0lwOVtEeWE_eYIJ1Eu6A" base_Class="_JnaWEOVtEeWE_eYIJ1Eu6A"/> |
| <UMLRealTime:Capsule xmi:id="_K8ItUOVtEeWE_eYIJ1Eu6A" base_Class="_K7vEsOVtEeWE_eYIJ1Eu6A"/> |
| <RTCppProperties:CapsuleProperties xmi:id="_OCuDwOVtEeWE_eYIJ1Eu6A" implementationPreface="#include "utility_macros.hh"
#include <iostream>
using namespace std;
" base_Class="_GrpvkOVtEeWE_eYIJ1Eu6A"/> |
| <RTCppProperties:ArtifactProperties xmi:id="_6fGdsOVtEeWE_eYIJ1Eu6A" base_Artifact="_dhmzoOVtEeWE_eYIJ1Eu6A" includeFile="#define CAPINST "[" << name() << ":" << getTypeName() << "]"
#define FCAPINST "[" << name() << ":" << getTypeName() << "::" << getName() << "[" << getIndex() << "]]"
#define CAPINST_STATE CAPINST << "(" << getCurrentStateString() << ")"
#define FCAPINST_STATE FCAPINST << "(" << getCurrentStateString() << ")"
"/> |
| <RTCppProperties:CapsuleProperties xmi:id="_Cc4zoOVuEeWE_eYIJ1Eu6A" implementationPreface="#include "utility_macros.hh"
#include <iostream>
using namespace std;
" base_Class="_JnaWEOVtEeWE_eYIJ1Eu6A"/> |
| <RTCppProperties:CapsuleProperties xmi:id="_ETdTsOVuEeWE_eYIJ1Eu6A" implementationPreface="#include "utility_macros.hh"
#include <iostream>
using namespace std;
" base_Class="_K7vEsOVtEeWE_eYIJ1Eu6A"/> |
| <UMLRealTime:RTPort xmi:id="_HlLjIOVuEeWE_eYIJ1Eu6A" base_Port="_HlByIOVuEeWE_eYIJ1Eu6A"/> |
| <UMLRealTime:RTPort xmi:id="_K7uBIOVuEeWE_eYIJ1Eu6A" base_Port="_K7q90OVuEeWE_eYIJ1Eu6A"/> |
| <UMLRealTime:RTPort xmi:id="_SI5ZgOVuEeWE_eYIJ1Eu6A" base_Port="_SI1vIOVuEeWE_eYIJ1Eu6A"/> |
| <UMLRealTime:RTPort xmi:id="_Vpt04OVuEeWE_eYIJ1Eu6A" base_Port="_VprYoOVuEeWE_eYIJ1Eu6A"/> |
| <UMLRealTime:CapsulePart xmi:id="_YFgh4OVuEeWE_eYIJ1Eu6A" base_Property="_YFcQcOVuEeWE_eYIJ1Eu6A"/> |
| <UMLRealTime:CapsulePart xmi:id="_YtKXwOVuEeWE_eYIJ1Eu6A" base_Property="_YtHUcOVuEeWE_eYIJ1Eu6A"/> |
| <UMLRealTime:RTConnector xmi:id="_gb_EouVuEeWE_eYIJ1Eu6A" base_Connector="_gb6zMOVuEeWE_eYIJ1Eu6A"/> |
| <UMLRealTime:RTConnector xmi:id="_hhmo4eVuEeWE_eYIJ1Eu6A" base_Connector="_hhkzsOVuEeWE_eYIJ1Eu6A"/> |
| <UMLRealTime:CapsulePart xmi:id="_npa7sOVuEeWE_eYIJ1Eu6A" base_Property="_npX4YOVuEeWE_eYIJ1Eu6A"/> |
| <UMLRealTime:CapsulePart xmi:id="_oJKLsOVuEeWE_eYIJ1Eu6A" base_Property="_oJFTMOVuEeWE_eYIJ1Eu6A"/> |
| <UMLRealTime:RTConnector xmi:id="_v2_aEOVuEeWE_eYIJ1Eu6A" base_Connector="_v2890OVuEeWE_eYIJ1Eu6A"/> |
| <UMLRealTimeStateMach:RTPseudostate xmi:id="_0Hg0EOVuEeWE_eYIJ1Eu6A" base_Pseudostate="_0HdwwOVuEeWE_eYIJ1Eu6A"/> |
| <UMLRealTimeStateMach:RTRegion xmi:id="_0HipQOVuEeWE_eYIJ1Eu6A" base_Region="_0HaGYOVuEeWE_eYIJ1Eu6A"/> |
| <UMLRealTimeStateMach:RTStateMachine xmi:id="_0HjQUOVuEeWE_eYIJ1Eu6A" base_StateMachine="_0HTYsOVuEeWE_eYIJ1Eu6A"/> |
| <UMLRealTimeStateMach:RTState xmi:id="_1v4gEOVuEeWE_eYIJ1Eu6A" base_State="_1v2D0OVuEeWE_eYIJ1Eu6A"/> |
| <UMLRealTimeStateMach:RTPseudostate xmi:id="_HMObIOVvEeWE_eYIJ1Eu6A" base_Pseudostate="_HMMl8OVvEeWE_eYIJ1Eu6A"/> |
| <UMLRealTimeStateMach:RTRegion xmi:id="_HMPCMOVvEeWE_eYIJ1Eu6A" base_Region="_HMKwwOVvEeWE_eYIJ1Eu6A"/> |
| <UMLRealTimeStateMach:RTStateMachine xmi:id="_HMPpQOVvEeWE_eYIJ1Eu6A" base_StateMachine="_HMHGYOVvEeWE_eYIJ1Eu6A"/> |
| <UMLRealTimeStateMach:RTState xmi:id="_JjRLAOVvEeWE_eYIJ1Eu6A" base_State="_JjPV0OVvEeWE_eYIJ1Eu6A"/> |
| <UMLRealTimeStateMach:RTState xmi:id="_KHUTQOVvEeWE_eYIJ1Eu6A" base_State="_KHSeEOVvEeWE_eYIJ1Eu6A"/> |
| <UMLRealTimeStateMach:RTPseudostate xmi:id="_i9e7kOVvEeWE_eYIJ1Eu6A" base_Pseudostate="_i9dGYOVvEeWE_eYIJ1Eu6A"/> |
| <UMLRealTimeStateMach:RTRegion xmi:id="_i9fioOVvEeWE_eYIJ1Eu6A" base_Region="_i9b4QOVvEeWE_eYIJ1Eu6A"/> |
| <UMLRealTimeStateMach:RTStateMachine xmi:id="_i9gJsOVvEeWE_eYIJ1Eu6A" base_StateMachine="_i9ZcAOVvEeWE_eYIJ1Eu6A"/> |
| <UMLRealTimeStateMach:RTState xmi:id="_kqw8wOVvEeWE_eYIJ1Eu6A" base_State="_kquggOVvEeWE_eYIJ1Eu6A"/> |
| <UMLRealTimeStateMach:RTState xmi:id="_k-kCgOVvEeWE_eYIJ1Eu6A" base_State="_k-iNUOVvEeWE_eYIJ1Eu6A"/> |
| </xmi:XMI> |