Ernesto Posse | d16e4f8 | 2016-02-02 16:28:17 -0500 | [diff] [blame] | 1 | <?xml version="1.0" encoding="UTF-8"?> |
Ernesto Posse | 8a929da | 2016-03-07 16:09:51 -0500 | [diff] [blame] | 2 | <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"> |
Ernesto Posse | d16e4f8 | 2016-02-02 16:28:17 -0500 | [diff] [blame] | 3 | <uml:Model xmi:id="_swu4QMkpEeWjbM1NisbpCg" name="RootElement"> |
| 4 | <packagedElement xmi:type="uml:Package" xmi:id="_zdKUAMkpEeWjbM1NisbpCg" name="Protocol1"> |
| 5 | <packagedElement xmi:type="uml:Collaboration" xmi:id="_zabwIMkpEeWjbM1NisbpCg" name="Protocol1"> |
| 6 | <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="_zdaysMkpEeWjbM1NisbpCg" client="_zabwIMkpEeWjbM1NisbpCg" supplier="_zdXIUMkpEeWjbM1NisbpCg" contract="_zdXIUMkpEeWjbM1NisbpCg"> |
| 7 | <name xsi:nil="true"/> |
| 8 | </interfaceRealization> |
| 9 | <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="_zdj8oMkpEeWjbM1NisbpCg" client="_zabwIMkpEeWjbM1NisbpCg" supplier="_zdg5UMkpEeWjbM1NisbpCg" contract="_zdg5UMkpEeWjbM1NisbpCg"> |
| 10 | <name xsi:nil="true"/> |
| 11 | </interfaceRealization> |
| 12 | </packagedElement> |
| 13 | <packagedElement xmi:type="uml:Interface" xmi:id="_zdXIUMkpEeWjbM1NisbpCg" name="Protocol1"/> |
| 14 | <packagedElement xmi:type="uml:Interface" xmi:id="_zddO8MkpEeWjbM1NisbpCg" name="Protocol1~"> |
| 15 | <ownedOperation xmi:type="uml:Operation" xmi:id="_1BJPQMkpEeWjbM1NisbpCg" name="msg1"/> |
| 16 | </packagedElement> |
| 17 | <packagedElement xmi:type="uml:Usage" xmi:id="_zdfrMMkpEeWjbM1NisbpCg" client="_zabwIMkpEeWjbM1NisbpCg" supplier="_zddO8MkpEeWjbM1NisbpCg"> |
| 18 | <name xsi:nil="true"/> |
| 19 | </packagedElement> |
| 20 | <packagedElement xmi:type="uml:AnyReceiveEvent" xmi:id="_zdgSQMkpEeWjbM1NisbpCg" name="*"/> |
| 21 | <packagedElement xmi:type="uml:Interface" xmi:id="_zdg5UMkpEeWjbM1NisbpCg" name="Protocol1IO"/> |
| 22 | <packagedElement xmi:type="uml:Usage" xmi:id="_zdkjsMkpEeWjbM1NisbpCg" client="_zabwIMkpEeWjbM1NisbpCg" supplier="_zdg5UMkpEeWjbM1NisbpCg"> |
| 23 | <name xsi:nil="true"/> |
| 24 | </packagedElement> |
| 25 | <packagedElement xmi:type="uml:CallEvent" xmi:id="_1BLrgMkpEeWjbM1NisbpCg" operation="_1BJPQMkpEeWjbM1NisbpCg"> |
| 26 | <name xsi:nil="true"/> |
| 27 | </packagedElement> |
| 28 | </packagedElement> |
| 29 | <packagedElement xmi:type="uml:Class" xmi:id="_2JhzoMkpEeWjbM1NisbpCg" name="Top" isActive="true"> |
| 30 | <ownedAttribute xmi:type="uml:Property" xmi:id="_9-DYgMksEeWjbM1NisbpCg" name="sender" visibility="protected" type="_4MDFAMkpEeWjbM1NisbpCg" isOrdered="true" aggregation="composite"> |
| 31 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_9-F0wMksEeWjbM1NisbpCg" value="1"/> |
| 32 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_9-F0wcksEeWjbM1NisbpCg" value="1"/> |
| 33 | </ownedAttribute> |
| 34 | <ownedAttribute xmi:type="uml:Property" xmi:id="_-dTgUMksEeWjbM1NisbpCg" name="receiver" visibility="protected" type="_6QfpAMkpEeWjbM1NisbpCg" isOrdered="true" aggregation="composite"> |
| 35 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_-dVVgcksEeWjbM1NisbpCg" value="1"/> |
| 36 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_-dVVgsksEeWjbM1NisbpCg" value="1"/> |
| 37 | </ownedAttribute> |
| 38 | <ownedAttribute xmi:type="uml:Property" xmi:id="__CMWEMksEeWjbM1NisbpCg" name="mediator" visibility="protected" type="_8TNHoMkpEeWjbM1NisbpCg" isOrdered="true" aggregation="composite"> |
| 39 | <lowerValue xmi:type="uml:LiteralInteger" xmi:id="__COLQcksEeWjbM1NisbpCg" value="1"/> |
| 40 | <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="__COLQsksEeWjbM1NisbpCg" value="1"/> |
| 41 | </ownedAttribute> |
| 42 | <ownedConnector xmi:type="uml:Connector" xmi:id="_Ma3nYMktEeWjbM1NisbpCg" name="RTConnector1"> |
| 43 | <end xmi:type="uml:ConnectorEnd" xmi:id="_Ma5ckMktEeWjbM1NisbpCg" partWithPort="_9-DYgMksEeWjbM1NisbpCg" role="_BqswwMkqEeWjbM1NisbpCg"/> |
| 44 | <end xmi:type="uml:ConnectorEnd" xmi:id="_Ma6DoMktEeWjbM1NisbpCg" partWithPort="__CMWEMksEeWjbM1NisbpCg" role="_Okqs0MkqEeWjbM1NisbpCg"/> |
| 45 | </ownedConnector> |
| 46 | <ownedConnector xmi:type="uml:Connector" xmi:id="_PnpscMktEeWjbM1NisbpCg" name="RTConnector2"> |
| 47 | <end xmi:type="uml:ConnectorEnd" xmi:id="_PnsIsMktEeWjbM1NisbpCg" partWithPort="__CMWEMksEeWjbM1NisbpCg" role="_SjqR8MkqEeWjbM1NisbpCg"/> |
| 48 | <end xmi:type="uml:ConnectorEnd" xmi:id="_PnsIscktEeWjbM1NisbpCg" partWithPort="_-dTgUMksEeWjbM1NisbpCg" role="_ID5ugMkqEeWjbM1NisbpCg"/> |
| 49 | </ownedConnector> |
| 50 | </packagedElement> |
| 51 | <packagedElement xmi:type="uml:Class" xmi:id="_4MDFAMkpEeWjbM1NisbpCg" name="Sender" classifierBehavior="__ZtToMkrEeWjbM1NisbpCg" isActive="true"> |
| 52 | <ownedAttribute xmi:type="uml:Port" xmi:id="_BqswwMkqEeWjbM1NisbpCg" name="out" visibility="public" type="_zabwIMkpEeWjbM1NisbpCg" isOrdered="true" aggregation="composite" isBehavior="true"/> |
| 53 | <ownedBehavior xmi:type="uml:StateMachine" xmi:id="__ZtToMkrEeWjbM1NisbpCg" name="StateMachine" isReentrant="false"> |
| 54 | <region xmi:type="uml:Region" xmi:id="__Z0oYMkrEeWjbM1NisbpCg" name="Region"> |
| 55 | <transition xmi:type="uml:Transition" xmi:id="_Fz4hwMksEeWjbM1NisbpCg" name="t0" source="__Z7WEMkrEeWjbM1NisbpCg" target="_D2_XQMksEeWjbM1NisbpCg"/> |
| 56 | <subvertex xmi:type="uml:Pseudostate" xmi:id="__Z7WEMkrEeWjbM1NisbpCg" name="Init"/> |
| 57 | <subvertex xmi:type="uml:State" xmi:id="_D2_XQMksEeWjbM1NisbpCg" name="Sending"> |
| 58 | <entry xmi:type="uml:OpaqueBehavior" xmi:id="_OZWiwMksEeWjbM1NisbpCg"> |
Ernesto Posse | 8a929da | 2016-03-07 16:09:51 -0500 | [diff] [blame] | 59 | <ownedParameter xmi:type="uml:Parameter" xmi:id="_qcA0wOCwEeWlQawYMs_dEQ"/> |
Ernesto Posse | d16e4f8 | 2016-02-02 16:28:17 -0500 | [diff] [blame] | 60 | <language>C++</language> |
| 61 | <body>cout << "[Sender.Sending] sending message" << endl; |
Ernesto Posse | 8a929da | 2016-03-07 16:09:51 -0500 | [diff] [blame] | 62 | out.msg1().send(); |
| 63 | cout << "[Sender.Sending] message sent" << endl; |
| 64 | |
Ernesto Posse | d16e4f8 | 2016-02-02 16:28:17 -0500 | [diff] [blame] | 65 | </body> |
| 66 | </entry> |
| 67 | </subvertex> |
| 68 | </region> |
| 69 | </ownedBehavior> |
| 70 | </packagedElement> |
| 71 | <packagedElement xmi:type="uml:Class" xmi:id="_6QfpAMkpEeWjbM1NisbpCg" name="Receiver" classifierBehavior="_ZECj0MksEeWjbM1NisbpCg" isActive="true"> |
| 72 | <ownedAttribute xmi:type="uml:Port" xmi:id="_ID5ugMkqEeWjbM1NisbpCg" name="inp" visibility="public" type="_zabwIMkpEeWjbM1NisbpCg" isOrdered="true" aggregation="composite" isBehavior="true" isConjugated="true"/> |
| 73 | <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_ZECj0MksEeWjbM1NisbpCg" name="StateMachine" isReentrant="false"> |
| 74 | <region xmi:type="uml:Region" xmi:id="_ZEFnIMksEeWjbM1NisbpCg" name="Region"> |
| 75 | <transition xmi:type="uml:Transition" xmi:id="_hoYjcMksEeWjbM1NisbpCg" name="t0" source="_ZEIDYMksEeWjbM1NisbpCg" target="_dGK8gMksEeWjbM1NisbpCg"/> |
| 76 | <transition xmi:type="uml:Transition" xmi:id="_i8OJ4MksEeWjbM1NisbpCg" name="t1" source="_dGK8gMksEeWjbM1NisbpCg" target="_fSGBgMksEeWjbM1NisbpCg"> |
| 77 | <trigger xmi:type="uml:Trigger" xmi:id="_7LxeIMksEeWjbM1NisbpCg" event="_1BLrgMkpEeWjbM1NisbpCg" port="_ID5ugMkqEeWjbM1NisbpCg"/> |
| 78 | </transition> |
| 79 | <subvertex xmi:type="uml:Pseudostate" xmi:id="_ZEIDYMksEeWjbM1NisbpCg" name="Init"/> |
| 80 | <subvertex xmi:type="uml:State" xmi:id="_dGK8gMksEeWjbM1NisbpCg" name="Listening"> |
| 81 | <entry xmi:type="uml:OpaqueBehavior" xmi:id="_rpn-4MksEeWjbM1NisbpCg"> |
| 82 | <language>C++</language> |
| 83 | <body>cout << "[Receiver.Listening] waiting for message" << endl; |
| 84 | </body> |
| 85 | </entry> |
| 86 | </subvertex> |
| 87 | <subvertex xmi:type="uml:State" xmi:id="_fSGBgMksEeWjbM1NisbpCg" name="Received"> |
| 88 | <entry xmi:type="uml:OpaqueBehavior" xmi:id="_xpAucMksEeWjbM1NisbpCg"> |
| 89 | <language>C++</language> |
| 90 | <body>cout << "[Receiver.Received] message arrived" << endl; |
| 91 | </body> |
| 92 | </entry> |
| 93 | </subvertex> |
| 94 | </region> |
| 95 | </ownedBehavior> |
| 96 | </packagedElement> |
| 97 | <packagedElement xmi:type="uml:Class" xmi:id="_8TNHoMkpEeWjbM1NisbpCg" name="Mediator" isActive="true"> |
| 98 | <ownedAttribute xmi:type="uml:Port" xmi:id="_Okqs0MkqEeWjbM1NisbpCg" name="minp" visibility="public" type="_zabwIMkpEeWjbM1NisbpCg" isOrdered="true" aggregation="composite" isConjugated="true"/> |
| 99 | <ownedAttribute xmi:type="uml:Port" xmi:id="_SjqR8MkqEeWjbM1NisbpCg" name="mout" visibility="public" type="_zabwIMkpEeWjbM1NisbpCg" isOrdered="true" aggregation="composite"/> |
| 100 | <ownedConnector xmi:type="uml:Connector" xmi:id="_eeNYYMkqEeWjbM1NisbpCg" name="RTConnector1"> |
| 101 | <end xmi:type="uml:ConnectorEnd" xmi:id="_eeRp0MkqEeWjbM1NisbpCg" role="_SjqR8MkqEeWjbM1NisbpCg"/> |
| 102 | <end xmi:type="uml:ConnectorEnd" xmi:id="_eeRp0ckqEeWjbM1NisbpCg" role="_Okqs0MkqEeWjbM1NisbpCg"/> |
| 103 | </ownedConnector> |
| 104 | </packagedElement> |
| 105 | <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_s0mEkMkpEeWjbM1NisbpCg"> |
| 106 | <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_s0og0MkpEeWjbM1NisbpCg" source="http://www.eclipse.org/uml2/2.0.0/UML"> |
| 107 | <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/umlrt#/"/> |
| 108 | </eAnnotations> |
| 109 | <appliedProfile xmi:type="uml:Profile" href="pathmap://UML_RT_PROFILE/uml-rt.profile.uml#_1h74oEeVEeO0lv5O1DTHOQ"/> |
| 110 | </profileApplication> |
| 111 | <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_xLhBgMkpEeWjbM1NisbpCg"> |
| 112 | <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_xLjdwMkpEeWjbM1NisbpCg" source="http://www.eclipse.org/uml2/2.0.0/UML"> |
| 113 | <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/umlrt/statemachine#/"/> |
| 114 | </eAnnotations> |
| 115 | <appliedProfile xmi:type="uml:Profile" href="pathmap://UML_RT_PROFILE/UMLRealTimeSM-addendum.profile.uml#_KLcn0FDtEeOA4ecmvfqvaw"/> |
| 116 | </profileApplication> |
| 117 | <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_yCr6EMkpEeWjbM1NisbpCg"> |
| 118 | <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_yCtIMMkpEeWjbM1NisbpCg" source="PapyrusVersion"> |
| 119 | <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_yCtIMckpEeWjbM1NisbpCg" key="Version" value="0.0.11"/> |
| 120 | <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_yCtIMskpEeWjbM1NisbpCg" key="Comment" value=""/> |
| 121 | <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_yCtIM8kpEeWjbM1NisbpCg" key="Copyright" value=""/> |
| 122 | <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_yCtINMkpEeWjbM1NisbpCg" key="Date" value="2015-12-10"/> |
| 123 | <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_yCtINckpEeWjbM1NisbpCg" key="Author" value=""/> |
| 124 | </eAnnotations> |
| 125 | <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_yCshIMkpEeWjbM1NisbpCg" source="http://www.eclipse.org/uml2/2.0.0/UML"> |
Ernesto Posse | 8a929da | 2016-03-07 16:09:51 -0500 | [diff] [blame] | 126 | <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/umlrt/cppproperties#/"/> |
Ernesto Posse | d16e4f8 | 2016-02-02 16:28:17 -0500 | [diff] [blame] | 127 | </eAnnotations> |
| 128 | <appliedProfile xmi:type="uml:Profile" href="pathmap://UMLRT_CPP/RTCppProperties.profile.uml#_vl5LALs8EeSTjNEQkASznQ"/> |
| 129 | </profileApplication> |
| 130 | </uml:Model> |
| 131 | <UMLRealTime:ProtocolContainer xmi:id="_zdMwQMkpEeWjbM1NisbpCg" base_Package="_zdKUAMkpEeWjbM1NisbpCg"/> |
| 132 | <UMLRealTime:RTMessageSet xmi:id="_zdZkkMkpEeWjbM1NisbpCg" base_Interface="_zdXIUMkpEeWjbM1NisbpCg"/> |
| 133 | <UMLRealTime:RTMessageSet xmi:id="_zdedEMkpEeWjbM1NisbpCg" base_Interface="_zddO8MkpEeWjbM1NisbpCg" rtMsgKind="out"/> |
| 134 | <UMLRealTime:RTMessageSet xmi:id="_zdiugMkpEeWjbM1NisbpCg" base_Interface="_zdg5UMkpEeWjbM1NisbpCg" rtMsgKind="inOut"/> |
| 135 | <UMLRealTime:Protocol xmi:id="_zdlKwMkpEeWjbM1NisbpCg" base_Collaboration="_zabwIMkpEeWjbM1NisbpCg"/> |
| 136 | <UMLRealTime:Capsule xmi:id="_2LNOoMkpEeWjbM1NisbpCg" base_Class="_2JhzoMkpEeWjbM1NisbpCg"/> |
| 137 | <UMLRealTime:Capsule xmi:id="_4MgYAMkpEeWjbM1NisbpCg" base_Class="_4MDFAMkpEeWjbM1NisbpCg"/> |
| 138 | <UMLRealTime:Capsule xmi:id="_6Q2OUMkpEeWjbM1NisbpCg" base_Class="_6QfpAMkpEeWjbM1NisbpCg"/> |
| 139 | <UMLRealTime:Capsule xmi:id="_8TdmUMkpEeWjbM1NisbpCg" base_Class="_8TNHoMkpEeWjbM1NisbpCg"/> |
| 140 | <UMLRealTime:RTPort xmi:id="_BqzecMkqEeWjbM1NisbpCg" base_Port="_BqswwMkqEeWjbM1NisbpCg"/> |
| 141 | <UMLRealTime:RTPort xmi:id="_ID8KwMkqEeWjbM1NisbpCg" base_Port="_ID5ugMkqEeWjbM1NisbpCg"/> |
| 142 | <UMLRealTime:RTPort xmi:id="_OksiAMkqEeWjbM1NisbpCg" base_Port="_Okqs0MkqEeWjbM1NisbpCg"/> |
| 143 | <UMLRealTime:RTPort xmi:id="_SjtVQMkqEeWjbM1NisbpCg" base_Port="_SjqR8MkqEeWjbM1NisbpCg"/> |
| 144 | <UMLRealTime:RTConnector xmi:id="_eeRp0skqEeWjbM1NisbpCg" base_Connector="_eeNYYMkqEeWjbM1NisbpCg"/> |
| 145 | <UMLRealTimeStateMach:RTPseudostate xmi:id="__aDR4MkrEeWjbM1NisbpCg" base_Pseudostate="__Z7WEMkrEeWjbM1NisbpCg"/> |
| 146 | <UMLRealTimeStateMach:RTRegion xmi:id="__aFuIMkrEeWjbM1NisbpCg" base_Region="__Z0oYMkrEeWjbM1NisbpCg"/> |
| 147 | <UMLRealTimeStateMach:RTStateMachine xmi:id="__aG8QMkrEeWjbM1NisbpCg" base_StateMachine="__ZtToMkrEeWjbM1NisbpCg"/> |
| 148 | <UMLRealTimeStateMach:RTState xmi:id="_D3BzgMksEeWjbM1NisbpCg" base_State="_D2_XQMksEeWjbM1NisbpCg"/> |
| 149 | <RTCppProperties:CapsuleProperties xmi:id="_P-49MMksEeWjbM1NisbpCg" headerPreface="#include <iostream>

