diff --git a/modeling/DIPLODOCUS/SmartCardProtocol.xml b/modeling/DIPLODOCUS/SmartCardProtocol.xml index 737230be075b653e24d92f0af697d383b6abd79e..b8b0044b08f88662a50e59791f29cbcd0bc36cb8 100755 --- a/modeling/DIPLODOCUS/SmartCardProtocol.xml +++ b/modeling/DIPLODOCUS/SmartCardProtocol.xml @@ -1,6 +1,6 @@ <?xml version="1.0" encoding="UTF-8"?> -<TURTLEGMODELING version="3.0 beta" ANIMATE_INTERACTIVE_SIMULATION="true" ACTIVATE_PENALTIES="false" UPDATE_INFORMATION_DIPLO_SIM="false" ANIMATE_WITH_INFO_DIPLO_SIM="true" OPEN_DIAG_DIPLO_SIM="false" LAST_SELECTED_MAIN_TAB="1" LAST_SELECTED_SUB_TAB="0"> +<TURTLEGMODELING version="3.0 beta" ANIMATE_INTERACTIVE_SIMULATION="true" ACTIVATE_PENALTIES="false" UPDATE_INFORMATION_DIPLO_SIM="false" ANIMATE_WITH_INFO_DIPLO_SIM="true" OPEN_DIAG_DIPLO_SIM="false" LAST_SELECTED_MAIN_TAB="3" LAST_SELECTED_SUB_TAB="0"> <Modeling type="TML Component Design" nameTab="AppC" tabs="TML Component Task Diagram$Application$TCPIP$Timer$InterfaceDevice$SmartCard" > <TMLComponentTaskDiagramPanel name="TML Component Task Diagram" minX="0" maxX="2724" minY="0" maxY="916" channels="true" events="true" requests="true" considerExecOperators="true" considerTimingOperators="true" zoom="1.0000000000000018" > @@ -8,8 +8,8 @@ <cdparam x="535" y="347" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="556" y="347" id="113" /> -<P2 x="547" y="382" id="68" /> +<P1 x="556" y="347" id="169" /> +<P2 x="547" y="382" id="216" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -17,8 +17,8 @@ <cdparam x="820" y="398" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="1025" y="497" id="210" /> -<P2 x="761" y="574" id="98" /> +<P1 x="1025" y="497" id="63" /> +<P2 x="761" y="574" id="184" /> <Point x="887" y="577" /> <AutomaticDrawing data="true" /> <new d="false" /> @@ -36,8 +36,8 @@ <cdparam x="568" y="323" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="710" y="403" id="96" /> -<P2 x="693" y="347" id="135" /> +<P1 x="710" y="403" id="186" /> +<P2 x="693" y="347" id="147" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -45,8 +45,8 @@ <cdparam x="522" y="390" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="521" y="382" id="63" /> -<P2 x="466" y="335" id="33" /> +<P1 x="521" y="382" id="211" /> +<P2 x="466" y="335" id="41" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -54,8 +54,8 @@ <cdparam x="409" y="124" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="401" y="83" id="31" /> -<P2 x="593" y="84" id="111" /> +<P1 x="401" y="83" id="43" /> +<P2 x="593" y="84" id="171" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -63,8 +63,8 @@ <cdparam x="656" y="426" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="816" y="552" id="92" /> -<P2 x="969" y="495" id="196" /> +<P1 x="816" y="552" id="190" /> +<P2 x="969" y="495" id="77" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -72,8 +72,8 @@ <cdparam x="656" y="400" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="816" y="519" id="90" /> -<P2 x="921" y="476" id="198" /> +<P1 x="816" y="519" id="192" /> +<P2 x="921" y="476" id="75" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -81,8 +81,8 @@ <cdparam x="602" y="327" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="751" y="406" id="82" /> -<P2 x="829" y="375" id="162" /> +<P1 x="751" y="406" id="200" /> +<P2 x="829" y="375" id="105" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -90,8 +90,8 @@ <cdparam x="689" y="292" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="855" y="375" id="166" /> -<P2 x="921" y="362" id="188" /> +<P1 x="855" y="375" id="109" /> +<P2 x="921" y="362" id="85" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -99,8 +99,8 @@ <cdparam x="656" y="377" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="816" y="491" id="86" /> -<P2 x="921" y="453" id="190" /> +<P1 x="816" y="491" id="196" /> +<P2 x="921" y="453" id="83" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -108,8 +108,8 @@ <cdparam x="656" y="351" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="816" y="458" id="88" /> -<P2 x="921" y="426" id="192" /> +<P1 x="816" y="458" id="194" /> +<P2 x="921" y="426" id="81" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -117,8 +117,8 @@ <cdparam x="741" y="296" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="921" y="397" id="194" /> -<P2 x="816" y="429" id="84" /> +<P1 x="921" y="397" id="79" /> +<P2 x="816" y="429" id="198" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -126,8 +126,8 @@ <cdparam x="735" y="260" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="918" y="330" id="186" /> -<P2 x="747" y="282" id="123" /> +<P1 x="918" y="330" id="87" /> +<P2 x="747" y="282" id="159" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -135,8 +135,8 @@ <cdparam x="641" y="230" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="747" y="248" id="125" /> -<P2 x="918" y="291" id="184" /> +<P1 x="747" y="248" id="157" /> +<P2 x="918" y="291" id="89" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -144,8 +144,8 @@ <cdparam x="641" y="195" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="747" y="203" id="127" /> -<P2 x="918" y="248" id="182" /> +<P1 x="747" y="203" id="155" /> +<P2 x="918" y="248" id="91" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -153,8 +153,8 @@ <cdparam x="740" y="353" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="829" y="375" id="161" /> -<P2 x="747" y="314" id="129" /> +<P1 x="829" y="375" id="104" /> +<P2 x="747" y="314" id="153" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -162,8 +162,8 @@ <cdparam x="460" y="270" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="521" y="295" id="119" /> -<P2 x="466" y="299" id="39" /> +<P1 x="521" y="295" id="163" /> +<P2 x="466" y="299" id="35" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -171,8 +171,8 @@ <cdparam x="387" y="129" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="464" y="126" id="43" /> -<P2 x="524" y="126" id="131" /> +<P1 x="464" y="126" id="31" /> +<P2 x="524" y="126" id="151" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -181,7 +181,7 @@ <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> <P1 x="466" y="215" id="37" /> -<P2 x="521" y="215" id="117" /> +<P2 x="521" y="215" id="165" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -189,8 +189,8 @@ <cdparam x="460" y="236" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="521" y="260" id="115" /> -<P2 x="466" y="260" id="35" /> +<P1 x="521" y="260" id="167" /> +<P2 x="466" y="260" id="39" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -198,8 +198,8 @@ <cdparam x="389" y="163" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector" value="Connector between ports" /> -<P1 x="466" y="169" id="41" /> -<P2 x="521" y="169" id="121" /> +<P1 x="466" y="169" id="33" /> +<P2 x="521" y="169" id="161" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -207,8 +207,8 @@ <cdparam x="967" y="190" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from TGComponent to TGComponent" value="Connector between ports" /> -<P1 x="918" y="198" id="180" /> -<P2 x="747" y="124" id="109" /> +<P1 x="918" y="198" id="93" /> +<P2 x="747" y="124" id="173" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -216,8 +216,8 @@ <cdparam x="1028" y="535" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from TGComponent to TGComponent" value="Connector between ports" /> -<P1 x="630" y="345" id="133" /> -<P2 x="669" y="406" id="94" /> +<P1 x="630" y="345" id="149" /> +<P2 x="669" y="406" id="188" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -225,8 +225,8 @@ <cdparam x="1308" y="303" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from TGComponent to TGComponent" value="Connector between ports" /> -<P1 x="1222" y="378" id="146" /> -<P2 x="1178" y="380" id="200" /> +<P1 x="1222" y="378" id="127" /> +<P2 x="1178" y="380" id="73" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -234,8 +234,8 @@ <cdparam x="1172" y="437" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from TGComponent to TGComponent" value="Connector between ports" /> -<P1 x="1178" y="415" id="202" /> -<P2 x="1222" y="413" id="148" /> +<P1 x="1178" y="415" id="71" /> +<P2 x="1222" y="413" id="125" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -243,8 +243,8 @@ <cdparam x="1041" y="162" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from TGComponent to TGComponent" value="Connector between ports" /> -<P1 x="1178" y="208" id="204" /> -<P2 x="1178" y="276" id="206" /> +<P1 x="1178" y="208" id="69" /> +<P2 x="1178" y="276" id="67" /> <Point x="1227" y="207" /> <Point x="1227" y="247" /> <AutomaticDrawing data="true" /> @@ -272,8 +272,8 @@ <cdparam x="877" y="343" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from TGComponent to TGComponent" value="Connector between ports" /> -<P1 x="1178" y="454" id="208" /> -<P2 x="1222" y="441" id="150" /> +<P1 x="1178" y="454" id="65" /> +<P2 x="1222" y="441" id="123" /> <AutomaticDrawing data="true" /> <new d="false" /> </CONNECTOR> @@ -301,17 +301,17 @@ <Attribute access="2" id="b" value="" type="4" typeOther="" /> </extraparam> </COMPONENT> -<SUBCOMPONENT type="1203" id="32" index="33" uid="5ec0ab66-161f-409d-9b51-baddef3187d2" > +<SUBCOMPONENT type="1203" id="32" index="33" uid="0ac36443-7eff-4fb5-bbe3-cc1a95befa19" > <father id="53" num="0" /> -<cdparam x="388" y="83" /> -<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="443" y="116" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-13" maxX="277" minY="-13" maxY="263" /> -<infoparam name="TGComponent" value="Event reset, pTS, end" /> +<cdrectangleparam minX="-10" maxX="280" minY="-10" maxY="266" /> +<infoparam name="TGComponent" value="Request activation" /> <new d="false" /> <TGConnectingPoint num="0" id="31" /> <extraparam> -<Prop commName="reset, pTS, end" commType="1" origin="true" finite="true" blocking="false" maxSamples="1" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="activation" commType="2" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -319,35 +319,35 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="34" index="34" uid="385c6564-7b3f-4056-ba4f-4b72e497147c" > +<SUBCOMPONENT type="1203" id="34" index="34" uid="a94db3f8-aa3a-4f21-9f2b-f056a890ff26" > <father id="53" num="1" /> -<cdparam x="440" y="322" /> +<cdparam x="440" y="156" /> <sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="277" minY="-13" maxY="263" /> -<infoparam name="TGComponent" value="Event answerToReset, pTSConfirm" /> +<infoparam name="TGComponent" value="Event data_Ready" /> <new d="false" /> <TGConnectingPoint num="0" id="33" /> <extraparam> -<Prop commName="answerToReset, pTSConfirm" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> -<Type type="0" typeOther="" /> -<Type type="0" typeOther="" /> +<Prop commName="data_Ready" commType="1" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="uint_16" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Type type="1" typeOther="" /> +<Type type="2" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="36" index="35" uid="e28ae663-7fc3-444c-8bb5-aeed571a20e5" > +<SUBCOMPONENT type="1203" id="36" index="35" uid="d23dda4e-9966-4812-ae65-12d5dc92e753" > <father id="53" num="2" /> -<cdparam x="440" y="247" /> +<cdparam x="440" y="286" /> <sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="277" minY="-13" maxY="263" /> -<infoparam name="TGComponent" value="Channel fromSCtoD" /> +<infoparam name="TGComponent" value="Event data_Ready_SC" /> <new d="false" /> <TGConnectingPoint num="0" id="35" /> <extraparam> -<Prop commName="fromSCtoD" commType="0" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="40" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="data_Ready_SC" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -373,17 +373,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="40" index="37" uid="d23dda4e-9966-4812-ae65-12d5dc92e753" > +<SUBCOMPONENT type="1203" id="40" index="37" uid="e28ae663-7fc3-444c-8bb5-aeed571a20e5" > <father id="53" num="4" /> -<cdparam x="440" y="286" /> +<cdparam x="440" y="247" /> <sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="277" minY="-13" maxY="263" /> -<infoparam name="TGComponent" value="Event data_Ready_SC" /> +<infoparam name="TGComponent" value="Channel fromSCtoD" /> <new d="false" /> <TGConnectingPoint num="0" id="39" /> <extraparam> -<Prop commName="data_Ready_SC" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="fromSCtoD" commType="0" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="40" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -391,35 +391,35 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="42" index="38" uid="a94db3f8-aa3a-4f21-9f2b-f056a890ff26" > +<SUBCOMPONENT type="1203" id="42" index="38" uid="385c6564-7b3f-4056-ba4f-4b72e497147c" > <father id="53" num="5" /> -<cdparam x="440" y="156" /> +<cdparam x="440" y="322" /> <sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="277" minY="-13" maxY="263" /> -<infoparam name="TGComponent" value="Event data_Ready" /> +<infoparam name="TGComponent" value="Event answerToReset, pTSConfirm" /> <new d="false" /> <TGConnectingPoint num="0" id="41" /> <extraparam> -<Prop commName="data_Ready" commType="1" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="uint_16" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> -<Type type="1" typeOther="" /> -<Type type="2" typeOther="" /> +<Prop commName="answerToReset, pTSConfirm" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Type type="0" typeOther="" /> +<Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="44" index="39" uid="0ac36443-7eff-4fb5-bbe3-cc1a95befa19" > +<SUBCOMPONENT type="1203" id="44" index="39" uid="5ec0ab66-161f-409d-9b51-baddef3187d2" > <father id="53" num="6" /> -<cdparam x="443" y="116" /> -<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="388" y="83" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-10" maxX="280" minY="-10" maxY="266" /> -<infoparam name="TGComponent" value="Request activation" /> +<cdrectangleparam minX="-13" maxX="277" minY="-13" maxY="263" /> +<infoparam name="TGComponent" value="Event reset, pTS, end" /> <new d="false" /> <TGConnectingPoint num="0" id="43" /> <extraparam> -<Prop commName="activation" commType="2" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="reset, pTS, end" commType="1" origin="true" finite="true" blocking="false" maxSamples="1" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -468,64 +468,64 @@ <info hiddeni="false" /> </extraparam> </COMPONENT> -<SUBCOMPONENT type="1201" id="81" index="40" uid="e6a1eed0-7a8d-4c2b-8a7a-706405c70055" > +<SUBCOMPONENT type="1200" id="146" index="40" uid="27b38621-086c-4eb9-ab5f-63c3519649e7" > <father id="238" num="0" /> -<cdparam x="521" y="369" /> -<sizeparam width="26" height="26" minWidth="10" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="842" y="133" /> +<sizeparam width="570" height="485" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-13" maxX="922" minY="-13" maxY="517" /> -<infoparam name="Composite port" value="" /> +<cdrectangleparam minX="0" maxX="365" minY="0" maxY="45" /> +<infoparam name="TGComponent" value="TCPIP Entities" /> <new d="false" /> -<TGConnectingPoint num="0" id="63" /> -<TGConnectingPoint num="1" id="64" /> -<TGConnectingPoint num="2" id="65" /> -<TGConnectingPoint num="3" id="66" /> -<TGConnectingPoint num="4" id="67" /> -<TGConnectingPoint num="5" id="68" /> -<TGConnectingPoint num="6" id="69" /> -<TGConnectingPoint num="7" id="70" /> -<TGConnectingPoint num="8" id="71" /> -<TGConnectingPoint num="9" id="72" /> -<TGConnectingPoint num="10" id="73" /> -<TGConnectingPoint num="11" id="74" /> -<TGConnectingPoint num="12" id="75" /> -<TGConnectingPoint num="13" id="76" /> -<TGConnectingPoint num="14" id="77" /> -<TGConnectingPoint num="15" id="78" /> -<TGConnectingPoint num="16" id="79" /> -<TGConnectingPoint num="17" id="80" /> -</SUBCOMPONENT> -<SUBCOMPONENT type="1202" id="108" index="41" uid="d00f0238-f10a-4895-8928-01630674fd16" > -<father id="238" num="1" /> -<cdparam x="565" y="416" /> -<sizeparam width="240" height="145" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<TGConnectingPoint num="0" id="138" /> +<TGConnectingPoint num="1" id="139" /> +<TGConnectingPoint num="2" id="140" /> +<TGConnectingPoint num="3" id="141" /> +<TGConnectingPoint num="4" id="142" /> +<TGConnectingPoint num="5" id="143" /> +<TGConnectingPoint num="6" id="144" /> +<TGConnectingPoint num="7" id="145" /> +<extraparam> +<info hiddeni="false" /> +</extraparam> +</SUBCOMPONENT> +<SUBCOMPONENT type="1202" id="103" index="41" uid="e81b3719-88d7-40a5-9541-1fa5bf551e56" > +<father id="146" num="0" /> +<cdparam x="931" y="167" /> +<sizeparam width="236" height="317" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="0" maxX="695" minY="0" maxY="385" /> -<infoparam name="TGComponent" value="Application" /> +<cdrectangleparam minX="0" maxX="334" minY="0" maxY="168" /> +<infoparam name="TGComponent" value="TCPIP" /> <new d="false" /> -<TGConnectingPoint num="0" id="100" /> -<TGConnectingPoint num="1" id="101" /> -<TGConnectingPoint num="2" id="102" /> -<TGConnectingPoint num="3" id="103" /> -<TGConnectingPoint num="4" id="104" /> -<TGConnectingPoint num="5" id="105" /> -<TGConnectingPoint num="6" id="106" /> -<TGConnectingPoint num="7" id="107" /> +<TGConnectingPoint num="0" id="95" /> +<TGConnectingPoint num="1" id="96" /> +<TGConnectingPoint num="2" id="97" /> +<TGConnectingPoint num="3" id="98" /> +<TGConnectingPoint num="4" id="99" /> +<TGConnectingPoint num="5" id="100" /> +<TGConnectingPoint num="6" id="101" /> +<TGConnectingPoint num="7" id="102" /> <extraparam> <Data isAttacker="No" daemon="false" periodic="false" periodValue="" unit="" Operation="" /> +<Attribute access="2" id="wind" value="64" type="0" typeOther="" /> +<Attribute access="2" id="seqNum" value="0" type="0" typeOther="" /> +<Attribute access="2" id="i" value="" type="0" typeOther="" /> +<Attribute access="2" id="j" value="" type="0" typeOther="" /> +<Attribute access="2" id="a" value="0" type="0" typeOther="" /> +<Attribute access="2" id="b" value="0" type="0" typeOther="" /> +<Attribute access="2" id="tcpctrl" value="" type="5" typeOther="TCP_CTRL" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="83" index="42" uid="1629d24b-baef-436a-84fc-8e915b24573c" > -<father id="108" num="0" /> -<cdparam x="741" y="406" /> -<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<SUBCOMPONENT type="1203" id="64" index="42" uid="879a36d7-3f56-4bf1-9f25-1046a95bd7d0" > +<father id="103" num="0" /> +<cdparam x="1012" y="471" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="135" /> -<infoparam name="TGComponent" value="Request start_TCP_IP" /> +<cdrectangleparam minX="-13" maxX="223" minY="-13" maxY="304" /> +<infoparam name="Primitive port" value="Event opened" /> <new d="false" /> -<TGConnectingPoint num="0" id="82" /> +<TGConnectingPoint num="0" id="63" /> <extraparam> -<Prop commName="start_TCP_IP" commType="2" origin="true" finite="false" blocking="false" maxSamples="1" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="opened" commType="1" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -533,17 +533,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="85" index="43" uid="3432623a-1069-4b8e-a27a-08825f112a57" > -<father id="108" num="1" /> -<cdparam x="795" y="419" /> +<SUBCOMPONENT type="1203" id="66" index="43" uid="55b97293-919f-4873-a14a-cbdf0c1fc4fe" > +<father id="103" num="1" /> +<cdparam x="1157" y="444" /> <sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="135" /> -<infoparam name="TGComponent" value="Channel fromTtoA" /> +<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> +<infoparam name="TGComponent" value="Event stop" /> <new d="false" /> -<TGConnectingPoint num="0" id="84" /> +<TGConnectingPoint num="0" id="65" /> <extraparam> -<Prop commName="fromTtoA" commType="0" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="stop" commType="1" origin="true" finite="true" blocking="false" maxSamples="1" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -551,17 +551,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="87" index="44" uid="3373e6ce-6a23-4c79-a01d-730dd8f554a1" > -<father id="108" num="2" /> -<cdparam x="795" y="481" /> +<SUBCOMPONENT type="1203" id="68" index="44" uid="c54e4157-4d8f-4de9-9ad8-f051ba61a8a1" > +<father id="103" num="2" /> +<cdparam x="1157" y="266" /> <sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="135" /> -<infoparam name="TGComponent" value="Event send_TCP" /> +<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> +<infoparam name="TGComponent" value="Channel temp" /> <new d="false" /> -<TGConnectingPoint num="0" id="86" /> +<TGConnectingPoint num="0" id="67" /> <extraparam> -<Prop commName="send_TCP" commType="1" origin="true" finite="false" blocking="false" maxSamples="1" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="temp" commType="0" origin="false" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -569,17 +569,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="89" index="45" uid="49eb2dd2-0891-4d98-a4c0-a017a9ec1b39" > -<father id="108" num="3" /> -<cdparam x="795" y="448" /> +<SUBCOMPONENT type="1203" id="70" index="45" uid="e5dde430-3393-4aa3-b582-cd1577ef6346" > +<father id="103" num="3" /> +<cdparam x="1157" y="198" /> <sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="135" /> -<infoparam name="TGComponent" value="Event open, abort, close" /> +<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> +<infoparam name="TGComponent" value="Channel temp" /> <new d="false" /> -<TGConnectingPoint num="0" id="88" /> +<TGConnectingPoint num="0" id="69" /> <extraparam> -<Prop commName="open, abort, close" commType="1" origin="true" finite="true" blocking="false" maxSamples="1" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="temp" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -587,17 +587,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="91" index="46" uid="19627382-2e54-4a93-9597-648c6bc78c68" > -<father id="108" num="4" /> -<cdparam x="795" y="509" /> +<SUBCOMPONENT type="1203" id="72" index="46" uid="20a1ecb1-6787-4c13-93a5-0e657f5dbe37" > +<father id="103" num="4" /> +<cdparam x="1157" y="405" /> <sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="135" /> -<infoparam name="TGComponent" value="Event receive_Application" /> +<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> +<infoparam name="TGComponent" value="Request req_Timer" /> <new d="false" /> -<TGConnectingPoint num="0" id="90" /> +<TGConnectingPoint num="0" id="71" /> <extraparam> -<Prop commName="receive_Application" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="req_Timer" commType="2" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -605,17 +605,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="93" index="47" uid="2308fd9f-032a-40f0-a828-56877cee45d6" > -<father id="108" num="5" /> -<cdparam x="795" y="542" /> +<SUBCOMPONENT type="1203" id="74" index="47" uid="bd77d57a-5de7-41d6-a023-473d9b8c9f0e" > +<father id="103" num="5" /> +<cdparam x="1157" y="370" /> <sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="135" /> -<infoparam name="TGComponent" value="Channel fromAtoT" /> +<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> +<infoparam name="TGComponent" value="Event timeOut" /> <new d="false" /> -<TGConnectingPoint num="0" id="92" /> +<TGConnectingPoint num="0" id="73" /> <extraparam> -<Prop commName="fromAtoT" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="timeOut" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -623,17 +623,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="95" index="48" uid="b771db42-75a5-434f-ba97-7423be1922ae" > -<father id="108" num="6" /> -<cdparam x="659" y="406" /> +<SUBCOMPONENT type="1203" id="76" index="48" uid="f3dd1f4a-ed2f-4dea-bcce-4b07472f36a5" > +<father id="103" num="6" /> +<cdparam x="921" y="466" /> <sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="135" /> -<infoparam name="TGComponent" value="Request start_Application" /> +<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> +<infoparam name="TGComponent" value="Event receive_Application" /> <new d="false" /> -<TGConnectingPoint num="0" id="94" /> +<TGConnectingPoint num="0" id="75" /> <extraparam> -<Prop commName="start_Application" commType="2" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="receive_Application" commType="1" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -641,17 +641,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="97" index="49" uid="b5801312-e9a6-4ab3-a599-0a88861828e8" > -<father id="108" num="7" /> -<cdparam x="697" y="403" /> -<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<SUBCOMPONENT type="1203" id="78" index="49" uid="7e59f093-23ca-4d70-bb9b-c30022fb7b98" > +<father id="103" num="7" /> +<cdparam x="959" y="474" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-13" maxX="227" minY="-13" maxY="132" /> -<infoparam name="Primitive port" value="Event connectionOpened" /> +<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> +<infoparam name="TGComponent" value="Channel fromAtoT" /> <new d="false" /> -<TGConnectingPoint num="0" id="96" /> +<TGConnectingPoint num="0" id="77" /> <extraparam> -<Prop commName="connectionOpened" commType="1" origin="true" finite="true" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="fromAtoT" commType="0" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -659,17 +659,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="99" index="50" uid="a9a39aba-94be-4ab5-b73a-fd71a68884b9" > -<father id="108" num="8" /> -<cdparam x="748" y="548" /> -<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<SUBCOMPONENT type="1203" id="80" index="50" uid="d5cdd3e6-2448-4c6d-bd99-36eaa18acefd" > +<father id="103" num="8" /> +<cdparam x="921" y="387" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-13" maxX="227" minY="-13" maxY="132" /> -<infoparam name="Primitive port" value="Event opened" /> +<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> +<infoparam name="TGComponent" value="Channel fromTtoA" /> <new d="false" /> -<TGConnectingPoint num="0" id="98" /> +<TGConnectingPoint num="0" id="79" /> <extraparam> -<Prop commName="opened" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="fromTtoA" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -677,45 +677,35 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1202" id="145" index="51" uid="c8c75fa8-0162-44ca-b01a-6b6e72742e15" > -<father id="238" num="2" /> -<cdparam x="534" y="97" /> -<sizeparam width="200" height="237" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<SUBCOMPONENT type="1203" id="82" index="51" uid="659b5abb-2eb0-42e6-bcb0-eca400f42f1e" > +<father id="103" num="9" /> +<cdparam x="921" y="416" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="0" maxX="735" minY="0" maxY="293" /> -<infoparam name="TGComponent" value="SmartCard" /> +<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> +<infoparam name="TGComponent" value="Event open, abort, close" /> <new d="false" /> -<TGConnectingPoint num="0" id="137" /> -<TGConnectingPoint num="1" id="138" /> -<TGConnectingPoint num="2" id="139" /> -<TGConnectingPoint num="3" id="140" /> -<TGConnectingPoint num="4" id="141" /> -<TGConnectingPoint num="5" id="142" /> -<TGConnectingPoint num="6" id="143" /> -<TGConnectingPoint num="7" id="144" /> +<TGConnectingPoint num="0" id="81" /> <extraparam> -<Data isAttacker="No" daemon="false" periodic="false" periodValue="" unit="" Operation="" /> -<Attribute access="2" id="resetType" value="0" type="0" typeOther="" /> -<Attribute access="2" id="a" value="0" type="0" typeOther="" /> -<Attribute access="2" id="b" value="" type="4" typeOther="" /> -<Attribute access="2" id="i" value="0" type="0" typeOther="" /> -<Attribute access="2" id="j" value="0" type="0" typeOther="" /> -<Attribute access="2" id="x" value="0" type="0" typeOther="" /> -<Attribute access="2" id="tcpctrl" value="" type="5" typeOther="TCP_CTRL" /> -<Attribute access="2" id="t" value="" type="0" typeOther="" /> +<Prop commName="open, abort, close" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Type type="0" typeOther="" /> +<Type type="0" typeOther="" /> +<Type type="0" typeOther="" /> +<Type type="0" typeOther="" /> +<Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="110" index="52" uid="60a02c53-1694-4f00-b0fd-37584e75c4f0" > -<father id="145" num="0" /> -<cdparam x="721" y="111" /> -<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<SUBCOMPONENT type="1203" id="84" index="52" uid="fb739f59-d91b-462c-b37e-3b3f426b36a0" > +<father id="103" num="10" /> +<cdparam x="921" y="443" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> -<infoparam name="TGComponent" value="Event send" /> +<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> +<infoparam name="TGComponent" value="Event send_TCP" /> <new d="false" /> -<TGConnectingPoint num="0" id="109" /> +<TGConnectingPoint num="0" id="83" /> <extraparam> -<Prop commName="send" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="send_TCP" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -723,17 +713,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="112" index="53" uid="f2d10609-3465-4116-aa64-5e93adbc1d88" > -<father id="145" num="1" /> -<cdparam x="580" y="84" /> -<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<SUBCOMPONENT type="1203" id="86" index="53" uid="dc4790a9-7b16-4d0a-a28d-1000cdeaf6df" > +<father id="103" num="11" /> +<cdparam x="921" y="352" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> -<infoparam name="TGComponent" value="Event reset, pTS, end" /> +<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> +<infoparam name="TGComponent" value="Request start_TCP_IP" /> <new d="false" /> -<TGConnectingPoint num="0" id="111" /> +<TGConnectingPoint num="0" id="85" /> <extraparam> -<Prop commName="reset, pTS, end" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="start_TCP_IP" commType="2" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -741,17 +731,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="114" index="54" uid="bbf073af-2ffa-43e8-8af7-57bc047aa49d" > -<father id="145" num="2" /> -<cdparam x="543" y="321" /> +<SUBCOMPONENT type="1203" id="88" index="54" uid="a281eb85-f293-40fa-bfa7-245635426dc3" > +<father id="103" num="12" /> +<cdparam x="918" y="317" /> <sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> -<infoparam name="TGComponent" value="Event answerToReset, pTSConfirm" /> +<cdrectangleparam minX="-13" maxX="223" minY="-13" maxY="304" /> +<infoparam name="TGComponent" value="Channel fromTtoP" /> <new d="false" /> -<TGConnectingPoint num="0" id="113" /> +<TGConnectingPoint num="0" id="87" /> <extraparam> -<Prop commName="answerToReset, pTSConfirm" commType="1" origin="true" finite="true" blocking="false" maxSamples="1" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="fromTtoP" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -759,17 +749,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="116" index="55" uid="795e8701-8a55-45a2-b495-5098a90a083b" > -<father id="145" num="3" /> -<cdparam x="521" y="247" /> +<SUBCOMPONENT type="1203" id="90" index="55" uid="c050218a-5f14-4150-96f4-cb56425a5542" > +<father id="103" num="13" /> +<cdparam x="918" y="278" /> <sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> -<infoparam name="TGComponent" value="Channel fromSCtoD" /> +<cdrectangleparam minX="-13" maxX="223" minY="-13" maxY="304" /> +<infoparam name="TGComponent" value="Channel fromPtoT" /> <new d="false" /> -<TGConnectingPoint num="0" id="115" /> +<TGConnectingPoint num="0" id="89" /> <extraparam> -<Prop commName="fromSCtoD" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="40" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="int16_t" associatedEvent="" checkConf="true" checkConfStatus="1" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="fromPtoT" commType="0" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -777,17 +767,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="118" index="56" uid="fa6ce164-e610-48dc-bae1-e16b47213a94" > -<father id="145" num="4" /> -<cdparam x="521" y="202" /> +<SUBCOMPONENT type="1203" id="92" index="56" uid="6feaf20f-1f9c-449a-b841-536d97a11a60" > +<father id="103" num="14" /> +<cdparam x="918" y="235" /> <sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> -<infoparam name="TGComponent" value="Channel fromDtoSC" /> +<cdrectangleparam minX="-13" maxX="223" minY="-13" maxY="304" /> +<infoparam name="TGComponent" value="Event receive" /> <new d="false" /> -<TGConnectingPoint num="0" id="117" /> +<TGConnectingPoint num="0" id="91" /> <extraparam> -<Prop commName="fromDtoSC" commType="0" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="40" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="null" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="receive" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -795,17 +785,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="120" index="57" uid="5c7d9a72-47b3-4dcc-bdb5-ba657ac7c891" > -<father id="145" num="5" /> -<cdparam x="521" y="282" /> +<SUBCOMPONENT type="1203" id="94" index="57" uid="d177fc07-a9f9-4fc9-b44e-4efd50455a73" > +<father id="103" num="15" /> +<cdparam x="918" y="185" /> <sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> -<infoparam name="TGComponent" value="Event data_Ready_SC" /> +<cdrectangleparam minX="-13" maxX="223" minY="-13" maxY="304" /> +<infoparam name="TGComponent" value="Event send" /> <new d="false" /> -<TGConnectingPoint num="0" id="119" /> +<TGConnectingPoint num="0" id="93" /> <extraparam> -<Prop commName="data_Ready_SC" commType="1" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="send" commType="1" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -813,35 +803,65 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="122" index="58" uid="943e2115-b6a8-4c2a-8d74-055a654aa40c" > -<father id="145" num="6" /> -<cdparam x="521" y="156" /> -<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<SUBCOMPONENT type="1201" id="122" index="58" uid="873de139-3cb1-4fed-9ae7-c7cd5bf9e4c1" > +<father id="146" num="1" /> +<cdparam x="829" y="362" /> +<sizeparam width="26" height="26" minWidth="10" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> -<infoparam name="TGComponent" value="Event data_Ready" /> +<cdrectangleparam minX="-13" maxX="557" minY="-13" maxY="472" /> +<infoparam name="Composite port" value="" /> +<new d="false" /> +<TGConnectingPoint num="0" id="104" /> +<TGConnectingPoint num="1" id="105" /> +<TGConnectingPoint num="2" id="106" /> +<TGConnectingPoint num="3" id="107" /> +<TGConnectingPoint num="4" id="108" /> +<TGConnectingPoint num="5" id="109" /> +<TGConnectingPoint num="6" id="110" /> +<TGConnectingPoint num="7" id="111" /> +<TGConnectingPoint num="8" id="112" /> +<TGConnectingPoint num="9" id="113" /> +<TGConnectingPoint num="10" id="114" /> +<TGConnectingPoint num="11" id="115" /> +<TGConnectingPoint num="12" id="116" /> +<TGConnectingPoint num="13" id="117" /> +<TGConnectingPoint num="14" id="118" /> +<TGConnectingPoint num="15" id="119" /> +<TGConnectingPoint num="16" id="120" /> +<TGConnectingPoint num="17" id="121" /> +</SUBCOMPONENT> +<SUBCOMPONENT type="1202" id="137" index="59" uid="71dd5cc7-83d8-46a7-873b-49843ceed51b" > +<father id="146" num="2" /> +<cdparam x="1232" y="328" /> +<sizeparam width="140" height="141" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<hidden value="false" /> +<cdrectangleparam minX="0" maxX="430" minY="0" maxY="344" /> +<infoparam name="TGComponent" value="Timer" /> <new d="false" /> -<TGConnectingPoint num="0" id="121" /> +<TGConnectingPoint num="0" id="129" /> +<TGConnectingPoint num="1" id="130" /> +<TGConnectingPoint num="2" id="131" /> +<TGConnectingPoint num="3" id="132" /> +<TGConnectingPoint num="4" id="133" /> +<TGConnectingPoint num="5" id="134" /> +<TGConnectingPoint num="6" id="135" /> +<TGConnectingPoint num="7" id="136" /> <extraparam> -<Prop commName="data_Ready" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="uint_16" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> -<Type type="1" typeOther="" /> -<Type type="2" typeOther="" /> -<Type type="0" typeOther="" /> -<Type type="0" typeOther="" /> -<Type type="0" typeOther="" /> +<Data isAttacker="No" daemon="false" periodic="false" periodValue="" unit="" Operation="" /> +<Attribute access="2" id="x" value="0" type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="124" index="59" uid="674e46c8-5dc2-4467-800c-42d5e8308dd0" > -<father id="145" num="7" /> -<cdparam x="721" y="269" /> -<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<SUBCOMPONENT type="1203" id="124" index="60" uid="d8867e2b-11a8-4bf3-ac4d-40eb9ca46db1" > +<father id="137" num="0" /> +<cdparam x="1222" y="431" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> -<infoparam name="TGComponent" value="Channel fromTtoP" /> +<cdrectangleparam minX="-10" maxX="130" minY="-10" maxY="131" /> +<infoparam name="TGComponent" value="Event stop" /> <new d="false" /> <TGConnectingPoint num="0" id="123" /> <extraparam> -<Prop commName="fromTtoP" commType="0" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="stop" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -849,17 +869,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="126" index="60" uid="c03f19ba-eac5-4fd8-9c3b-87abaed8b4ff" > -<father id="145" num="8" /> -<cdparam x="721" y="235" /> -<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<SUBCOMPONENT type="1203" id="126" index="61" uid="f7196f0a-e5f9-47d5-b752-a9dfdbb09b50" > +<father id="137" num="1" /> +<cdparam x="1222" y="403" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> -<infoparam name="TGComponent" value="Channel fromPtoT" /> +<cdrectangleparam minX="-10" maxX="130" minY="-10" maxY="131" /> +<infoparam name="TGComponent" value="Request req_Timer" /> <new d="false" /> <TGConnectingPoint num="0" id="125" /> <extraparam> -<Prop commName="fromPtoT" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="req_Timer" commType="2" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -867,17 +887,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="128" index="61" uid="b0796d5a-6141-4ab7-8ff5-3a543afb43f2" > -<father id="145" num="9" /> -<cdparam x="721" y="190" /> -<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<SUBCOMPONENT type="1203" id="128" index="62" uid="0b3249a6-2378-4d14-822e-a7957081b10a" > +<father id="137" num="2" /> +<cdparam x="1222" y="368" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> -<infoparam name="TGComponent" value="Event receive" /> +<cdrectangleparam minX="-10" maxX="130" minY="-10" maxY="131" /> +<infoparam name="TGComponent" value="Event timeOut" /> <new d="false" /> <TGConnectingPoint num="0" id="127" /> <extraparam> -<Prop commName="receive" commType="1" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="timeOut" commType="1" origin="true" finite="true" blocking="false" maxSamples="1" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -885,17 +905,45 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="130" index="62" uid="56de0e31-9335-4853-8803-d9b64b8b7531" > -<father id="145" num="10" /> -<cdparam x="721" y="301" /> +<SUBCOMPONENT type="1202" id="183" index="63" uid="c8c75fa8-0162-44ca-b01a-6b6e72742e15" > +<father id="238" num="1" /> +<cdparam x="534" y="97" /> +<sizeparam width="200" height="237" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<hidden value="false" /> +<cdrectangleparam minX="0" maxX="735" minY="0" maxY="293" /> +<infoparam name="TGComponent" value="SmartCard" /> +<new d="false" /> +<TGConnectingPoint num="0" id="175" /> +<TGConnectingPoint num="1" id="176" /> +<TGConnectingPoint num="2" id="177" /> +<TGConnectingPoint num="3" id="178" /> +<TGConnectingPoint num="4" id="179" /> +<TGConnectingPoint num="5" id="180" /> +<TGConnectingPoint num="6" id="181" /> +<TGConnectingPoint num="7" id="182" /> +<extraparam> +<Data isAttacker="No" daemon="false" periodic="false" periodValue="" unit="" Operation="" /> +<Attribute access="2" id="resetType" value="0" type="0" typeOther="" /> +<Attribute access="2" id="a" value="0" type="0" typeOther="" /> +<Attribute access="2" id="b" value="" type="4" typeOther="" /> +<Attribute access="2" id="i" value="0" type="0" typeOther="" /> +<Attribute access="2" id="j" value="0" type="0" typeOther="" /> +<Attribute access="2" id="x" value="0" type="0" typeOther="" /> +<Attribute access="2" id="tcpctrl" value="" type="5" typeOther="TCP_CTRL" /> +<Attribute access="2" id="t" value="" type="0" typeOther="" /> +</extraparam> +</SUBCOMPONENT> +<SUBCOMPONENT type="1203" id="148" index="64" uid="d7af56c8-f9bc-439b-a6f0-311aa32308b6" > +<father id="183" num="0" /> +<cdparam x="680" y="321" /> <sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> -<infoparam name="TGComponent" value="Request start_TCP_IP" /> +<infoparam name="Primitive port" value="Event connectionOpened" /> <new d="false" /> -<TGConnectingPoint num="0" id="129" /> +<TGConnectingPoint num="0" id="147" /> <extraparam> -<Prop commName="start_TCP_IP" commType="2" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="connectionOpened" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -903,17 +951,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="132" index="63" uid="6649edb2-ec45-4d50-a123-3afa89d2b19b" > -<father id="145" num="11" /> -<cdparam x="524" y="116" /> +<SUBCOMPONENT type="1203" id="150" index="65" uid="f62e505a-0502-4d04-90e9-398d3cc8b021" > +<father id="183" num="1" /> +<cdparam x="620" y="324" /> <sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="190" minY="-10" maxY="227" /> -<infoparam name="TGComponent" value="Request activation" /> +<infoparam name="TGComponent" value="Request start_Application" /> <new d="false" /> -<TGConnectingPoint num="0" id="131" /> +<TGConnectingPoint num="0" id="149" /> <extraparam> -<Prop commName="activation" commType="2" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="start_Application" commType="2" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -921,17 +969,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="134" index="64" uid="f62e505a-0502-4d04-90e9-398d3cc8b021" > -<father id="145" num="12" /> -<cdparam x="620" y="324" /> +<SUBCOMPONENT type="1203" id="152" index="66" uid="6649edb2-ec45-4d50-a123-3afa89d2b19b" > +<father id="183" num="2" /> +<cdparam x="524" y="116" /> <sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-10" maxX="190" minY="-10" maxY="227" /> -<infoparam name="TGComponent" value="Request start_Application" /> +<infoparam name="TGComponent" value="Request activation" /> <new d="false" /> -<TGConnectingPoint num="0" id="133" /> +<TGConnectingPoint num="0" id="151" /> <extraparam> -<Prop commName="start_Application" commType="2" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="activation" commType="2" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -939,17 +987,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="136" index="65" uid="d7af56c8-f9bc-439b-a6f0-311aa32308b6" > -<father id="145" num="13" /> -<cdparam x="680" y="321" /> +<SUBCOMPONENT type="1203" id="154" index="67" uid="56de0e31-9335-4853-8803-d9b64b8b7531" > +<father id="183" num="3" /> +<cdparam x="721" y="301" /> <sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> -<infoparam name="Primitive port" value="Event connectionOpened" /> +<infoparam name="TGComponent" value="Request start_TCP_IP" /> <new d="false" /> -<TGConnectingPoint num="0" id="135" /> +<TGConnectingPoint num="0" id="153" /> <extraparam> -<Prop commName="connectionOpened" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="start_TCP_IP" commType="2" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -957,58 +1005,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1200" id="229" index="66" uid="27b38621-086c-4eb9-ab5f-63c3519649e7" > -<father id="238" num="3" /> -<cdparam x="842" y="133" /> -<sizeparam width="570" height="485" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="0" maxX="365" minY="0" maxY="45" /> -<infoparam name="TGComponent" value="TCPIP Entities" /> -<new d="false" /> -<TGConnectingPoint num="0" id="221" /> -<TGConnectingPoint num="1" id="222" /> -<TGConnectingPoint num="2" id="223" /> -<TGConnectingPoint num="3" id="224" /> -<TGConnectingPoint num="4" id="225" /> -<TGConnectingPoint num="5" id="226" /> -<TGConnectingPoint num="6" id="227" /> -<TGConnectingPoint num="7" id="228" /> -<extraparam> -<info hiddeni="false" /> -</extraparam> -</SUBCOMPONENT> -<SUBCOMPONENT type="1202" id="160" index="67" uid="71dd5cc7-83d8-46a7-873b-49843ceed51b" > -<father id="229" num="0" /> -<cdparam x="1232" y="328" /> -<sizeparam width="140" height="141" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="0" maxX="430" minY="0" maxY="344" /> -<infoparam name="TGComponent" value="Timer" /> -<new d="false" /> -<TGConnectingPoint num="0" id="152" /> -<TGConnectingPoint num="1" id="153" /> -<TGConnectingPoint num="2" id="154" /> -<TGConnectingPoint num="3" id="155" /> -<TGConnectingPoint num="4" id="156" /> -<TGConnectingPoint num="5" id="157" /> -<TGConnectingPoint num="6" id="158" /> -<TGConnectingPoint num="7" id="159" /> -<extraparam> -<Data isAttacker="No" daemon="false" periodic="false" periodValue="" unit="" Operation="" /> -<Attribute access="2" id="x" value="0" type="0" typeOther="" /> -</extraparam> -</SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="147" index="68" uid="0b3249a6-2378-4d14-822e-a7957081b10a" > -<father id="160" num="0" /> -<cdparam x="1222" y="368" /> -<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<SUBCOMPONENT type="1203" id="156" index="68" uid="b0796d5a-6141-4ab7-8ff5-3a543afb43f2" > +<father id="183" num="4" /> +<cdparam x="721" y="190" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-10" maxX="130" minY="-10" maxY="131" /> -<infoparam name="TGComponent" value="Event timeOut" /> +<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> +<infoparam name="TGComponent" value="Event receive" /> <new d="false" /> -<TGConnectingPoint num="0" id="146" /> +<TGConnectingPoint num="0" id="155" /> <extraparam> -<Prop commName="timeOut" commType="1" origin="true" finite="true" blocking="false" maxSamples="1" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="receive" commType="1" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1016,17 +1023,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="149" index="69" uid="f7196f0a-e5f9-47d5-b752-a9dfdbb09b50" > -<father id="160" num="1" /> -<cdparam x="1222" y="403" /> -<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<SUBCOMPONENT type="1203" id="158" index="69" uid="c03f19ba-eac5-4fd8-9c3b-87abaed8b4ff" > +<father id="183" num="5" /> +<cdparam x="721" y="235" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-10" maxX="130" minY="-10" maxY="131" /> -<infoparam name="TGComponent" value="Request req_Timer" /> +<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> +<infoparam name="TGComponent" value="Channel fromPtoT" /> <new d="false" /> -<TGConnectingPoint num="0" id="148" /> +<TGConnectingPoint num="0" id="157" /> <extraparam> -<Prop commName="req_Timer" commType="2" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="fromPtoT" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1034,17 +1041,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="151" index="70" uid="d8867e2b-11a8-4bf3-ac4d-40eb9ca46db1" > -<father id="160" num="2" /> -<cdparam x="1222" y="431" /> -<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<SUBCOMPONENT type="1203" id="160" index="70" uid="674e46c8-5dc2-4467-800c-42d5e8308dd0" > +<father id="183" num="6" /> +<cdparam x="721" y="269" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-10" maxX="130" minY="-10" maxY="131" /> -<infoparam name="TGComponent" value="Event stop" /> +<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> +<infoparam name="TGComponent" value="Channel fromTtoP" /> <new d="false" /> -<TGConnectingPoint num="0" id="150" /> +<TGConnectingPoint num="0" id="159" /> <extraparam> -<Prop commName="stop" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="fromTtoP" commType="0" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1052,71 +1059,35 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1201" id="179" index="71" uid="873de139-3cb1-4fed-9ae7-c7cd5bf9e4c1" > -<father id="229" num="1" /> -<cdparam x="829" y="362" /> -<sizeparam width="26" height="26" minWidth="10" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<SUBCOMPONENT type="1203" id="162" index="71" uid="943e2115-b6a8-4c2a-8d74-055a654aa40c" > +<father id="183" num="7" /> +<cdparam x="521" y="156" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-13" maxX="557" minY="-13" maxY="472" /> -<infoparam name="Composite port" value="" /> +<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> +<infoparam name="TGComponent" value="Event data_Ready" /> <new d="false" /> <TGConnectingPoint num="0" id="161" /> -<TGConnectingPoint num="1" id="162" /> -<TGConnectingPoint num="2" id="163" /> -<TGConnectingPoint num="3" id="164" /> -<TGConnectingPoint num="4" id="165" /> -<TGConnectingPoint num="5" id="166" /> -<TGConnectingPoint num="6" id="167" /> -<TGConnectingPoint num="7" id="168" /> -<TGConnectingPoint num="8" id="169" /> -<TGConnectingPoint num="9" id="170" /> -<TGConnectingPoint num="10" id="171" /> -<TGConnectingPoint num="11" id="172" /> -<TGConnectingPoint num="12" id="173" /> -<TGConnectingPoint num="13" id="174" /> -<TGConnectingPoint num="14" id="175" /> -<TGConnectingPoint num="15" id="176" /> -<TGConnectingPoint num="16" id="177" /> -<TGConnectingPoint num="17" id="178" /> -</SUBCOMPONENT> -<SUBCOMPONENT type="1202" id="220" index="72" uid="e81b3719-88d7-40a5-9541-1fa5bf551e56" > -<father id="229" num="2" /> -<cdparam x="931" y="167" /> -<sizeparam width="236" height="317" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> -<hidden value="false" /> -<cdrectangleparam minX="0" maxX="334" minY="0" maxY="168" /> -<infoparam name="TGComponent" value="TCPIP" /> -<new d="false" /> -<TGConnectingPoint num="0" id="212" /> -<TGConnectingPoint num="1" id="213" /> -<TGConnectingPoint num="2" id="214" /> -<TGConnectingPoint num="3" id="215" /> -<TGConnectingPoint num="4" id="216" /> -<TGConnectingPoint num="5" id="217" /> -<TGConnectingPoint num="6" id="218" /> -<TGConnectingPoint num="7" id="219" /> <extraparam> -<Data isAttacker="No" daemon="false" periodic="false" periodValue="" unit="" Operation="" /> -<Attribute access="2" id="wind" value="64" type="0" typeOther="" /> -<Attribute access="2" id="seqNum" value="0" type="0" typeOther="" /> -<Attribute access="2" id="i" value="" type="0" typeOther="" /> -<Attribute access="2" id="j" value="" type="0" typeOther="" /> -<Attribute access="2" id="a" value="0" type="0" typeOther="" /> -<Attribute access="2" id="b" value="0" type="0" typeOther="" /> -<Attribute access="2" id="tcpctrl" value="" type="5" typeOther="TCP_CTRL" /> +<Prop commName="data_Ready" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="uint_16" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Type type="1" typeOther="" /> +<Type type="2" typeOther="" /> +<Type type="0" typeOther="" /> +<Type type="0" typeOther="" /> +<Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="181" index="73" uid="d177fc07-a9f9-4fc9-b44e-4efd50455a73" > -<father id="220" num="0" /> -<cdparam x="918" y="185" /> +<SUBCOMPONENT type="1203" id="164" index="72" uid="5c7d9a72-47b3-4dcc-bdb5-ba657ac7c891" > +<father id="183" num="8" /> +<cdparam x="521" y="282" /> <sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-13" maxX="223" minY="-13" maxY="304" /> -<infoparam name="TGComponent" value="Event send" /> +<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> +<infoparam name="TGComponent" value="Event data_Ready_SC" /> <new d="false" /> -<TGConnectingPoint num="0" id="180" /> +<TGConnectingPoint num="0" id="163" /> <extraparam> -<Prop commName="send" commType="1" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="data_Ready_SC" commType="1" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1124,17 +1095,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="183" index="74" uid="6feaf20f-1f9c-449a-b841-536d97a11a60" > -<father id="220" num="1" /> -<cdparam x="918" y="235" /> +<SUBCOMPONENT type="1203" id="166" index="73" uid="fa6ce164-e610-48dc-bae1-e16b47213a94" > +<father id="183" num="9" /> +<cdparam x="521" y="202" /> <sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-13" maxX="223" minY="-13" maxY="304" /> -<infoparam name="TGComponent" value="Event receive" /> +<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> +<infoparam name="TGComponent" value="Channel fromDtoSC" /> <new d="false" /> -<TGConnectingPoint num="0" id="182" /> +<TGConnectingPoint num="0" id="165" /> <extraparam> -<Prop commName="receive" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="fromDtoSC" commType="0" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="40" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="null" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1142,17 +1113,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="185" index="75" uid="c050218a-5f14-4150-96f4-cb56425a5542" > -<father id="220" num="2" /> -<cdparam x="918" y="278" /> +<SUBCOMPONENT type="1203" id="168" index="74" uid="795e8701-8a55-45a2-b495-5098a90a083b" > +<father id="183" num="10" /> +<cdparam x="521" y="247" /> <sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-13" maxX="223" minY="-13" maxY="304" /> -<infoparam name="TGComponent" value="Channel fromPtoT" /> +<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> +<infoparam name="TGComponent" value="Channel fromSCtoD" /> <new d="false" /> -<TGConnectingPoint num="0" id="184" /> +<TGConnectingPoint num="0" id="167" /> <extraparam> -<Prop commName="fromPtoT" commType="0" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="fromSCtoD" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="40" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="int16_t" associatedEvent="" checkConf="true" checkConfStatus="1" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1160,17 +1131,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="187" index="76" uid="a281eb85-f293-40fa-bfa7-245635426dc3" > -<father id="220" num="3" /> -<cdparam x="918" y="317" /> +<SUBCOMPONENT type="1203" id="170" index="75" uid="bbf073af-2ffa-43e8-8af7-57bc047aa49d" > +<father id="183" num="11" /> +<cdparam x="543" y="321" /> <sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-13" maxX="223" minY="-13" maxY="304" /> -<infoparam name="TGComponent" value="Channel fromTtoP" /> +<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> +<infoparam name="TGComponent" value="Event answerToReset, pTSConfirm" /> <new d="false" /> -<TGConnectingPoint num="0" id="186" /> +<TGConnectingPoint num="0" id="169" /> <extraparam> -<Prop commName="fromTtoP" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="answerToReset, pTSConfirm" commType="1" origin="true" finite="true" blocking="false" maxSamples="1" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1178,17 +1149,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="189" index="77" uid="dc4790a9-7b16-4d0a-a28d-1000cdeaf6df" > -<father id="220" num="4" /> -<cdparam x="921" y="352" /> -<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<SUBCOMPONENT type="1203" id="172" index="76" uid="f2d10609-3465-4116-aa64-5e93adbc1d88" > +<father id="183" num="12" /> +<cdparam x="580" y="84" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> -<infoparam name="TGComponent" value="Request start_TCP_IP" /> +<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> +<infoparam name="TGComponent" value="Event reset, pTS, end" /> <new d="false" /> -<TGConnectingPoint num="0" id="188" /> +<TGConnectingPoint num="0" id="171" /> <extraparam> -<Prop commName="start_TCP_IP" commType="2" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="reset, pTS, end" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1196,17 +1167,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="191" index="78" uid="fb739f59-d91b-462c-b37e-3b3f426b36a0" > -<father id="220" num="5" /> -<cdparam x="921" y="443" /> -<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<SUBCOMPONENT type="1203" id="174" index="77" uid="60a02c53-1694-4f00-b0fd-37584e75c4f0" > +<father id="183" num="13" /> +<cdparam x="721" y="111" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> -<infoparam name="TGComponent" value="Event send_TCP" /> +<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> +<infoparam name="TGComponent" value="Event send" /> <new d="false" /> -<TGConnectingPoint num="0" id="190" /> +<TGConnectingPoint num="0" id="173" /> <extraparam> -<Prop commName="send_TCP" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="send" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1214,35 +1185,37 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="193" index="79" uid="659b5abb-2eb0-42e6-bcb0-eca400f42f1e" > -<father id="220" num="6" /> -<cdparam x="921" y="416" /> -<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<SUBCOMPONENT type="1202" id="210" index="78" uid="d00f0238-f10a-4895-8928-01630674fd16" > +<father id="238" num="2" /> +<cdparam x="565" y="416" /> +<sizeparam width="240" height="145" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> -<infoparam name="TGComponent" value="Event open, abort, close" /> +<cdrectangleparam minX="0" maxX="695" minY="0" maxY="385" /> +<infoparam name="TGComponent" value="Application" /> <new d="false" /> -<TGConnectingPoint num="0" id="192" /> +<TGConnectingPoint num="0" id="202" /> +<TGConnectingPoint num="1" id="203" /> +<TGConnectingPoint num="2" id="204" /> +<TGConnectingPoint num="3" id="205" /> +<TGConnectingPoint num="4" id="206" /> +<TGConnectingPoint num="5" id="207" /> +<TGConnectingPoint num="6" id="208" /> +<TGConnectingPoint num="7" id="209" /> <extraparam> -<Prop commName="open, abort, close" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> -<Type type="0" typeOther="" /> -<Type type="0" typeOther="" /> -<Type type="0" typeOther="" /> -<Type type="0" typeOther="" /> -<Type type="0" typeOther="" /> +<Data isAttacker="No" daemon="false" periodic="false" periodValue="" unit="" Operation="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="195" index="80" uid="d5cdd3e6-2448-4c6d-bd99-36eaa18acefd" > -<father id="220" num="7" /> -<cdparam x="921" y="387" /> -<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<SUBCOMPONENT type="1203" id="185" index="79" uid="a9a39aba-94be-4ab5-b73a-fd71a68884b9" > +<father id="210" num="0" /> +<cdparam x="748" y="548" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> -<infoparam name="TGComponent" value="Channel fromTtoA" /> +<cdrectangleparam minX="-13" maxX="227" minY="-13" maxY="132" /> +<infoparam name="Primitive port" value="Event opened" /> <new d="false" /> -<TGConnectingPoint num="0" id="194" /> +<TGConnectingPoint num="0" id="184" /> <extraparam> -<Prop commName="fromTtoA" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="opened" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1250,17 +1223,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="197" index="81" uid="7e59f093-23ca-4d70-bb9b-c30022fb7b98" > -<father id="220" num="8" /> -<cdparam x="959" y="474" /> -<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<SUBCOMPONENT type="1203" id="187" index="80" uid="b5801312-e9a6-4ab3-a599-0a88861828e8" > +<father id="210" num="1" /> +<cdparam x="697" y="403" /> +<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> -<infoparam name="TGComponent" value="Channel fromAtoT" /> +<cdrectangleparam minX="-13" maxX="227" minY="-13" maxY="132" /> +<infoparam name="Primitive port" value="Event connectionOpened" /> <new d="false" /> -<TGConnectingPoint num="0" id="196" /> +<TGConnectingPoint num="0" id="186" /> <extraparam> -<Prop commName="fromAtoT" commType="0" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="connectionOpened" commType="1" origin="true" finite="true" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1268,17 +1241,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="199" index="82" uid="f3dd1f4a-ed2f-4dea-bcce-4b07472f36a5" > -<father id="220" num="9" /> -<cdparam x="921" y="466" /> +<SUBCOMPONENT type="1203" id="189" index="81" uid="b771db42-75a5-434f-ba97-7423be1922ae" > +<father id="210" num="2" /> +<cdparam x="659" y="406" /> <sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> -<infoparam name="TGComponent" value="Event receive_Application" /> +<cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="135" /> +<infoparam name="TGComponent" value="Request start_Application" /> <new d="false" /> -<TGConnectingPoint num="0" id="198" /> +<TGConnectingPoint num="0" id="188" /> <extraparam> -<Prop commName="receive_Application" commType="1" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="start_Application" commType="2" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1286,17 +1259,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="201" index="83" uid="bd77d57a-5de7-41d6-a023-473d9b8c9f0e" > -<father id="220" num="10" /> -<cdparam x="1157" y="370" /> +<SUBCOMPONENT type="1203" id="191" index="82" uid="2308fd9f-032a-40f0-a828-56877cee45d6" > +<father id="210" num="3" /> +<cdparam x="795" y="542" /> <sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> -<infoparam name="TGComponent" value="Event timeOut" /> +<cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="135" /> +<infoparam name="TGComponent" value="Channel fromAtoT" /> <new d="false" /> -<TGConnectingPoint num="0" id="200" /> +<TGConnectingPoint num="0" id="190" /> <extraparam> -<Prop commName="timeOut" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="fromAtoT" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1304,17 +1277,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="203" index="84" uid="20a1ecb1-6787-4c13-93a5-0e657f5dbe37" > -<father id="220" num="11" /> -<cdparam x="1157" y="405" /> +<SUBCOMPONENT type="1203" id="193" index="83" uid="19627382-2e54-4a93-9597-648c6bc78c68" > +<father id="210" num="4" /> +<cdparam x="795" y="509" /> <sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> -<infoparam name="TGComponent" value="Request req_Timer" /> +<cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="135" /> +<infoparam name="TGComponent" value="Event receive_Application" /> <new d="false" /> -<TGConnectingPoint num="0" id="202" /> +<TGConnectingPoint num="0" id="192" /> <extraparam> -<Prop commName="req_Timer" commType="2" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="receive_Application" commType="1" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1322,17 +1295,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="205" index="85" uid="e5dde430-3393-4aa3-b582-cd1577ef6346" > -<father id="220" num="12" /> -<cdparam x="1157" y="198" /> +<SUBCOMPONENT type="1203" id="195" index="84" uid="49eb2dd2-0891-4d98-a4c0-a017a9ec1b39" > +<father id="210" num="5" /> +<cdparam x="795" y="448" /> <sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> -<infoparam name="TGComponent" value="Channel temp" /> +<cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="135" /> +<infoparam name="TGComponent" value="Event open, abort, close" /> <new d="false" /> -<TGConnectingPoint num="0" id="204" /> +<TGConnectingPoint num="0" id="194" /> <extraparam> -<Prop commName="temp" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="open, abort, close" commType="1" origin="true" finite="true" blocking="false" maxSamples="1" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1340,17 +1313,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="207" index="86" uid="c54e4157-4d8f-4de9-9ad8-f051ba61a8a1" > -<father id="220" num="13" /> -<cdparam x="1157" y="266" /> +<SUBCOMPONENT type="1203" id="197" index="85" uid="3373e6ce-6a23-4c79-a01d-730dd8f554a1" > +<father id="210" num="6" /> +<cdparam x="795" y="481" /> <sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> -<infoparam name="TGComponent" value="Channel temp" /> +<cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="135" /> +<infoparam name="TGComponent" value="Event send_TCP" /> <new d="false" /> -<TGConnectingPoint num="0" id="206" /> +<TGConnectingPoint num="0" id="196" /> <extraparam> -<Prop commName="temp" commType="0" origin="false" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="send_TCP" commType="1" origin="true" finite="false" blocking="false" maxSamples="1" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1358,17 +1331,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="209" index="87" uid="55b97293-919f-4873-a14a-cbdf0c1fc4fe" > -<father id="220" num="14" /> -<cdparam x="1157" y="444" /> +<SUBCOMPONENT type="1203" id="199" index="86" uid="3432623a-1069-4b8e-a27a-08825f112a57" > +<father id="210" num="7" /> +<cdparam x="795" y="419" /> <sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> -<infoparam name="TGComponent" value="Event stop" /> +<cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="135" /> +<infoparam name="TGComponent" value="Channel fromTtoA" /> <new d="false" /> -<TGConnectingPoint num="0" id="208" /> +<TGConnectingPoint num="0" id="198" /> <extraparam> -<Prop commName="stop" commType="1" origin="true" finite="true" blocking="false" maxSamples="1" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="fromTtoA" commType="0" origin="false" finite="false" blocking="true" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1376,17 +1349,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="211" index="88" uid="879a36d7-3f56-4bf1-9f25-1046a95bd7d0" > -<father id="220" num="15" /> -<cdparam x="1012" y="471" /> -<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<SUBCOMPONENT type="1203" id="201" index="87" uid="1629d24b-baef-436a-84fc-8e915b24573c" > +<father id="210" num="8" /> +<cdparam x="741" y="406" /> +<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="-13" maxX="223" minY="-13" maxY="304" /> -<infoparam name="Primitive port" value="Event opened" /> +<cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="135" /> +<infoparam name="TGComponent" value="Request start_TCP_IP" /> <new d="false" /> -<TGConnectingPoint num="0" id="210" /> +<TGConnectingPoint num="0" id="200" /> <extraparam> -<Prop commName="opened" commType="1" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="int16_t" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> +<Prop commName="start_TCP_IP" commType="2" origin="true" finite="false" blocking="false" maxSamples="1" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="-1" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" vc="-1" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1394,6 +1367,33 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> +<SUBCOMPONENT type="1201" id="229" index="88" uid="e6a1eed0-7a8d-4c2b-8a7a-706405c70055" > +<father id="238" num="3" /> +<cdparam x="521" y="369" /> +<sizeparam width="26" height="26" minWidth="10" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<hidden value="false" /> +<cdrectangleparam minX="-13" maxX="922" minY="-13" maxY="517" /> +<infoparam name="Composite port" value="" /> +<new d="false" /> +<TGConnectingPoint num="0" id="211" /> +<TGConnectingPoint num="1" id="212" /> +<TGConnectingPoint num="2" id="213" /> +<TGConnectingPoint num="3" id="214" /> +<TGConnectingPoint num="4" id="215" /> +<TGConnectingPoint num="5" id="216" /> +<TGConnectingPoint num="6" id="217" /> +<TGConnectingPoint num="7" id="218" /> +<TGConnectingPoint num="8" id="219" /> +<TGConnectingPoint num="9" id="220" /> +<TGConnectingPoint num="10" id="221" /> +<TGConnectingPoint num="11" id="222" /> +<TGConnectingPoint num="12" id="223" /> +<TGConnectingPoint num="13" id="224" /> +<TGConnectingPoint num="14" id="225" /> +<TGConnectingPoint num="15" id="226" /> +<TGConnectingPoint num="16" id="227" /> +<TGConnectingPoint num="17" id="228" /> +</SUBCOMPONENT> </TMLComponentTaskDiagramPanel> @@ -1526,7 +1526,7 @@ <TGConnectingPoint num="0" id="262" /> <TGConnectingPoint num="1" id="263" /> <extraparam> -<Data channelName="fromAtoT" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="fromAtoT" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -2797,7 +2797,7 @@ <TGConnectingPoint num="0" id="504" /> <TGConnectingPoint num="1" id="505" /> <extraparam> -<Data channelName="fromPtoT" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="fromPtoT" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -2865,7 +2865,7 @@ <TGConnectingPoint num="0" id="519" /> <TGConnectingPoint num="1" id="520" /> <extraparam> -<Data channelName="temp" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="temp" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -3054,7 +3054,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="574" /> <TGConnectingPoint num="1" id="575" /> <extraparam> -<Data channelName="fromAtoT" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="fromAtoT" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -3069,7 +3069,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="577" /> <TGConnectingPoint num="1" id="578" /> <extraparam> -<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -3128,7 +3128,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="590" /> <TGConnectingPoint num="1" id="591" /> <extraparam> -<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -3165,7 +3165,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="598" /> <TGConnectingPoint num="1" id="599" /> <extraparam> -<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -3180,7 +3180,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="601" /> <TGConnectingPoint num="1" id="602" /> <extraparam> -<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -3256,7 +3256,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="628" /> <TGConnectingPoint num="1" id="629" /> <extraparam> -<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -3363,7 +3363,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="673" /> <TGConnectingPoint num="1" id="674" /> <extraparam> -<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -3429,7 +3429,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="698" /> <TGConnectingPoint num="1" id="699" /> <extraparam> -<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -3495,7 +3495,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="723" /> <TGConnectingPoint num="1" id="724" /> <extraparam> -<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -3535,7 +3535,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="731" /> <TGConnectingPoint num="1" id="732" /> <extraparam> -<Data channelName="temp" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="temp" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -3575,7 +3575,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="739" /> <TGConnectingPoint num="1" id="740" /> <extraparam> -<Data channelName="temp" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="temp" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -3605,7 +3605,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="745" /> <TGConnectingPoint num="1" id="746" /> <extraparam> -<Data channelName="temp" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="temp" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -3635,7 +3635,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="751" /> <TGConnectingPoint num="1" id="752" /> <extraparam> -<Data channelName="temp" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="temp" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -3838,7 +3838,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="794" /> <TGConnectingPoint num="1" id="795" /> <extraparam> -<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -3951,7 +3951,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="829" /> <TGConnectingPoint num="1" id="830" /> <extraparam> -<Data channelName="fromTtoA" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="fromTtoA" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -3966,7 +3966,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="832" /> <TGConnectingPoint num="1" id="833" /> <extraparam> -<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -4054,7 +4054,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="872" /> <TGConnectingPoint num="1" id="873" /> <extraparam> -<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -4167,7 +4167,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="917" /> <TGConnectingPoint num="1" id="918" /> <extraparam> -<Data channelName="temp" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="temp" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -4350,7 +4350,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="979" /> <TGConnectingPoint num="1" id="980" /> <extraparam> -<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -4390,7 +4390,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="987" /> <TGConnectingPoint num="1" id="988" /> <extraparam> -<Data channelName="temp" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="temp" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -4444,7 +4444,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="999" /> <TGConnectingPoint num="1" id="1000" /> <extraparam> -<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -4570,7 +4570,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="1036" /> <TGConnectingPoint num="1" id="1037" /> <extraparam> -<Data channelName="temp" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="temp" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -6237,7 +6237,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="1261" /> <TGConnectingPoint num="1" id="1262" /> <extraparam> -<Data channelName="fromDtoSC" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="fromDtoSC" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -6305,7 +6305,7 @@ On prend b=1 comme exemple <TGConnectingPoint num="0" id="1274" /> <TGConnectingPoint num="1" id="1275" /> <extraparam> -<Data channelName="fromSCtoD" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="fromSCtoD" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -6789,7 +6789,7 @@ the smart card and the terminal <TGConnectingPoint num="0" id="1362" /> <TGConnectingPoint num="1" id="1363" /> <extraparam> -<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="fromTtoP" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -6819,7 +6819,7 @@ the smart card and the terminal <TGConnectingPoint num="0" id="1368" /> <TGConnectingPoint num="1" id="1369" /> <extraparam> -<Data channelName="fromSCtoD" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="fromSCtoD" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -6849,7 +6849,7 @@ the smart card and the terminal <TGConnectingPoint num="0" id="1374" /> <TGConnectingPoint num="1" id="1375" /> <extraparam> -<Data channelName="fromDtoSC" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="fromDtoSC" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -6864,7 +6864,7 @@ the smart card and the terminal <TGConnectingPoint num="0" id="1377" /> <TGConnectingPoint num="1" id="1378" /> <extraparam> -<Data channelName="fromPtoT" nbOfSamples="1" secPattern="" isAttacker="No" isEncForm="No" /> +<Data channelName="fromPtoT" nbOfSamples="1" secPattern="" isAttacker="No" /> </extraparam> </COMPONENT> @@ -7288,13 +7288,13 @@ the smart card and the terminal <attributes nbOfCores="1" byteDataSize="4" schedulingPolicy="1" sliceTime="10000" goIdleTime="10" maxConsecutiveIdleCycles="10" pipelineSize="5" taskSwitchingTime="20" branchingPredictionPenalty="99" cacheMiss="5" execiTime="1" execcTime="1" clockRatio="1" operation="" MECType="0" encryption="0"/> </extraparam> </COMPONENT> -<SUBCOMPONENT type="1101" id="1484" index="5" uid="2dd23cd2-4b74-456e-b633-1d0426865e3c" > +<SUBCOMPONENT type="1101" id="1484" index="5" uid="7493cf38-bc55-447d-b50e-cbe992a5d485" > <father id="1545" num="0" /> -<cdparam x="286" y="304" /> -<sizeparam width="109" height="50" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="152" y="154" /> +<sizeparam width="163" height="50" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="0" maxX="350" minY="0" maxY="271" /> -<infoparam name="TGComponent" value="AppC::Timer" /> +<cdrectangleparam minX="0" maxX="296" minY="0" maxY="271" /> +<infoparam name="TGComponent" value="AppC::InterfaceDevice" /> <new d="false" /> <TGConnectingPoint num="0" id="1476" /> <TGConnectingPoint num="1" id="1477" /> @@ -7305,16 +7305,16 @@ the smart card and the terminal <TGConnectingPoint num="6" id="1482" /> <TGConnectingPoint num="7" id="1483" /> <extraparam> -<info value="AppC::Timer" taskName="Timer" referenceTaskName="AppC" priority="0" operationMEC="" fatherComponentMECType="0" /> +<info value="AppC::InterfaceDevice" taskName="InterfaceDevice" referenceTaskName="AppC" priority="0" operationMEC="" fatherComponentMECType="0" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1101" id="1493" index="6" uid="e7286698-3fda-4dfa-9751-d04de1c7e61b" > +<SUBCOMPONENT type="1101" id="1493" index="6" uid="65d7e618-328d-40c6-8231-c757e24407cb" > <father id="1545" num="1" /> -<cdparam x="350" y="234" /> -<sizeparam width="139" height="50" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="351" y="153" /> +<sizeparam width="136" height="50" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="0" maxX="320" minY="0" maxY="271" /> -<infoparam name="TGComponent" value="AppC::Application" /> +<cdrectangleparam minX="0" maxX="323" minY="0" maxY="271" /> +<infoparam name="TGComponent" value="AppC::SmartCard" /> <new d="false" /> <TGConnectingPoint num="0" id="1485" /> <TGConnectingPoint num="1" id="1486" /> @@ -7325,7 +7325,7 @@ the smart card and the terminal <TGConnectingPoint num="6" id="1491" /> <TGConnectingPoint num="7" id="1492" /> <extraparam> -<info value="AppC::Application" taskName="Application" referenceTaskName="AppC" priority="0" operationMEC="" fatherComponentMECType="0" /> +<info value="AppC::SmartCard" taskName="SmartCard" referenceTaskName="AppC" priority="0" operationMEC="" fatherComponentMECType="0" /> </extraparam> </SUBCOMPONENT> <SUBCOMPONENT type="1101" id="1502" index="7" uid="1db077ff-4dc4-49e5-8f29-0dfc2335e457" > @@ -7348,13 +7348,13 @@ the smart card and the terminal <info value="AppC::TCPIP" taskName="TCPIP" referenceTaskName="AppC" priority="0" operationMEC="" fatherComponentMECType="0" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1101" id="1511" index="8" uid="65d7e618-328d-40c6-8231-c757e24407cb" > +<SUBCOMPONENT type="1101" id="1511" index="8" uid="e7286698-3fda-4dfa-9751-d04de1c7e61b" > <father id="1545" num="3" /> -<cdparam x="351" y="153" /> -<sizeparam width="136" height="50" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="350" y="234" /> +<sizeparam width="139" height="50" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="0" maxX="323" minY="0" maxY="271" /> -<infoparam name="TGComponent" value="AppC::SmartCard" /> +<cdrectangleparam minX="0" maxX="320" minY="0" maxY="271" /> +<infoparam name="TGComponent" value="AppC::Application" /> <new d="false" /> <TGConnectingPoint num="0" id="1503" /> <TGConnectingPoint num="1" id="1504" /> @@ -7365,16 +7365,16 @@ the smart card and the terminal <TGConnectingPoint num="6" id="1509" /> <TGConnectingPoint num="7" id="1510" /> <extraparam> -<info value="AppC::SmartCard" taskName="SmartCard" referenceTaskName="AppC" priority="0" operationMEC="" fatherComponentMECType="0" /> +<info value="AppC::Application" taskName="Application" referenceTaskName="AppC" priority="0" operationMEC="" fatherComponentMECType="0" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1101" id="1520" index="9" uid="7493cf38-bc55-447d-b50e-cbe992a5d485" > +<SUBCOMPONENT type="1101" id="1520" index="9" uid="2dd23cd2-4b74-456e-b633-1d0426865e3c" > <father id="1545" num="4" /> -<cdparam x="152" y="154" /> -<sizeparam width="163" height="50" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="286" y="304" /> +<sizeparam width="109" height="50" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="0" maxX="296" minY="0" maxY="271" /> -<infoparam name="TGComponent" value="AppC::InterfaceDevice" /> +<cdrectangleparam minX="0" maxX="350" minY="0" maxY="271" /> +<infoparam name="TGComponent" value="AppC::Timer" /> <new d="false" /> <TGConnectingPoint num="0" id="1512" /> <TGConnectingPoint num="1" id="1513" /> @@ -7385,7 +7385,7 @@ the smart card and the terminal <TGConnectingPoint num="6" id="1518" /> <TGConnectingPoint num="7" id="1519" /> <extraparam> -<info value="AppC::InterfaceDevice" taskName="InterfaceDevice" referenceTaskName="AppC" priority="0" operationMEC="" fatherComponentMECType="0" /> +<info value="AppC::Timer" taskName="Timer" referenceTaskName="AppC" priority="0" operationMEC="" fatherComponentMECType="0" /> </extraparam> </SUBCOMPONENT> @@ -7592,13 +7592,13 @@ the smart card and the terminal <attributes nbOfCores="2" byteDataSize="4" schedulingPolicy="0" sliceTime="10000" goIdleTime="10" maxConsecutiveIdleCycles="10" pipelineSize="5" taskSwitchingTime="20" branchingPredictionPenalty="2" cacheMiss="18" execiTime="1" execcTime="1" clockRatio="3" operation="" MECType="0" encryption="0"/> </extraparam> </COMPONENT> -<SUBCOMPONENT type="1101" id="1640" index="10" uid="2c88ab02-e18c-4867-8708-47263bf33686" > +<SUBCOMPONENT type="1101" id="1640" index="10" uid="b41c4066-0970-4e6f-b5fd-c86f9949bdd2" > <father id="1683" num="0" /> -<cdparam x="387" y="121" /> -<sizeparam width="136" height="37" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="272" y="92" /> +<sizeparam width="108" height="40" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="0" maxX="136" minY="0" maxY="124" /> -<infoparam name="TGComponent" value="AppC::SmartCard" /> +<cdrectangleparam minX="0" maxX="164" minY="0" maxY="121" /> +<infoparam name="TGComponent" value="AppC::TCPIP" /> <new d="false" /> <TGConnectingPoint num="0" id="1632" /> <TGConnectingPoint num="1" id="1633" /> @@ -7609,7 +7609,7 @@ the smart card and the terminal <TGConnectingPoint num="6" id="1638" /> <TGConnectingPoint num="7" id="1639" /> <extraparam> -<info value="AppC::SmartCard" taskName="SmartCard" referenceTaskName="AppC" priority="0" operationMEC="" fatherComponentMECType="0" /> +<info value="AppC::TCPIP" taskName="TCPIP" referenceTaskName="AppC" priority="0" operationMEC="" fatherComponentMECType="0" /> </extraparam> </SUBCOMPONENT> <SUBCOMPONENT type="1101" id="1649" index="11" uid="8d7da60f-dba0-4ce1-bb28-0067b0628bb4" > @@ -7632,13 +7632,13 @@ the smart card and the terminal <info value="AppC::Application" taskName="Application" referenceTaskName="AppC" priority="0" operationMEC="" fatherComponentMECType="0" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1101" id="1658" index="12" uid="b41c4066-0970-4e6f-b5fd-c86f9949bdd2" > +<SUBCOMPONENT type="1101" id="1658" index="12" uid="2c88ab02-e18c-4867-8708-47263bf33686" > <father id="1683" num="2" /> -<cdparam x="272" y="92" /> -<sizeparam width="108" height="40" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="387" y="121" /> +<sizeparam width="136" height="37" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="0" maxX="164" minY="0" maxY="121" /> -<infoparam name="TGComponent" value="AppC::TCPIP" /> +<cdrectangleparam minX="0" maxX="136" minY="0" maxY="124" /> +<infoparam name="TGComponent" value="AppC::SmartCard" /> <new d="false" /> <TGConnectingPoint num="0" id="1650" /> <TGConnectingPoint num="1" id="1651" /> @@ -7649,7 +7649,7 @@ the smart card and the terminal <TGConnectingPoint num="6" id="1656" /> <TGConnectingPoint num="7" id="1657" /> <extraparam> -<info value="AppC::TCPIP" taskName="TCPIP" referenceTaskName="AppC" priority="0" operationMEC="" fatherComponentMECType="0" /> +<info value="AppC::SmartCard" taskName="SmartCard" referenceTaskName="AppC" priority="0" operationMEC="" fatherComponentMECType="0" /> </extraparam> </SUBCOMPONENT> @@ -7996,13 +7996,13 @@ the smart card and the terminal <attributes capacity="100" byteDataSize="4" mappingPenalty="0" reconfigurationTime="50" goIdleTime="10" maxConsecutiveIdleCycles="10" execiTime="1" execcTime="1" clockRatio="10" operation ="" scheduling ="" /> </extraparam> </COMPONENT> -<SUBCOMPONENT type="1101" id="1848" index="11" uid="9143972d-cc79-414e-87c6-90389e30d42f" > +<SUBCOMPONENT type="1101" id="1848" index="11" uid="16af0067-ce8e-42f7-b92a-6da4fdaf4320" > <father id="1891" num="0" /> -<cdparam x="341" y="178" /> -<sizeparam width="108" height="40" minWidth="100" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="271" y="73" /> +<sizeparam width="139" height="40" minWidth="100" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="0" maxX="205" minY="0" maxY="161" /> -<infoparam name="TGComponent" value="AppC::TCPIP" /> +<cdrectangleparam minX="0" maxX="174" minY="0" maxY="161" /> +<infoparam name="TGComponent" value="AppC::Application" /> <new d="false" /> <TGConnectingPoint num="0" id="1840" /> <TGConnectingPoint num="1" id="1841" /> @@ -8013,7 +8013,7 @@ the smart card and the terminal <TGConnectingPoint num="6" id="1846" /> <TGConnectingPoint num="7" id="1847" /> <extraparam> -<info value="AppC::TCPIP" taskName="TCPIP" referenceTaskName="AppC" priority="0" operationMEC="Application" fatherComponentMECType="0" /> +<info value="AppC::Application" taskName="Application" referenceTaskName="AppC" priority="0" operationMEC="Application" fatherComponentMECType="0" /> </extraparam> </SUBCOMPONENT> <SUBCOMPONENT type="1101" id="1857" index="12" uid="93823099-5d13-4d38-a655-3e44f6060eda" > @@ -8036,13 +8036,13 @@ the smart card and the terminal <info value="AppC::SmartCard" taskName="SmartCard" referenceTaskName="AppC" priority="0" operationMEC="Application" fatherComponentMECType="0" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1101" id="1866" index="13" uid="16af0067-ce8e-42f7-b92a-6da4fdaf4320" > +<SUBCOMPONENT type="1101" id="1866" index="13" uid="9143972d-cc79-414e-87c6-90389e30d42f" > <father id="1891" num="2" /> -<cdparam x="271" y="73" /> -<sizeparam width="139" height="40" minWidth="100" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="341" y="178" /> +<sizeparam width="108" height="40" minWidth="100" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="0" maxX="174" minY="0" maxY="161" /> -<infoparam name="TGComponent" value="AppC::Application" /> +<cdrectangleparam minX="0" maxX="205" minY="0" maxY="161" /> +<infoparam name="TGComponent" value="AppC::TCPIP" /> <new d="false" /> <TGConnectingPoint num="0" id="1858" /> <TGConnectingPoint num="1" id="1859" /> @@ -8053,7 +8053,7 @@ the smart card and the terminal <TGConnectingPoint num="6" id="1864" /> <TGConnectingPoint num="7" id="1865" /> <extraparam> -<info value="AppC::Application" taskName="Application" referenceTaskName="AppC" priority="0" operationMEC="Application" fatherComponentMECType="0" /> +<info value="AppC::TCPIP" taskName="TCPIP" referenceTaskName="AppC" priority="0" operationMEC="Application" fatherComponentMECType="0" /> </extraparam> </SUBCOMPONENT>