blob: d49f0f0586ec8351555743c6445ad236969906c6 [file] [log] [blame]
<?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: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="_BqLfYAvxEeaXUfNVYT3CYA" name="RootElement">
<eAnnotations xmi:id="_oHVckKt4EeaQ5cS7fUuXoQ" source="http://www.eclipse.org/papyrus-rt/language/1.0.0">
<details xmi:id="_oHWDoKt4EeaQ5cS7fUuXoQ" key="language" value="umlrt-cpp"/>
</eAnnotations>
<packagedElement xmi:type="uml:Package" xmi:id="_F2GtQAvxEeaXUfNVYT3CYA" name="Protocol1">
<packagedElement xmi:type="uml:Collaboration" xmi:id="_FxvxsAvxEeaXUfNVYT3CYA" name="Protocol1">
<interfaceRealization xmi:id="_F21GAAvxEeaXUfNVYT3CYA" client="_FxvxsAvxEeaXUfNVYT3CYA" supplier="_F2knUAvxEeaXUfNVYT3CYA" contract="_F2knUAvxEeaXUfNVYT3CYA"/>
<interfaceRealization xmi:id="_F3DIcAvxEeaXUfNVYT3CYA" client="_FxvxsAvxEeaXUfNVYT3CYA" supplier="_F2_eEAvxEeaXUfNVYT3CYA" contract="_F2_eEAvxEeaXUfNVYT3CYA"/>
</packagedElement>
<packagedElement xmi:type="uml:Interface" xmi:id="_F2knUAvxEeaXUfNVYT3CYA" name="Protocol1"/>
<packagedElement xmi:type="uml:Interface" xmi:id="_F24wYAvxEeaXUfNVYT3CYA" name="Protocol1~">
<ownedOperation xmi:id="_XWNG8AvxEeaXUfNVYT3CYA" name="msg1">
<ownedParameter xmi:id="_XWNG8QvxEeaXUfNVYT3CYA" name="x">
<type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
</ownedParameter>
</ownedOperation>
<ownedOperation xmi:id="_tmEm4AyrEeauycOs1TbwIA" name="msg2">
<ownedParameter xmi:id="_tmEm4QyrEeauycOs1TbwIA" name="y" type="_BMtY4Av0Eea03bTjPoMHrA"/>
</ownedOperation>
<ownedOperation xmi:id="_BZ1sUAysEeauycOs1TbwIA" name="msg3">
<ownedParameter xmi:id="_BZ1sUQysEeauycOs1TbwIA" name="z">
<type xmi:type="uml:Class" href="pathmap://UMLRTRTSLIB/UMLRT-RTS.uml#_GfwZUICSEeSeANT-DfY5oA"/>
</ownedParameter>
</ownedOperation>
<ownedOperation xmi:id="_VcI9AAysEeauycOs1TbwIA" name="msg4">
<ownedParameter xmi:id="_VcI9AQysEeauycOs1TbwIA" name="a">
<type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
</ownedParameter>
<ownedParameter xmi:id="_VcI9AgysEeauycOs1TbwIA" name="b" type="_BMtY4Av0Eea03bTjPoMHrA"/>
<ownedParameter xmi:id="_VcI9AwysEeauycOs1TbwIA" name="c">
<type xmi:type="uml:Class" href="pathmap://UMLRTRTSLIB/UMLRT-RTS.uml#_IWYV4G6NEeSyDdTKostG4Q"/>
</ownedParameter>
</ownedOperation>
<ownedOperation xmi:id="_z67wsBCcEeav_ZpgNDe9ng" name="msg5">
<ownedParameter xmi:id="_z67wsRCcEeav_ZpgNDe9ng" name="x"/>
</ownedOperation>
<ownedOperation xmi:id="_rVfaoKt4EeaQ5cS7fUuXoQ" name="msg6">
<ownedParameter xmi:id="_s4CygKt4EeaQ5cS7fUuXoQ" name="data">
<type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_8I6RgBydEduyofBvg4RL2w"/>
</ownedParameter>
</ownedOperation>
<ownedOperation xmi:id="_1dLfgKt8EeaQ5cS7fUuXoQ" name="msg7">
<ownedParameter xmi:id="_2IzPYKt8EeaQ5cS7fUuXoQ" name="data">
<type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_8I6RgBydEduyofBvg4RL2w"/>
</ownedParameter>
</ownedOperation>
<ownedOperation xmi:id="_94FH4Kt_EeaQ5cS7fUuXoQ" name="msg8">
<ownedParameter xmi:id="_-eLekKt_EeaQ5cS7fUuXoQ" name="data">
<type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_7wRIABydEduyofBvg4RL2w"/>
</ownedParameter>
</ownedOperation>
</packagedElement>
<packagedElement xmi:type="uml:Usage" xmi:id="_F29B0AvxEeaXUfNVYT3CYA" client="_FxvxsAvxEeaXUfNVYT3CYA" supplier="_F24wYAvxEeaXUfNVYT3CYA"/>
<packagedElement xmi:type="uml:AnyReceiveEvent" xmi:id="_F2-P8AvxEeaXUfNVYT3CYA" name="*"/>
<packagedElement xmi:type="uml:Interface" xmi:id="_F2_eEAvxEeaXUfNVYT3CYA" name="Protocol1IO"/>
<packagedElement xmi:type="uml:Usage" xmi:id="_F3DvgAvxEeaXUfNVYT3CYA" client="_FxvxsAvxEeaXUfNVYT3CYA" supplier="_F2_eEAvxEeaXUfNVYT3CYA"/>
<packagedElement xmi:type="uml:CallEvent" xmi:id="_XWNuAAvxEeaXUfNVYT3CYA" operation="_XWNG8AvxEeaXUfNVYT3CYA"/>
<packagedElement xmi:type="uml:CallEvent" xmi:id="_tmHDIAyrEeauycOs1TbwIA" operation="_tmEm4AyrEeauycOs1TbwIA"/>
<packagedElement xmi:type="uml:CallEvent" xmi:id="_BZ1sUgysEeauycOs1TbwIA" operation="_BZ1sUAysEeauycOs1TbwIA"/>
<packagedElement xmi:type="uml:CallEvent" xmi:id="_VcJkEAysEeauycOs1TbwIA" operation="_VcI9AAysEeauycOs1TbwIA"/>
<packagedElement xmi:type="uml:CallEvent" xmi:id="_z6-0ABCcEeav_ZpgNDe9ng" operation="_z67wsBCcEeav_ZpgNDe9ng"/>
<packagedElement xmi:type="uml:CallEvent" xmi:id="_rV1Y4Kt4EeaQ5cS7fUuXoQ" operation="_rVfaoKt4EeaQ5cS7fUuXoQ"/>
<packagedElement xmi:type="uml:CallEvent" xmi:id="_2pF5AKt8EeaQ5cS7fUuXoQ" operation="_1dLfgKt8EeaQ5cS7fUuXoQ"/>
<packagedElement xmi:type="uml:CallEvent" xmi:id="__BcjsKt_EeaQ5cS7fUuXoQ" operation="_94FH4Kt_EeaQ5cS7fUuXoQ"/>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="_HLwRkAvxEeaXUfNVYT3CYA" name="Top" classifierBehavior="_wlDPwKt4EeaQ5cS7fUuXoQ" isActive="true">
<ownedAttribute xmi:type="uml:Port" xmi:id="_JUv-YAvxEeaXUfNVYT3CYA" name="port1" visibility="public" type="_FxvxsAvxEeaXUfNVYT3CYA" isOrdered="true" aggregation="composite" isBehavior="true" isConjugated="true">
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_JVgMUAvxEeaXUfNVYT3CYA" value="1"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_JVgzYAvxEeaXUfNVYT3CYA" value="1"/>
</ownedAttribute>
<ownedBehavior xmi:type="uml:StateMachine" xmi:id="_wlDPwKt4EeaQ5cS7fUuXoQ" name="StateMachine" isReentrant="false">
<region xmi:id="_wlU8kKt4EeaQ5cS7fUuXoQ" name="Region">
<transition xmi:id="_wlyPkKt4EeaQ5cS7fUuXoQ" name="Initial" source="_wlZ1EKt4EeaQ5cS7fUuXoQ" target="_wlt-IKt4EeaQ5cS7fUuXoQ"/>
<transition xmi:id="_zPUdoKt4EeaQ5cS7fUuXoQ" source="_wlt-IKt4EeaQ5cS7fUuXoQ" target="_wlt-IKt4EeaQ5cS7fUuXoQ">
<effect xmi:type="uml:OpaqueBehavior" xmi:id="_oitNIKt8EeaQ5cS7fUuXoQ">
<language>C++</language>
<body> // do something
</body>
</effect>
<trigger xmi:id="_4aLY8Kt4EeaQ5cS7fUuXoQ" event="_XWNuAAvxEeaXUfNVYT3CYA" port="_JUv-YAvxEeaXUfNVYT3CYA"/>
</transition>
<transition xmi:id="_B3OiMKt5EeaQ5cS7fUuXoQ" source="_wlt-IKt4EeaQ5cS7fUuXoQ" target="_wlt-IKt4EeaQ5cS7fUuXoQ">
<effect xmi:type="uml:OpaqueBehavior" xmi:id="_rYvmIKt8EeaQ5cS7fUuXoQ">
<language>C++</language>
<body> // do something
</body>
</effect>
<trigger xmi:id="_EP1_YKt5EeaQ5cS7fUuXoQ" event="_tmHDIAyrEeauycOs1TbwIA" port="_JUv-YAvxEeaXUfNVYT3CYA"/>
</transition>
<transition xmi:id="_IUncYKt5EeaQ5cS7fUuXoQ" source="_wlt-IKt4EeaQ5cS7fUuXoQ" target="_wlt-IKt4EeaQ5cS7fUuXoQ">
<effect xmi:type="uml:OpaqueBehavior" xmi:id="_tkoO4Kt8EeaQ5cS7fUuXoQ">
<language>C++</language>
<body> // do something
</body>
</effect>
<trigger xmi:id="_KTlqgKt5EeaQ5cS7fUuXoQ" event="_BZ1sUgysEeauycOs1TbwIA" port="_JUv-YAvxEeaXUfNVYT3CYA"/>
</transition>
<transition xmi:id="_Q3vUAKt5EeaQ5cS7fUuXoQ" source="_wlt-IKt4EeaQ5cS7fUuXoQ" target="_wlt-IKt4EeaQ5cS7fUuXoQ">
<effect xmi:type="uml:OpaqueBehavior" xmi:id="_vpxWcKt8EeaQ5cS7fUuXoQ">
<language>C++</language>
<body> // do something
</body>
</effect>
<trigger xmi:id="_S6RzgKt5EeaQ5cS7fUuXoQ" event="_VcJkEAysEeauycOs1TbwIA" port="_JUv-YAvxEeaXUfNVYT3CYA"/>
</transition>
<transition xmi:id="_W9mfAKt5EeaQ5cS7fUuXoQ" source="_wlt-IKt4EeaQ5cS7fUuXoQ" target="_wlt-IKt4EeaQ5cS7fUuXoQ">
<effect xmi:type="uml:OpaqueBehavior" xmi:id="_xdGVQKt8EeaQ5cS7fUuXoQ">
<language>C++</language>
<body> // do something
</body>
</effect>
<trigger xmi:id="_ZJbdYKt5EeaQ5cS7fUuXoQ" event="_z6-0ABCcEeav_ZpgNDe9ng" port="_JUv-YAvxEeaXUfNVYT3CYA"/>
</transition>
<transition xmi:id="_c9bTcKt5EeaQ5cS7fUuXoQ" source="_wlt-IKt4EeaQ5cS7fUuXoQ" target="_wlt-IKt4EeaQ5cS7fUuXoQ">
<effect xmi:type="uml:OpaqueBehavior" xmi:id="_zPqfEKt8EeaQ5cS7fUuXoQ">
<language>C++</language>
<body> // do something
</body>
</effect>
<trigger xmi:id="_fVxD0Kt5EeaQ5cS7fUuXoQ" event="_rV1Y4Kt4EeaQ5cS7fUuXoQ" port="_JUv-YAvxEeaXUfNVYT3CYA"/>
</transition>
<transition xmi:id="_72fK8Kt8EeaQ5cS7fUuXoQ" source="_wlt-IKt4EeaQ5cS7fUuXoQ" target="_wlt-IKt4EeaQ5cS7fUuXoQ">
<effect xmi:type="uml:OpaqueBehavior" xmi:id="__OwHQKt8EeaQ5cS7fUuXoQ">
<language>C++</language>
<body> // do something
</body>
</effect>
<trigger xmi:id="_9rmScKt8EeaQ5cS7fUuXoQ" event="_2pF5AKt8EeaQ5cS7fUuXoQ" port="_JUv-YAvxEeaXUfNVYT3CYA"/>
</transition>
<transition xmi:id="_JioqgKuAEeaQ5cS7fUuXoQ" source="_wlt-IKt4EeaQ5cS7fUuXoQ" target="_wlt-IKt4EeaQ5cS7fUuXoQ">
<effect xmi:type="uml:OpaqueBehavior" xmi:id="_QCHPYKuAEeaQ5cS7fUuXoQ">
<language>C++</language>
<body> // do something
</body>
</effect>
<trigger xmi:id="_L4Fe8KuAEeaQ5cS7fUuXoQ" event="__BcjsKt_EeaQ5cS7fUuXoQ" port="_JUv-YAvxEeaXUfNVYT3CYA"/>
</transition>
<subvertex xmi:type="uml:Pseudostate" xmi:id="_wlZ1EKt4EeaQ5cS7fUuXoQ">
<name xsi:nil="true"/>
</subvertex>
<subvertex xmi:type="uml:State" xmi:id="_wlt-IKt4EeaQ5cS7fUuXoQ" name="State1"/>
</region>
</ownedBehavior>
</packagedElement>
<packagedElement xmi:type="uml:Class" xmi:id="_BMtY4Av0Eea03bTjPoMHrA" name="Class1">
<ownedAttribute xmi:id="_DfBZwAv0Eea03bTjPoMHrA" name="Attribute1">
<type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
</ownedAttribute>
<ownedAttribute xmi:id="_GDmPUAv0Eea03bTjPoMHrA" name="Attribute2">
<type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
</ownedAttribute>
<ownedAttribute xmi:id="_H29qYAv0Eea03bTjPoMHrA" name="Attribute3">
<type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Real"/>
</ownedAttribute>
<ownedAttribute xmi:id="_JT9z4Av0Eea03bTjPoMHrA" name="Attribute4">
<type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
</ownedAttribute>
<ownedAttribute xmi:id="_LUxOAAv0Eea03bTjPoMHrA" name="Attribute5">
<type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#UnlimitedNatural"/>
</ownedAttribute>
</packagedElement>
<profileApplication xmi:id="_B4jSkAvxEeaXUfNVYT3CYA">
<eAnnotations xmi:id="_B4oyIAvxEeaXUfNVYT3CYA" source="http://www.eclipse.org/uml2/2.0.0/UML">
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/umlrt#/"/>
</eAnnotations>
<appliedProfile href="pathmap://UML_RT_PROFILE/uml-rt.profile.uml#_1h74oEeVEeO0lv5O1DTHOQ"/>
</profileApplication>
<profileApplication xmi:id="_oJAQgKt4EeaQ5cS7fUuXoQ">
<eAnnotations xmi:id="_oJAQgat4EeaQ5cS7fUuXoQ" 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 href="pathmap://UMLRT_CPP/RTCppProperties.profile.uml#_vl5LALs8EeSTjNEQkASznQ"/>
</profileApplication>
<profileApplication xmi:id="_pV6vkKt4EeaQ5cS7fUuXoQ">
<eAnnotations xmi:id="_pV7WoKt4EeaQ5cS7fUuXoQ" 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 href="pathmap://UML_RT_PROFILE/UMLRealTimeSM-addendum.profile.uml#_KLcn0FDtEeOA4ecmvfqvaw"/>
</profileApplication>
</uml:Model>
<UMLRealTime:ProtocolContainer xmi:id="_F2UvsAvxEeaXUfNVYT3CYA" base_Package="_F2GtQAvxEeaXUfNVYT3CYA"/>
<UMLRealTime:RTMessageSet xmi:id="_F2txQAvxEeaXUfNVYT3CYA" base_Interface="_F2knUAvxEeaXUfNVYT3CYA"/>
<UMLRealTime:RTMessageSet xmi:id="_F26lkAvxEeaXUfNVYT3CYA" base_Interface="_F24wYAvxEeaXUfNVYT3CYA" rtMsgKind="out"/>
<UMLRealTime:RTMessageSet xmi:id="_F3BTQAvxEeaXUfNVYT3CYA" base_Interface="_F2_eEAvxEeaXUfNVYT3CYA" rtMsgKind="inOut"/>
<UMLRealTime:Protocol xmi:id="_F3J2IAvxEeaXUfNVYT3CYA" base_Collaboration="_FxvxsAvxEeaXUfNVYT3CYA"/>
<UMLRealTime:Capsule xmi:id="_HNbskAvxEeaXUfNVYT3CYA" base_Class="_HLwRkAvxEeaXUfNVYT3CYA"/>
<UMLRealTime:RTPort xmi:id="_JVqkYAvxEeaXUfNVYT3CYA" base_Port="_JUv-YAvxEeaXUfNVYT3CYA"/>
<UMLRTStateMachines:RTPseudostate xmi:id="_wletkKt4EeaQ5cS7fUuXoQ" base_Pseudostate="_wlZ1EKt4EeaQ5cS7fUuXoQ"/>
<UMLRTStateMachines:RTState xmi:id="_wlvzUKt4EeaQ5cS7fUuXoQ" base_State="_wlt-IKt4EeaQ5cS7fUuXoQ"/>
<UMLRTStateMachines:RTRegion xmi:id="_wlzdsKt4EeaQ5cS7fUuXoQ" base_Region="_wlU8kKt4EeaQ5cS7fUuXoQ"/>
<UMLRTStateMachines:RTStateMachine xmi:id="_woMDUKt4EeaQ5cS7fUuXoQ" base_StateMachine="_wlDPwKt4EeaQ5cS7fUuXoQ"/>
<RTCppProperties:ParameterProperties xmi:id="_5UST8Kt8EeaQ5cS7fUuXoQ" base_Parameter="_2IzPYKt8EeaQ5cS7fUuXoQ" pointsToType="true"/>
<RTCppProperties:ParameterProperties xmi:id="_A1jloKuAEeaQ5cS7fUuXoQ" base_Parameter="_-eLekKt_EeaQ5cS7fUuXoQ" pointsToType="true"/>
</xmi:XMI>