blob: d93302b73e1393586fed2dfe1e23d63fac5638cf [file] [log] [blame]
Ernesto Possed16e4f82016-02-02 16:28:17 -05001<?xml version="1.0" encoding="UTF-8"?>
Ernesto Posse8a929da2016-03-07 16:09:51 -05002<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 Possed16e4f82016-02-02 16:28:17 -05003 <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 Posse8a929da2016-03-07 16:09:51 -050059 <ownedParameter xmi:type="uml:Parameter" xmi:id="_qcA0wOCwEeWlQawYMs_dEQ"/>
Ernesto Possed16e4f82016-02-02 16:28:17 -050060 <language>C++</language>
61 <body>cout &lt;&lt; &quot;[Sender.Sending] sending message&quot; &lt;&lt; endl;
Ernesto Posse8a929da2016-03-07 16:09:51 -050062out.msg1().send();
63cout &lt;&lt; &quot;[Sender.Sending] message sent&quot; &lt;&lt; endl;
64
Ernesto Possed16e4f82016-02-02 16:28:17 -050065</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 &lt;&lt; &quot;[Receiver.Listening] waiting for message&quot; &lt;&lt; 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 &lt;&lt; &quot;[Receiver.Received] message arrived&quot; &lt;&lt; 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 Posse8a929da2016-03-07 16:09:51 -0500126 <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/umlrt/cppproperties#/"/>
Ernesto Possed16e4f82016-02-02 16:28:17 -0500127 </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 &lt;iostream>&#xA;&#xA;using namespace std;&#xA;" base_Class="_4MDFAMkpEeWjbM1NisbpCg"/>
150 <RTCppProperties:CapsuleProperties xmi:id="_UPw8gMksEeWjbM1NisbpCg" headerPreface="#include &lt;iostream>&#xA;&#xA;using namespace std;&#xA;" base_Class="_6QfpAMkpEeWjbM1NisbpCg"/>
151 <RTCppProperties:CapsuleProperties xmi:id="_WDHJcMksEeWjbM1NisbpCg" headerPreface="#include &lt;iostream>&#xA;&#xA;using namespace std;&#xA;" 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>