using namespace std;
" base_Class="_4MDFAMkpEeWjbM1NisbpCg"/> |
| 150 | <RTCppProperties:CapsuleProperties xmi:id="_UPw8gMksEeWjbM1NisbpCg" headerPreface="#include <iostream>

using namespace std;
" base_Class="_6QfpAMkpEeWjbM1NisbpCg"/> |
| 151 | <RTCppProperties:CapsuleProperties xmi:id="_WDHJcMksEeWjbM1NisbpCg" headerPreface="#include <iostream>

using namespace std;
" base_Class="_8TNHoMkpEeWjbM1NisbpCg"/> |
| 152 | <UMLRealTimeStateMach:RTPseudostate xmi:id="_ZEJ4kMksEeWjbM1NisbpCg" base_Pseudostate="_ZEIDYMksEeWjbM1NisbpCg"/> |
| 153 | <UMLRealTimeStateMach:RTRegion xmi:id="_ZEJ4kcksEeWjbM1NisbpCg" base_Region="_ZEFnIMksEeWjbM1NisbpCg"/> |
| 154 | <UMLRealTimeStateMach:RTStateMachine xmi:id="_ZEKfoMksEeWjbM1NisbpCg" base_StateMachine="_ZECj0MksEeWjbM1NisbpCg"/> |
| 155 | <UMLRealTimeStateMach:RTState xmi:id="_dGNYwMksEeWjbM1NisbpCg" base_State="_dGK8gMksEeWjbM1NisbpCg"/> |
| 156 | <UMLRealTimeStateMach:RTState xmi:id="_fSH2sMksEeWjbM1NisbpCg" base_State="_fSGBgMksEeWjbM1NisbpCg"/> |
| 157 | <UMLRealTime:CapsulePart xmi:id="_9-FNsMksEeWjbM1NisbpCg" base_Property="_9-DYgMksEeWjbM1NisbpCg"/> |
| 158 | <UMLRealTime:CapsulePart xmi:id="_-dVVgMksEeWjbM1NisbpCg" base_Property="_-dTgUMksEeWjbM1NisbpCg"/> |
| 159 | <UMLRealTime:CapsulePart xmi:id="__COLQMksEeWjbM1NisbpCg" base_Property="__CMWEMksEeWjbM1NisbpCg"/> |
| 160 | <UMLRealTime:RTConnector xmi:id="_Ma6DocktEeWjbM1NisbpCg" base_Connector="_Ma3nYMktEeWjbM1NisbpCg"/> |
| 161 | <UMLRealTime:RTConnector xmi:id="_PnsIssktEeWjbM1NisbpCg" base_Connector="_PnpscMktEeWjbM1NisbpCg"/> |
| 162 | </xmi:XMI> |