| <?xml version="1.0" encoding="UTF-8"?> |
| <xmi:XMI xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" 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="_1a7bAP31Eeaho99HbWPUFw" name="ExclusionsTransitions"> |
| <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_1a7bAf31Eeaho99HbWPUFw" source="http://www.eclipse.org/papyrus-rt/language/1.0.0"> |
| <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_1a7bAv31Eeaho99HbWPUFw" key="language" value="umlrt-cpp"/> |
| </eAnnotations> |
| <packagedElement xmi:type="uml:Package" xmi:id="_7h5ZQP31Eeaho99HbWPUFw" name="Protocol1"> |
| <packagedElement xmi:type="uml:Collaboration" xmi:id="_7bz_YP31Eeaho99HbWPUFw" name="Protocol1"> |
| <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="_7ii5gP31Eeaho99HbWPUFw" client="_7bz_YP31Eeaho99HbWPUFw" supplier="_7iWsQP31Eeaho99HbWPUFw" contract="_7iWsQP31Eeaho99HbWPUFw"/> |
| <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="_7i10cP31Eeaho99HbWPUFw" client="_7bz_YP31Eeaho99HbWPUFw" supplier="_7iwU4P31Eeaho99HbWPUFw" contract="_7iwU4P31Eeaho99HbWPUFw"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Interface" xmi:id="_7iWsQP31Eeaho99HbWPUFw" name="Protocol1"> |
| <ownedOperation xmi:type="uml:Operation" xmi:id="_I2CI0P32Eeaho99HbWPUFw" name="m1"> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_5_hyIP32Eeaho99HbWPUFw" name="data"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_zL7x0OmKEeG_gcDHG3asaQ"/> |
| </ownedParameter> |
| </ownedOperation> |
| <ownedOperation xmi:type="uml:Operation" xmi:id="_K-x-AP32Eeaho99HbWPUFw" name="m2"> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_8LWwgP32Eeaho99HbWPUFw" name="data"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_V3dAkOmJEeG_gcDHG3asaQ"/> |
| </ownedParameter> |
| </ownedOperation> |
| <ownedOperation xmi:type="uml:Operation" xmi:id="_klkyAP32Eeaho99HbWPUFw" name="m3"> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_9S7ckP32Eeaho99HbWPUFw" name="data"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_yJpD0OmJEeG_gcDHG3asaQ"/> |
| </ownedParameter> |
| </ownedOperation> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Interface" xmi:id="_7inK8P31Eeaho99HbWPUFw" name="Protocol1~"/> |
| <packagedElement xmi:type="uml:Usage" xmi:id="_7it4oP31Eeaho99HbWPUFw" client="_7bz_YP31Eeaho99HbWPUFw" supplier="_7inK8P31Eeaho99HbWPUFw"/> |
| <packagedElement xmi:type="uml:AnyReceiveEvent" xmi:id="_7ivGwP31Eeaho99HbWPUFw" name="*"/> |
| <packagedElement xmi:type="uml:Interface" xmi:id="_7iwU4P31Eeaho99HbWPUFw" name="Protocol1IO"/> |
| <packagedElement xmi:type="uml:Usage" xmi:id="_7i3CkP31Eeaho99HbWPUFw" client="_7bz_YP31Eeaho99HbWPUFw" supplier="_7iwU4P31Eeaho99HbWPUFw"/> |
| <packagedElement xmi:type="uml:CallEvent" xmi:id="_I2bxcP32Eeaho99HbWPUFw" operation="_I2CI0P32Eeaho99HbWPUFw"/> |
| <packagedElement xmi:type="uml:CallEvent" xmi:id="_K-4EoP32Eeaho99HbWPUFw" operation="_K-x-AP32Eeaho99HbWPUFw"/> |
| <packagedElement xmi:type="uml:CallEvent" xmi:id="_klpqgP32Eeaho99HbWPUFw" operation="_klkyAP32Eeaho99HbWPUFw"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="_-5oKEP31Eeaho99HbWPUFw" name="Top" isActive="true"> |
| <ownedAttribute xmi:type="uml:Property" xmi:id="_T9V0cP32Eeaho99HbWPUFw" name="a" visibility="protected" type="_ANBroP32Eeaho99HbWPUFw" isOrdered="true" aggregation="composite"/> |
| <ownedAttribute xmi:type="uml:Property" xmi:id="_UBdfcP32Eeaho99HbWPUFw" name="b" visibility="protected" type="_sNUiMP-FEeagDfx54OupdQ" isOrdered="true" aggregation="composite"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="_ANBroP32Eeaho99HbWPUFw" name="A" classifierBehavior="_Pm-4MP32Eeaho99HbWPUFw" isActive="true"> |
| <ownedAttribute xmi:type="uml:Port" xmi:id="_FpsvsP32Eeaho99HbWPUFw" name="p" visibility="public" type="_7bz_YP31Eeaho99HbWPUFw" isOrdered="true" aggregation="composite" isBehavior="true"/> |
| <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_Pm-4MP32Eeaho99HbWPUFw" name="StateMachine" isReentrant="false"> |
| <region xmi:type="uml:Region" xmi:id="_PntQ8P32Eeaho99HbWPUFw" name="Region"> |
| <transition xmi:type="uml:Transition" xmi:id="_Pomo0P32Eeaho99HbWPUFw" name="" source="_Pn6sUP32Eeaho99HbWPUFw" target="_PoVjEP32Eeaho99HbWPUFw"/> |
| <transition xmi:type="uml:Transition" xmi:id="_i86LEP32Eeaho99HbWPUFw" name="" source="_PoVjEP32Eeaho99HbWPUFw" target="_esL8wP32Eeaho99HbWPUFw"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_FSFrgP33Eeaho99HbWPUFw" event="_I2bxcP32Eeaho99HbWPUFw" port="_FpsvsP32Eeaho99HbWPUFw"/> |
| </transition> |
| <transition xmi:type="uml:Transition" xmi:id="_mKKxQP32Eeaho99HbWPUFw" name="" source="_PoVjEP32Eeaho99HbWPUFw" target="_fN1RQP32Eeaho99HbWPUFw"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_HFRgYP33Eeaho99HbWPUFw" event="_K-4EoP32Eeaho99HbWPUFw" port="_FpsvsP32Eeaho99HbWPUFw"/> |
| </transition> |
| <transition xmi:type="uml:Transition" xmi:id="_nwvGcP32Eeaho99HbWPUFw" name="" source="_PoVjEP32Eeaho99HbWPUFw" target="_nDkecP32Eeaho99HbWPUFw"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_I6O24P33Eeaho99HbWPUFw" event="_klpqgP32Eeaho99HbWPUFw" port="_FpsvsP32Eeaho99HbWPUFw"/> |
| </transition> |
| <subvertex xmi:type="uml:Pseudostate" xmi:id="_Pn6sUP32Eeaho99HbWPUFw" name=""/> |
| <subvertex xmi:type="uml:State" xmi:id="_PoVjEP32Eeaho99HbWPUFw" name="State1"/> |
| <subvertex xmi:type="uml:State" xmi:id="_esL8wP32Eeaho99HbWPUFw" name="State2"/> |
| <subvertex xmi:type="uml:State" xmi:id="_fN1RQP32Eeaho99HbWPUFw" name="State3"/> |
| <subvertex xmi:type="uml:State" xmi:id="_nDkecP32Eeaho99HbWPUFw" name="State4"/> |
| </region> |
| </ownedBehavior> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="_sNUiMP-FEeagDfx54OupdQ" name="B" classifierBehavior="_vShYkP-FEeagDfx54OupdQ" isActive="true"> |
| <generalization xmi:type="uml:Generalization" xmi:id="_uPdZEP-FEeagDfx54OupdQ" general="_ANBroP32Eeaho99HbWPUFw"/> |
| <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_vShYkP-FEeagDfx54OupdQ" name="StateMachine" redefinedClassifier="_Pm-4MP32Eeaho99HbWPUFw" isReentrant="false" extendedStateMachine="_Pm-4MP32Eeaho99HbWPUFw"> |
| <region xmi:type="uml:Region" xmi:id="_vSpUYf-FEeagDfx54OupdQ" extendedRegion="_PntQ8P32Eeaho99HbWPUFw"> |
| <transition xmi:type="uml:Transition" xmi:id="_vSuz8P-FEeagDfx54OupdQ" guard="_yIJh4P-FEeagDfx54OupdQ" redefinedTransition="_mKKxQP32Eeaho99HbWPUFw"> |
| <ownedRule xmi:type="uml:Constraint" xmi:id="_yIJh4P-FEeagDfx54OupdQ"> |
| <specification xmi:type="uml:OpaqueExpression" xmi:id="_0w8JEP-FEeagDfx54OupdQ"> |
| <language>C++</language> |
| <body>return data < 0xFF00;</body> |
| </specification> |
| </ownedRule> |
| </transition> |
| <transition xmi:type="uml:Transition" xmi:id="_vSvbAP-FEeagDfx54OupdQ" redefinedTransition="_nwvGcP32Eeaho99HbWPUFw"/> |
| </region> |
| </ownedBehavior> |
| </packagedElement> |
| <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_1a7bA_31Eeaho99HbWPUFw"> |
| <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_1a7bBP31Eeaho99HbWPUFw" 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="_1a7bBf31Eeaho99HbWPUFw"> |
| <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_1a7bBv31Eeaho99HbWPUFw" 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="_1a7bB_31Eeaho99HbWPUFw"> |
| <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_1a7bCP31Eeaho99HbWPUFw" 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="_7iBVEP31Eeaho99HbWPUFw" base_Package="_7h5ZQP31Eeaho99HbWPUFw"/> |
| <UMLRealTime:RTMessageSet xmi:id="_7icy4P31Eeaho99HbWPUFw" base_Interface="_7iWsQP31Eeaho99HbWPUFw"/> |
| <UMLRealTime:RTMessageSet xmi:id="_7ircYP31Eeaho99HbWPUFw" base_Interface="_7inK8P31Eeaho99HbWPUFw" rtMsgKind="out"/> |
| <UMLRealTime:RTMessageSet xmi:id="_7iz_QP31Eeaho99HbWPUFw" base_Interface="_7iwU4P31Eeaho99HbWPUFw" rtMsgKind="inOut"/> |
| <UMLRealTime:Protocol xmi:id="_7i6F4P31Eeaho99HbWPUFw" base_Collaboration="_7bz_YP31Eeaho99HbWPUFw"/> |
| <UMLRealTime:Capsule xmi:id="_-9v1EP31Eeaho99HbWPUFw" base_Class="_-5oKEP31Eeaho99HbWPUFw"/> |
| <UMLRealTime:Capsule xmi:id="_ANvdUP32Eeaho99HbWPUFw" base_Class="_ANBroP32Eeaho99HbWPUFw"/> |
| <UMLRealTime:RTPort xmi:id="_FqLQ0P32Eeaho99HbWPUFw" base_Port="_FpsvsP32Eeaho99HbWPUFw"/> |
| <UMLRTStateMachines:RTPseudostate xmi:id="_PoEdUP32Eeaho99HbWPUFw" base_Pseudostate="_Pn6sUP32Eeaho99HbWPUFw"/> |
| <UMLRTStateMachines:RTState xmi:id="_PobCoP32Eeaho99HbWPUFw" base_State="_PoVjEP32Eeaho99HbWPUFw"/> |
| <UMLRTStateMachines:RTRegion xmi:id="_PosvcP32Eeaho99HbWPUFw" base_Region="_PntQ8P32Eeaho99HbWPUFw"/> |
| <UMLRTStateMachines:RTStateMachine xmi:id="_PqdqAP32Eeaho99HbWPUFw" base_StateMachine="_Pm-4MP32Eeaho99HbWPUFw"/> |
| <UMLRealTime:CapsulePart xmi:id="_T9e-YP32Eeaho99HbWPUFw" base_Property="_T9V0cP32Eeaho99HbWPUFw"/> |
| <UMLRealTime:CapsulePart xmi:id="_UBgiwP32Eeaho99HbWPUFw" base_Property="_UBdfcP32Eeaho99HbWPUFw"/> |
| <UMLRTStateMachines:RTState xmi:id="_esPnIP32Eeaho99HbWPUFw" base_State="_esL8wP32Eeaho99HbWPUFw"/> |
| <UMLRTStateMachines:RTState xmi:id="_fN3tgP32Eeaho99HbWPUFw" base_State="_fN1RQP32Eeaho99HbWPUFw"/> |
| <UMLRTStateMachines:RTState xmi:id="_nDnhwP32Eeaho99HbWPUFw" base_State="_nDkecP32Eeaho99HbWPUFw"/> |
| <UMLRealTime:Capsule xmi:id="_sOkfYP-FEeagDfx54OupdQ" base_Class="_sNUiMP-FEeagDfx54OupdQ"/> |
| <UMLRealTime:RTRedefinedElement xmi:id="_vSwpIP-FEeagDfx54OupdQ" base_RedefinableElement="_vShYkP-FEeagDfx54OupdQ" rootFragment="_Pm-4MP32Eeaho99HbWPUFw"/> |
| <UMLRTStateMachines:RTStateMachine xmi:id="_vTg3EP-FEeagDfx54OupdQ" base_StateMachine="_vShYkP-FEeagDfx54OupdQ"/> |
| <UMLRTStateMachines:RTRegion xmi:id="_vSp7cP-FEeagDfx54OupdQ" base_Region="_vSpUYf-FEeagDfx54OupdQ"/> |
| <UMLRealTime:RTRedefinedElement xmi:id="_yH_J0P-FEeagDfx54OupdQ" base_RedefinableElement="_vSpUYf-FEeagDfx54OupdQ" rootFragment="_PntQ8P32Eeaho99HbWPUFw"/> |
| <UMLRealTime:RTRedefinedElement xmi:id="_yH_w4P-FEeagDfx54OupdQ" base_RedefinableElement="_vSuz8P-FEeagDfx54OupdQ" rootFragment="_mKKxQP32Eeaho99HbWPUFw"/> |
| <UMLRealTime:RTRedefinedElement xmi:id="_2oZZ8P-FEeagDfx54OupdQ" base_RedefinableElement="_vSvbAP-FEeagDfx54OupdQ"/> |
| </xmi:XMI> |
