diff --git a/libs/batik-util-1.13.jar b/libs/batik-util similarity index 100% rename from libs/batik-util-1.13.jar rename to libs/batik-util diff --git a/modeling/DIPLODOCUS/SmartCardProtocol_sec.xml b/modeling/DIPLODOCUS/SmartCardProtocol_sec.xml index 1340cbf14c995d012d13d436c50d3852c3308c41..6a1396785bcd6ee85c351129c9992711ce76fcab 100644 --- a/modeling/DIPLODOCUS/SmartCardProtocol_sec.xml +++ b/modeling/DIPLODOCUS/SmartCardProtocol_sec.xml @@ -1,6 +1,6 @@ <?xml version="1.0" encoding="UTF-8"?> -<TURTLEGMODELING version="1.0beta" ANIMATE_INTERACTIVE_SIMULATION="true" ACTIVATE_PENALTIES="true" UPDATE_INFORMATION_DIPLO_SIM="true" ANIMATE_WITH_INFO_DIPLO_SIM="true" OPEN_DIAG_DIPLO_SIM="false" LAST_SELECTED_MAIN_TAB="9" LAST_SELECTED_SUB_TAB="0"> +<TURTLEGMODELING version="1.0beta" ANIMATE_INTERACTIVE_SIMULATION="true" ACTIVATE_PENALTIES="true" UPDATE_INFORMATION_DIPLO_SIM="true" ANIMATE_WITH_INFO_DIPLO_SIM="true" OPEN_DIAG_DIPLO_SIM="false" LAST_SELECTED_MAIN_TAB="2" LAST_SELECTED_SUB_TAB="2"> <Modeling type="AttackTree" nameTab="Attack Trees" > <AttackTreeDiagramPanel name="Attack Tree" minX="10" maxX="2500" minY="10" maxY="1500" zoom="1.0" > @@ -347,16 +347,16 @@ <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="321" id="276" /> -<P2 x="534" y="395" id="231" /> +<P1 x="556" y="347" id="332" /> +<P2 x="547" y="382" id="379" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="189" > <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="471" id="373" /> -<P2 x="761" y="548" id="261" /> +<P1 x="1025" y="497" id="226" /> +<P2 x="761" y="574" id="347" /> <Point x="887" y="577" /> <AutomaticDrawing data="true" /> </CONNECTOR><SUBCOMPONENT type="-1" id="188" > @@ -372,192 +372,192 @@ <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="259" /> -<P2 x="693" y="321" id="298" /> +<P1 x="710" y="403" id="349" /> +<P2 x="693" y="347" id="310" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="191" > <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="534" y="369" id="226" /> -<P2 x="453" y="322" id="404" /> +<P1 x="521" y="382" id="374" /> +<P2 x="466" y="335" id="412" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="192" > <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="402" /> -<P2 x="593" y="84" id="274" /> +<P1 x="401" y="83" id="414" /> +<P2 x="593" y="84" id="334" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="193" > <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="805" y="542" id="255" /> -<P2 x="969" y="474" id="359" /> +<P1 x="816" y="552" id="353" /> +<P2 x="969" y="495" id="240" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="194" > <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="805" y="509" id="253" /> -<P2 x="931" y="466" id="361" /> +<P1 x="816" y="519" id="355" /> +<P2 x="921" y="476" id="238" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="195" > <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="750" y="406" id="245" /> -<P2 x="841" y="362" id="325" /> +<P1 x="750" y="406" id="363" /> +<P2 x="828" y="375" id="268" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="196" > <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="841" y="388" id="329" /> -<P2 x="931" y="352" id="351" /> +<P1 x="854" y="375" id="272" /> +<P2 x="921" y="362" id="248" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="197" > <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="805" y="481" id="249" /> -<P2 x="931" y="443" id="353" /> +<P1 x="816" y="491" id="359" /> +<P2 x="921" y="453" id="246" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="198" > <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="805" y="448" id="251" /> -<P2 x="931" y="416" id="355" /> +<P1 x="816" y="458" id="357" /> +<P2 x="921" y="426" id="244" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="199" > <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="931" y="387" id="357" /> -<P2 x="805" y="419" id="247" /> +<P1 x="921" y="397" id="242" /> +<P2 x="816" y="429" id="361" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="200" > <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="931" y="317" id="349" /> -<P2 x="734" y="269" id="286" /> +<P1 x="918" y="330" id="250" /> +<P2 x="747" y="282" id="322" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="201" > <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="734" y="235" id="288" /> -<P2 x="931" y="278" id="347" /> +<P1 x="747" y="248" id="320" /> +<P2 x="918" y="291" id="252" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="202" > <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="734" y="190" id="290" /> -<P2 x="931" y="235" id="345" /> +<P1 x="747" y="203" id="318" /> +<P2 x="918" y="248" id="254" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="203" > <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="841" y="362" id="324" /> -<P2 x="734" y="301" id="292" /> +<P1 x="828" y="375" id="267" /> +<P2 x="747" y="314" id="316" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="204" > <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="534" y="290" id="282" /> -<P2 x="453" y="290" id="410" /> +<P1 x="521" y="303" id="326" /> +<P2 x="466" y="303" id="406" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="205" > <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="453" y="116" id="414" /> -<P2 x="534" y="116" id="294" /> +<P1 x="464" y="126" id="402" /> +<P2 x="524" y="126" id="314" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="206" > <cdparam x="389" y="200" /> <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="453" y="202" id="408" /> -<P2 x="534" y="202" id="280" /> +<P1 x="466" y="215" id="408" /> +<P2 x="521" y="215" id="328" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="207" > <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="534" y="247" id="278" /> -<P2 x="453" y="247" id="406" /> +<P1 x="521" y="260" id="330" /> +<P2 x="466" y="260" id="410" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="208" > <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="453" y="156" id="412" /> -<P2 x="534" y="156" id="284" /> +<P1 x="466" y="169" id="404" /> +<P2 x="521" y="169" id="324" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="209" > <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="931" y="185" id="343" /> -<P2 x="734" y="111" id="272" /> +<P1 x="918" y="198" id="256" /> +<P2 x="747" y="124" id="336" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="210" > <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="324" id="296" /> -<P2 x="669" y="406" id="257" /> +<P1 x="630" y="345" id="312" /> +<P2 x="669" y="406" id="351" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="211" > <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="1232" y="368" id="309" /> -<P2 x="1167" y="370" id="363" /> +<P1 x="1222" y="378" id="290" /> +<P2 x="1178" y="380" id="236" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="212" > <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="1167" y="405" id="365" /> -<P2 x="1232" y="403" id="311" /> +<P1 x="1178" y="415" id="234" /> +<P2 x="1222" y="413" id="288" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="126" id="215" > <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="1167" y="198" id="367" /> -<P2 x="1167" y="266" id="369" /> +<P1 x="1178" y="208" id="232" /> +<P2 x="1178" y="276" id="230" /> <Point x="1227" y="207" /> <Point x="1227" y="247" /> <AutomaticDrawing data="true" /> @@ -582,8 +582,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="1167" y="444" id="371" /> -<P2 x="1232" y="431" id="313" /> +<P1 x="1178" y="454" id="228" /> +<P2 x="1222" y="441" id="286" /> <AutomaticDrawing data="true" /> </CONNECTOR> <COMPONENT type="1205" id="225" > @@ -624,61 +624,61 @@ <info hiddeni="false" /> </extraparam> </COMPONENT> -<SUBCOMPONENT type="1201" id="244" > +<SUBCOMPONENT type="1200" id="309" > <father id="401" 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="841" 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="" /> -<TGConnectingPoint num="0" id="226" /> -<TGConnectingPoint num="1" id="227" /> -<TGConnectingPoint num="2" id="228" /> -<TGConnectingPoint num="3" id="229" /> -<TGConnectingPoint num="4" id="230" /> -<TGConnectingPoint num="5" id="231" /> -<TGConnectingPoint num="6" id="232" /> -<TGConnectingPoint num="7" id="233" /> -<TGConnectingPoint num="8" id="234" /> -<TGConnectingPoint num="9" id="235" /> -<TGConnectingPoint num="10" id="236" /> -<TGConnectingPoint num="11" id="237" /> -<TGConnectingPoint num="12" id="238" /> -<TGConnectingPoint num="13" id="239" /> -<TGConnectingPoint num="14" id="240" /> -<TGConnectingPoint num="15" id="241" /> -<TGConnectingPoint num="16" id="242" /> -<TGConnectingPoint num="17" id="243" /> -</SUBCOMPONENT> -<SUBCOMPONENT type="1202" id="271" > -<father id="401" num="1" /> -<cdparam x="565" y="416" /> -<sizeparam width="240" height="145" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdrectangleparam minX="0" maxX="365" minY="0" maxY="45" /> +<infoparam name="TGComponent" value="TCPIP Entities" /> +<TGConnectingPoint num="0" id="301" /> +<TGConnectingPoint num="1" id="302" /> +<TGConnectingPoint num="2" id="303" /> +<TGConnectingPoint num="3" id="304" /> +<TGConnectingPoint num="4" id="305" /> +<TGConnectingPoint num="5" id="306" /> +<TGConnectingPoint num="6" id="307" /> +<TGConnectingPoint num="7" id="308" /> +<extraparam> +<info hiddeni="false" /> +</extraparam> +</SUBCOMPONENT> +<SUBCOMPONENT type="1202" id="266" > +<father id="309" 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" /> -<TGConnectingPoint num="0" id="263" /> -<TGConnectingPoint num="1" id="264" /> -<TGConnectingPoint num="2" id="265" /> -<TGConnectingPoint num="3" id="266" /> -<TGConnectingPoint num="4" id="267" /> -<TGConnectingPoint num="5" id="268" /> -<TGConnectingPoint num="6" id="269" /> -<TGConnectingPoint num="7" id="270" /> +<cdrectangleparam minX="0" maxX="334" minY="0" maxY="168" /> +<infoparam name="TGComponent" value="TCPIP" /> +<TGConnectingPoint num="0" id="258" /> +<TGConnectingPoint num="1" id="259" /> +<TGConnectingPoint num="2" id="260" /> +<TGConnectingPoint num="3" id="261" /> +<TGConnectingPoint num="4" id="262" /> +<TGConnectingPoint num="5" id="263" /> +<TGConnectingPoint num="6" id="264" /> +<TGConnectingPoint num="7" id="265" /> <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="246" > -<father id="271" num="0" /> -<cdparam x="740" y="406" /> -<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<SUBCOMPONENT type="1203" id="227" > +<father id="266" 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" /> -<TGConnectingPoint num="0" id="245" /> +<cdrectangleparam minX="-13" maxX="223" minY="-13" maxY="304" /> +<infoparam name="Primitive port" value="Event opened" /> +<TGConnectingPoint num="0" id="226" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -686,16 +686,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="248" > -<father id="271" num="1" /> -<cdparam x="795" y="419" /> +<SUBCOMPONENT type="1203" id="229" > +<father id="266" 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" /> -<TGConnectingPoint num="0" id="247" /> +<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> +<infoparam name="TGComponent" value="Event stop" /> +<TGConnectingPoint num="0" id="228" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -703,16 +703,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="250" > -<father id="271" num="2" /> -<cdparam x="795" y="481" /> +<SUBCOMPONENT type="1203" id="231" > +<father id="266" 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" /> -<TGConnectingPoint num="0" id="249" /> +<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> +<infoparam name="TGComponent" value="Channel temp" /> +<TGConnectingPoint num="0" id="230" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -720,16 +720,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="252" > -<father id="271" num="3" /> -<cdparam x="795" y="448" /> +<SUBCOMPONENT type="1203" id="233" > +<father id="266" 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" /> -<TGConnectingPoint num="0" id="251" /> +<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> +<infoparam name="TGComponent" value="Channel temp" /> +<TGConnectingPoint num="0" id="232" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -737,16 +737,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="254" > -<father id="271" num="4" /> -<cdparam x="795" y="509" /> +<SUBCOMPONENT type="1203" id="235" > +<father id="266" 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" /> -<TGConnectingPoint num="0" id="253" /> +<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> +<infoparam name="TGComponent" value="Request req_Timer" /> +<TGConnectingPoint num="0" id="234" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -754,16 +754,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="256" > -<father id="271" num="5" /> -<cdparam x="795" y="542" /> +<SUBCOMPONENT type="1203" id="237" > +<father id="266" 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" /> -<TGConnectingPoint num="0" id="255" /> +<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> +<infoparam name="TGComponent" value="Event timeOut" /> +<TGConnectingPoint num="0" id="236" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -771,16 +771,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="258" > -<father id="271" num="6" /> -<cdparam x="659" y="406" /> +<SUBCOMPONENT type="1203" id="239" > +<father id="266" 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" /> -<TGConnectingPoint num="0" id="257" /> +<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> +<infoparam name="TGComponent" value="Event receive_Application" /> +<TGConnectingPoint num="0" id="238" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -788,16 +788,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="260" > -<father id="271" 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="241" > +<father id="266" 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" /> -<TGConnectingPoint num="0" id="259" /> +<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> +<infoparam name="TGComponent" value="Channel fromAtoT" /> +<TGConnectingPoint num="0" id="240" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -805,16 +805,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="262" > -<father id="271" 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="243" > +<father id="266" 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" /> -<TGConnectingPoint num="0" id="261" /> +<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> +<infoparam name="TGComponent" value="Channel fromTtoA" /> +<TGConnectingPoint num="0" id="242" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -822,43 +822,33 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1202" id="308" > -<father id="401" 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="245" > +<father id="266" 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" /> -<TGConnectingPoint num="0" id="300" /> -<TGConnectingPoint num="1" id="301" /> -<TGConnectingPoint num="2" id="302" /> -<TGConnectingPoint num="3" id="303" /> -<TGConnectingPoint num="4" id="304" /> -<TGConnectingPoint num="5" id="305" /> -<TGConnectingPoint num="6" id="306" /> -<TGConnectingPoint num="7" id="307" /> +<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> +<infoparam name="TGComponent" value="Event open, abort, close" /> +<TGConnectingPoint num="0" id="244" /> <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="0" /> +<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="273" > -<father id="308" 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="247" > +<father id="266" 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" /> -<TGConnectingPoint num="0" id="272" /> +<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> +<infoparam name="TGComponent" value="Event send_TCP" /> +<TGConnectingPoint num="0" id="246" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -866,17 +856,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="275" > -<father id="308" num="1" /> -<reference id="184" /> -<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="249" > +<father id="266" 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" /> -<TGConnectingPoint num="0" id="274" /> +<cdrectangleparam minX="-10" maxX="226" minY="-10" maxY="307" /> +<infoparam name="TGComponent" value="Request start_TCP_IP" /> +<TGConnectingPoint num="0" id="248" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -884,16 +873,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="277" > -<father id="308" num="2" /> -<cdparam x="543" y="321" /> +<SUBCOMPONENT type="1203" id="251" > +<father id="266" 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" /> -<TGConnectingPoint num="0" id="276" /> +<cdrectangleparam minX="-13" maxX="223" minY="-13" maxY="304" /> +<infoparam name="TGComponent" value="Channel fromTtoP" /> +<TGConnectingPoint num="0" id="250" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -901,17 +890,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="279" > -<father id="308" num="3" /> -<reference id="184" /> -<cdparam x="521" y="247" /> +<SUBCOMPONENT type="1203" id="253" > +<father id="266" 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" /> -<TGConnectingPoint num="0" id="278" /> +<cdrectangleparam minX="-13" maxX="223" minY="-13" maxY="304" /> +<infoparam name="TGComponent" value="Channel fromPtoT" /> +<TGConnectingPoint num="0" id="252" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -919,17 +907,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="281" > -<father id="308" num="4" /> -<reference id="184" /> -<cdparam x="521" y="202" /> +<SUBCOMPONENT type="1203" id="255" > +<father id="266" 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" /> -<TGConnectingPoint num="0" id="280" /> +<cdrectangleparam minX="-13" maxX="223" minY="-13" maxY="304" /> +<infoparam name="TGComponent" value="Event receive" /> +<TGConnectingPoint num="0" id="254" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -937,16 +924,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="283" > -<father id="308" num="5" /> -<cdparam x="521" y="290" /> +<SUBCOMPONENT type="1203" id="257" > +<father id="266" 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" /> -<TGConnectingPoint num="0" id="282" /> +<cdrectangleparam minX="-13" maxX="223" minY="-13" maxY="304" /> +<infoparam name="TGComponent" value="Event send" /> +<TGConnectingPoint num="0" id="256" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -954,33 +941,62 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="285" > -<father id="308" 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="285" > +<father id="309" num="1" /> +<cdparam x="828" 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" /> -<TGConnectingPoint num="0" id="284" /> +<cdrectangleparam minX="-13" maxX="557" minY="-13" maxY="472" /> +<infoparam name="Composite port" value="" /> +<TGConnectingPoint num="0" id="267" /> +<TGConnectingPoint num="1" id="268" /> +<TGConnectingPoint num="2" id="269" /> +<TGConnectingPoint num="3" id="270" /> +<TGConnectingPoint num="4" id="271" /> +<TGConnectingPoint num="5" id="272" /> +<TGConnectingPoint num="6" id="273" /> +<TGConnectingPoint num="7" id="274" /> +<TGConnectingPoint num="8" id="275" /> +<TGConnectingPoint num="9" id="276" /> +<TGConnectingPoint num="10" id="277" /> +<TGConnectingPoint num="11" id="278" /> +<TGConnectingPoint num="12" id="279" /> +<TGConnectingPoint num="13" id="280" /> +<TGConnectingPoint num="14" id="281" /> +<TGConnectingPoint num="15" id="282" /> +<TGConnectingPoint num="16" id="283" /> +<TGConnectingPoint num="17" id="284" /> +</SUBCOMPONENT> +<SUBCOMPONENT type="1202" id="300" > +<father id="309" 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" /> +<TGConnectingPoint num="0" id="292" /> +<TGConnectingPoint num="1" id="293" /> +<TGConnectingPoint num="2" id="294" /> +<TGConnectingPoint num="3" id="295" /> +<TGConnectingPoint num="4" id="296" /> +<TGConnectingPoint num="5" id="297" /> +<TGConnectingPoint num="6" id="298" /> +<TGConnectingPoint num="7" id="299" /> <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="0" /> -<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="287" > -<father id="308" num="7" /> -<cdparam x="721" y="269" /> -<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<father id="300" 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" /> <TGConnectingPoint num="0" id="286" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -989,15 +1005,15 @@ </extraparam> </SUBCOMPONENT> <SUBCOMPONENT type="1203" id="289" > -<father id="308" num="8" /> -<cdparam x="721" y="235" /> -<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<father id="300" 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" /> <TGConnectingPoint num="0" id="288" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1006,15 +1022,15 @@ </extraparam> </SUBCOMPONENT> <SUBCOMPONENT type="1203" id="291" > -<father id="308" num="9" /> -<cdparam x="721" y="190" /> -<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<father id="300" 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" /> <TGConnectingPoint num="0" id="290" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1022,16 +1038,43 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="293" > -<father id="308" num="10" /> -<cdparam x="721" y="301" /> +<SUBCOMPONENT type="1202" id="346" > +<father id="401" 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" /> +<TGConnectingPoint num="0" id="338" /> +<TGConnectingPoint num="1" id="339" /> +<TGConnectingPoint num="2" id="340" /> +<TGConnectingPoint num="3" id="341" /> +<TGConnectingPoint num="4" id="342" /> +<TGConnectingPoint num="5" id="343" /> +<TGConnectingPoint num="6" id="344" /> +<TGConnectingPoint num="7" id="345" /> +<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="311" > +<father id="346" 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" /> -<TGConnectingPoint num="0" id="292" /> +<infoparam name="Primitive port" value="Event connectionOpened" /> +<TGConnectingPoint num="0" id="310" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1039,16 +1082,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="295" > -<father id="308" num="11" /> -<cdparam x="524" y="116" /> +<SUBCOMPONENT type="1203" id="313" > +<father id="346" 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" /> -<TGConnectingPoint num="0" id="294" /> +<infoparam name="TGComponent" value="Request start_Application" /> +<TGConnectingPoint num="0" id="312" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1056,16 +1099,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="297" > -<father id="308" num="12" /> -<cdparam x="620" y="324" /> +<SUBCOMPONENT type="1203" id="315" > +<father id="346" 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" /> -<TGConnectingPoint num="0" id="296" /> +<infoparam name="TGComponent" value="Request activation" /> +<TGConnectingPoint num="0" id="314" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1073,16 +1116,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="299" > -<father id="308" num="13" /> -<cdparam x="680" y="321" /> +<SUBCOMPONENT type="1203" id="317" > +<father id="346" 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" /> -<TGConnectingPoint num="0" id="298" /> +<infoparam name="TGComponent" value="Request start_TCP_IP" /> +<TGConnectingPoint num="0" id="316" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1090,55 +1133,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1200" id="392" > -<father id="401" num="3" /> -<cdparam x="841" 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" /> -<TGConnectingPoint num="0" id="384" /> -<TGConnectingPoint num="1" id="385" /> -<TGConnectingPoint num="2" id="386" /> -<TGConnectingPoint num="3" id="387" /> -<TGConnectingPoint num="4" id="388" /> -<TGConnectingPoint num="5" id="389" /> -<TGConnectingPoint num="6" id="390" /> -<TGConnectingPoint num="7" id="391" /> -<extraparam> -<info hiddeni="false" /> -</extraparam> -</SUBCOMPONENT> -<SUBCOMPONENT type="1202" id="323" > -<father id="392" 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" /> -<TGConnectingPoint num="0" id="315" /> -<TGConnectingPoint num="1" id="316" /> -<TGConnectingPoint num="2" id="317" /> -<TGConnectingPoint num="3" id="318" /> -<TGConnectingPoint num="4" id="319" /> -<TGConnectingPoint num="5" id="320" /> -<TGConnectingPoint num="6" id="321" /> -<TGConnectingPoint num="7" id="322" /> -<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="310" > -<father id="323" 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="319" > +<father id="346" 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" /> -<TGConnectingPoint num="0" id="309" /> +<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> +<infoparam name="TGComponent" value="Event receive" /> +<TGConnectingPoint num="0" id="318" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1146,16 +1150,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="312" > -<father id="323" 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="321" > +<father id="346" 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" /> -<TGConnectingPoint num="0" id="311" /> +<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> +<infoparam name="TGComponent" value="Channel fromPtoT" /> +<TGConnectingPoint num="0" id="320" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1163,16 +1167,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="314" > -<father id="323" 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="323" > +<father id="346" 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" /> -<TGConnectingPoint num="0" id="313" /> +<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> +<infoparam name="TGComponent" value="Channel fromTtoP" /> +<TGConnectingPoint num="0" id="322" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1180,68 +1184,33 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1201" id="342" > -<father id="392" num="1" /> -<cdparam x="828" y="362" /> -<sizeparam width="26" height="26" minWidth="10" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<SUBCOMPONENT type="1203" id="325" > +<father id="346" 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" /> <TGConnectingPoint num="0" id="324" /> -<TGConnectingPoint num="1" id="325" /> -<TGConnectingPoint num="2" id="326" /> -<TGConnectingPoint num="3" id="327" /> -<TGConnectingPoint num="4" id="328" /> -<TGConnectingPoint num="5" id="329" /> -<TGConnectingPoint num="6" id="330" /> -<TGConnectingPoint num="7" id="331" /> -<TGConnectingPoint num="8" id="332" /> -<TGConnectingPoint num="9" id="333" /> -<TGConnectingPoint num="10" id="334" /> -<TGConnectingPoint num="11" id="335" /> -<TGConnectingPoint num="12" id="336" /> -<TGConnectingPoint num="13" id="337" /> -<TGConnectingPoint num="14" id="338" /> -<TGConnectingPoint num="15" id="339" /> -<TGConnectingPoint num="16" id="340" /> -<TGConnectingPoint num="17" id="341" /> -</SUBCOMPONENT> -<SUBCOMPONENT type="1202" id="383" > -<father id="392" 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" /> -<TGConnectingPoint num="0" id="375" /> -<TGConnectingPoint num="1" id="376" /> -<TGConnectingPoint num="2" id="377" /> -<TGConnectingPoint num="3" id="378" /> -<TGConnectingPoint num="4" id="379" /> -<TGConnectingPoint num="5" id="380" /> -<TGConnectingPoint num="6" id="381" /> -<TGConnectingPoint num="7" id="382" /> <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="0" /> +<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="344" > -<father id="383" num="0" /> -<cdparam x="918" y="185" /> +<SUBCOMPONENT type="1203" id="327" > +<father id="346" num="8" /> +<cdparam x="521" y="290" /> <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" /> -<TGConnectingPoint num="0" id="343" /> +<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> +<infoparam name="TGComponent" value="Event data_Ready_SC" /> +<TGConnectingPoint num="0" id="326" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1249,16 +1218,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="346" > -<father id="383" num="1" /> -<cdparam x="918" y="235" /> +<SUBCOMPONENT type="1203" id="329" > +<father id="346" num="9" /> +<reference id="184" /> +<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" /> -<TGConnectingPoint num="0" id="345" /> +<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> +<infoparam name="TGComponent" value="Channel fromDtoSC" /> +<TGConnectingPoint num="0" id="328" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1266,16 +1236,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="348" > -<father id="383" num="2" /> -<cdparam x="918" y="278" /> +<SUBCOMPONENT type="1203" id="331" > +<father id="346" num="10" /> +<reference id="184" /> +<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" /> -<TGConnectingPoint num="0" id="347" /> +<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> +<infoparam name="TGComponent" value="Channel fromSCtoD" /> +<TGConnectingPoint num="0" id="330" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1283,16 +1254,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="350" > -<father id="383" num="3" /> -<cdparam x="918" y="317" /> +<SUBCOMPONENT type="1203" id="333" > +<father id="346" 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" /> -<TGConnectingPoint num="0" id="349" /> +<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> +<infoparam name="TGComponent" value="Event answerToReset, pTSConfirm" /> +<TGConnectingPoint num="0" id="332" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1300,16 +1271,17 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="352" > -<father id="383" 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="335" > +<father id="346" num="12" /> +<reference id="184" /> +<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" /> -<TGConnectingPoint num="0" id="351" /> +<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> +<infoparam name="TGComponent" value="Event reset, pTS, end" /> +<TGConnectingPoint num="0" id="334" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1317,16 +1289,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="354" > -<father id="383" 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="337" > +<father id="346" 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" /> -<TGConnectingPoint num="0" id="353" /> +<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="224" /> +<infoparam name="TGComponent" value="Event send" /> +<TGConnectingPoint num="0" id="336" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1334,16 +1306,35 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="356" > -<father id="383" 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="373" > +<father id="401" 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="0" maxX="695" minY="0" maxY="385" /> +<infoparam name="TGComponent" value="Application" /> +<TGConnectingPoint num="0" id="365" /> +<TGConnectingPoint num="1" id="366" /> +<TGConnectingPoint num="2" id="367" /> +<TGConnectingPoint num="3" id="368" /> +<TGConnectingPoint num="4" id="369" /> +<TGConnectingPoint num="5" id="370" /> +<TGConnectingPoint num="6" id="371" /> +<TGConnectingPoint num="7" id="372" /> +<extraparam> +<Data isAttacker="No" daemon="false" periodic="false" periodValue="" unit="" Operation="" /> +</extraparam> +</SUBCOMPONENT> +<SUBCOMPONENT type="1203" id="348" > +<father id="373" 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="Event open, abort, close" /> -<TGConnectingPoint num="0" id="355" /> +<cdrectangleparam minX="-13" maxX="227" minY="-13" maxY="132" /> +<infoparam name="Primitive port" value="Event opened" /> +<TGConnectingPoint num="0" id="347" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1351,16 +1342,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="358" > -<father id="383" 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="350" > +<father id="373" 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 fromTtoA" /> -<TGConnectingPoint num="0" id="357" /> +<cdrectangleparam minX="-13" maxX="227" minY="-13" maxY="132" /> +<infoparam name="Primitive port" value="Event connectionOpened" /> +<TGConnectingPoint num="0" id="349" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1368,16 +1359,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="360" > -<father id="383" num="8" /> -<cdparam x="959" y="474" /> +<SUBCOMPONENT type="1203" id="352" > +<father id="373" 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="Channel fromAtoT" /> -<TGConnectingPoint num="0" id="359" /> +<cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="135" /> +<infoparam name="TGComponent" value="Request start_Application" /> +<TGConnectingPoint num="0" id="351" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1385,16 +1376,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="362" > -<father id="383" num="9" /> -<cdparam x="921" y="466" /> +<SUBCOMPONENT type="1203" id="354" > +<father id="373" 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 receive_Application" /> -<TGConnectingPoint num="0" id="361" /> +<cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="135" /> +<infoparam name="TGComponent" value="Channel fromAtoT" /> +<TGConnectingPoint num="0" id="353" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1402,16 +1393,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="364" > -<father id="383" num="10" /> -<cdparam x="1157" y="370" /> +<SUBCOMPONENT type="1203" id="356" > +<father id="373" 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="Event timeOut" /> -<TGConnectingPoint num="0" id="363" /> +<cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="135" /> +<infoparam name="TGComponent" value="Event receive_Application" /> +<TGConnectingPoint num="0" id="355" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1419,16 +1410,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="366" > -<father id="383" num="11" /> -<cdparam x="1157" y="405" /> +<SUBCOMPONENT type="1203" id="358" > +<father id="373" 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="Request req_Timer" /> -<TGConnectingPoint num="0" id="365" /> +<cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="135" /> +<infoparam name="TGComponent" value="Event open, abort, close" /> +<TGConnectingPoint num="0" id="357" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1436,16 +1427,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="368" > -<father id="383" num="12" /> -<cdparam x="1157" y="198" /> +<SUBCOMPONENT type="1203" id="360" > +<father id="373" 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" /> -<TGConnectingPoint num="0" id="367" /> +<cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="135" /> +<infoparam name="TGComponent" value="Event send_TCP" /> +<TGConnectingPoint num="0" id="359" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1453,16 +1444,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="370" > -<father id="383" num="13" /> -<cdparam x="1157" y="266" /> +<SUBCOMPONENT type="1203" id="362" > +<father id="373" 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="Channel temp" /> -<TGConnectingPoint num="0" id="369" /> +<cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="135" /> +<infoparam name="TGComponent" value="Channel fromTtoA" /> +<TGConnectingPoint num="0" id="361" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1470,16 +1461,16 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="372" > -<father id="383" num="14" /> -<cdparam x="1157" y="444" /> +<SUBCOMPONENT type="1203" id="364" > +<father id="373" num="8" /> +<cdparam x="740" 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 stop" /> -<TGConnectingPoint num="0" id="371" /> +<cdrectangleparam minX="-10" maxX="230" minY="-10" maxY="135" /> +<infoparam name="TGComponent" value="Request start_TCP_IP" /> +<TGConnectingPoint num="0" id="363" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1487,22 +1478,31 @@ <Type type="0" typeOther="" /> </extraparam> </SUBCOMPONENT> -<SUBCOMPONENT type="1203" id="374" > -<father id="383" 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="1201" id="392" > +<father id="401" 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="223" minY="-13" maxY="304" /> -<infoparam name="Primitive port" value="Event opened" /> -<TGConnectingPoint num="0" id="373" /> -<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="0" /> -<Type type="0" typeOther="" /> -<Type type="0" typeOther="" /> -<Type type="0" typeOther="" /> -<Type type="0" typeOther="" /> -<Type type="0" typeOther="" /> -</extraparam> +<cdrectangleparam minX="-13" maxX="922" minY="-13" maxY="517" /> +<infoparam name="Composite port" value="" /> +<TGConnectingPoint num="0" id="374" /> +<TGConnectingPoint num="1" id="375" /> +<TGConnectingPoint num="2" id="376" /> +<TGConnectingPoint num="3" id="377" /> +<TGConnectingPoint num="4" id="378" /> +<TGConnectingPoint num="5" id="379" /> +<TGConnectingPoint num="6" id="380" /> +<TGConnectingPoint num="7" id="381" /> +<TGConnectingPoint num="8" id="382" /> +<TGConnectingPoint num="9" id="383" /> +<TGConnectingPoint num="10" id="384" /> +<TGConnectingPoint num="11" id="385" /> +<TGConnectingPoint num="12" id="386" /> +<TGConnectingPoint num="13" id="387" /> +<TGConnectingPoint num="14" id="388" /> +<TGConnectingPoint num="15" id="389" /> +<TGConnectingPoint num="16" id="390" /> +<TGConnectingPoint num="17" id="391" /> </SUBCOMPONENT> <COMPONENT type="1202" id="424" > @@ -1530,15 +1530,14 @@ </COMPONENT> <SUBCOMPONENT type="1203" id="403" > <father id="424" num="0" /> -<reference id="184" /> -<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" /> <TGConnectingPoint num="0" id="402" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1548,16 +1547,16 @@ </SUBCOMPONENT> <SUBCOMPONENT type="1203" id="405" > <father id="424" 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" /> <TGConnectingPoint num="0" id="404" /> <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="0" /> -<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="0" /> +<Type type="1" typeOther="" /> +<Type type="2" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1565,15 +1564,14 @@ </SUBCOMPONENT> <SUBCOMPONENT type="1203" id="407" > <father id="424" num="2" /> -<reference id="184" /> -<cdparam x="440" y="247" /> +<cdparam x="440" y="290" /> <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" /> <TGConnectingPoint num="0" id="406" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1601,14 +1599,15 @@ </SUBCOMPONENT> <SUBCOMPONENT type="1203" id="411" > <father id="424" num="4" /> -<cdparam x="440" y="290" /> +<reference id="184" /> +<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" /> <TGConnectingPoint num="0" id="410" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1618,16 +1617,16 @@ </SUBCOMPONENT> <SUBCOMPONENT type="1203" id="413" > <father id="424" 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" /> <TGConnectingPoint num="0" id="412" /> <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="0" /> -<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="0" /> +<Type type="0" typeOther="" /> +<Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -1635,14 +1634,15 @@ </SUBCOMPONENT> <SUBCOMPONENT type="1203" id="415" > <father id="424" num="6" /> -<cdparam x="443" y="116" /> -<sizeparam width="21" height="21" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<reference id="184" /> +<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" /> <TGConnectingPoint num="0" id="414" /> <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="0" /> +<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="0" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> <Type type="0" typeOther="" /> @@ -2163,8 +2163,8 @@ <TMLActivityDiagramPanel name="TCPIP" minX="10" maxX="2900" minY="10" maxY="1900" zoom="1.0" > <COMPONENT type="1008" id="529" > -<cdparam x="156" y="424" /> -<sizeparam width="68" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="149" y="424" /> +<sizeparam width="82" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -2190,7 +2190,7 @@ <SUBCOMPONENT type="-1" id="530" > <father id="537" num="0" /> <cdparam x="2061" y="1388" /> -<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="12" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="-20" minY="10" maxY="35" /> <infoparam name="guard 1" value="[ ]" /> @@ -2198,7 +2198,7 @@ <SUBCOMPONENT type="-1" id="531" > <father id="537" num="1" /> <cdparam x="2121" y="1388" /> -<sizeparam width="44" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="39" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="35" maxX="55" minY="10" maxY="35" /> @@ -2207,7 +2207,7 @@ <SUBCOMPONENT type="-1" id="532" > <father id="537" num="2" /> <cdparam x="2106" y="1426" /> -<sizeparam width="135" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="124" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> @@ -2228,7 +2228,7 @@ <SUBCOMPONENT type="-1" id="538" > <father id="545" num="0" /> <cdparam x="2212" y="961" /> -<sizeparam width="127" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="-75" maxX="-20" minY="10" maxY="35" /> @@ -2237,7 +2237,7 @@ <SUBCOMPONENT type="-1" id="539" > <father id="545" num="1" /> <cdparam x="2301" y="975" /> -<sizeparam width="127" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="35" maxX="55" minY="10" maxY="35" /> @@ -2246,7 +2246,7 @@ <SUBCOMPONENT type="-1" id="540" > <father id="545" num="2" /> <cdparam x="2282" y="996" /> -<sizeparam width="44" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="39" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> @@ -2267,7 +2267,7 @@ <SUBCOMPONENT type="-1" id="546" > <father id="553" num="0" /> <cdparam x="1934" y="1356" /> -<sizeparam width="127" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="-75" maxX="-20" minY="10" maxY="35" /> @@ -2276,7 +2276,7 @@ <SUBCOMPONENT type="-1" id="547" > <father id="553" num="1" /> <cdparam x="2016" y="1356" /> -<sizeparam width="44" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="39" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="35" maxX="55" minY="10" maxY="35" /> @@ -2285,7 +2285,7 @@ <SUBCOMPONENT type="-1" id="548" > <father id="553" num="2" /> <cdparam x="2001" y="1391" /> -<sizeparam width="131" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="120" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> @@ -2306,7 +2306,7 @@ <SUBCOMPONENT type="-1" id="554" > <father id="561" num="0" /> <cdparam x="1762" y="1279" /> -<sizeparam width="127" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="-75" maxX="-20" minY="10" maxY="35" /> @@ -2315,7 +2315,7 @@ <SUBCOMPONENT type="-1" id="555" > <father id="561" num="1" /> <cdparam x="1846" y="1279" /> -<sizeparam width="44" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="39" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="35" maxX="55" minY="10" maxY="35" /> @@ -2324,7 +2324,7 @@ <SUBCOMPONENT type="-1" id="556" > <father id="561" num="2" /> <cdparam x="1831" y="1314" /> -<sizeparam width="127" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> @@ -2345,7 +2345,7 @@ <SUBCOMPONENT type="-1" id="562" > <father id="569" num="0" /> <cdparam x="1688" y="1151" /> -<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="12" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="-20" minY="10" maxY="35" /> <infoparam name="guard 1" value="[ ]" /> @@ -2353,7 +2353,7 @@ <SUBCOMPONENT type="-1" id="563" > <father id="569" num="1" /> <cdparam x="1748" y="1151" /> -<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="12" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="35" maxX="55" minY="10" maxY="35" /> <infoparam name="guard 2" value="[ ]" /> @@ -2361,7 +2361,7 @@ <SUBCOMPONENT type="-1" id="564" > <father id="569" num="2" /> <cdparam x="1733" y="1186" /> -<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="12" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> <infoparam name="guard 3" value="[ ]" /> @@ -2380,7 +2380,7 @@ <SUBCOMPONENT type="-1" id="570" > <father id="573" num="0" /> <cdparam x="1539" y="1274" /> -<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="8" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2399,7 +2399,7 @@ <SUBCOMPONENT type="-1" id="574" > <father id="577" num="0" /> <cdparam x="1538" y="1088" /> -<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="8" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2419,7 +2419,7 @@ <SUBCOMPONENT type="-1" id="578" > <father id="585" num="0" /> <cdparam x="1542" y="1016" /> -<sizeparam width="135" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="124" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="-75" maxX="-20" minY="10" maxY="35" /> @@ -2428,7 +2428,7 @@ <SUBCOMPONENT type="-1" id="579" > <father id="585" num="1" /> <cdparam x="1627" y="1016" /> -<sizeparam width="44" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="39" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="35" maxX="55" minY="10" maxY="35" /> @@ -2437,7 +2437,7 @@ <SUBCOMPONENT type="-1" id="580" > <father id="585" num="2" /> <cdparam x="1612" y="1051" /> -<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="12" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> <infoparam name="guard 3" value="[ ]" /> @@ -2457,7 +2457,7 @@ <SUBCOMPONENT type="-1" id="586" > <father id="593" num="0" /> <cdparam x="1688" y="885" /> -<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="12" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="-20" minY="10" maxY="35" /> <infoparam name="guard 1" value="[ ]" /> @@ -2465,7 +2465,7 @@ <SUBCOMPONENT type="-1" id="587" > <father id="593" num="1" /> <cdparam x="1748" y="885" /> -<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="12" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="35" maxX="55" minY="10" maxY="35" /> <infoparam name="guard 2" value="[ ]" /> @@ -2473,7 +2473,7 @@ <SUBCOMPONENT type="-1" id="588" > <father id="593" num="2" /> <cdparam x="1733" y="920" /> -<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="12" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> <infoparam name="guard 3" value="[ ]" /> @@ -2492,7 +2492,7 @@ <SUBCOMPONENT type="-1" id="594" > <father id="597" num="0" /> <cdparam x="1655" y="1254" /> -<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="8" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2511,7 +2511,7 @@ <SUBCOMPONENT type="-1" id="598" > <father id="601" num="0" /> <cdparam x="2219" y="1083" /> -<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="8" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2530,7 +2530,7 @@ <SUBCOMPONENT type="-1" id="602" > <father id="605" num="0" /> <cdparam x="2288" y="1044" /> -<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="8" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2550,7 +2550,7 @@ <SUBCOMPONENT type="-1" id="606" > <father id="613" num="0" /> <cdparam x="1168" y="1030" /> -<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="12" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="-20" minY="10" maxY="35" /> <infoparam name="guard 1" value="[ ]" /> @@ -2558,7 +2558,7 @@ <SUBCOMPONENT type="-1" id="607" > <father id="613" num="1" /> <cdparam x="1228" y="1030" /> -<sizeparam width="44" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="39" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="35" maxX="55" minY="10" maxY="35" /> @@ -2567,7 +2567,7 @@ <SUBCOMPONENT type="-1" id="608" > <father id="613" num="2" /> <cdparam x="1213" y="1065" /> -<sizeparam width="127" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> @@ -2587,7 +2587,7 @@ <SUBCOMPONENT type="-1" id="614" > <father id="617" num="0" /> <cdparam x="1218" y="1127" /> -<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="8" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2607,7 +2607,7 @@ <SUBCOMPONENT type="-1" id="618" > <father id="625" num="0" /> <cdparam x="482" y="747" /> -<sizeparam width="131" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="120" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="-75" maxX="-20" minY="10" maxY="35" /> @@ -2616,7 +2616,7 @@ <SUBCOMPONENT type="-1" id="619" > <father id="625" num="1" /> <cdparam x="592" y="722" /> -<sizeparam width="44" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="39" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="35" maxX="55" minY="10" maxY="35" /> @@ -2625,7 +2625,7 @@ <SUBCOMPONENT type="-1" id="620" > <father id="625" num="2" /> <cdparam x="577" y="757" /> -<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="12" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> <infoparam name="guard 3" value="[ ]" /> @@ -2644,7 +2644,7 @@ <SUBCOMPONENT type="-1" id="626" > <father id="629" num="0" /> <cdparam x="732" y="714" /> -<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="8" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2663,7 +2663,7 @@ <SUBCOMPONENT type="-1" id="630" > <father id="633" num="0" /> <cdparam x="953" y="1045" /> -<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="8" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2683,7 +2683,7 @@ <SUBCOMPONENT type="-1" id="634" > <father id="641" num="0" /> <cdparam x="959" y="974" /> -<sizeparam width="127" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="-75" maxX="-20" minY="10" maxY="35" /> @@ -2692,7 +2692,7 @@ <SUBCOMPONENT type="-1" id="635" > <father id="641" num="1" /> <cdparam x="1070" y="949" /> -<sizeparam width="44" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="39" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="35" maxX="55" minY="10" maxY="35" /> @@ -2701,7 +2701,7 @@ <SUBCOMPONENT type="-1" id="636" > <father id="641" num="2" /> <cdparam x="1054" y="984" /> -<sizeparam width="127" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> @@ -2721,7 +2721,7 @@ <SUBCOMPONENT type="-1" id="642" > <father id="645" num="0" /> <cdparam x="818" y="1031" /> -<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="8" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2741,7 +2741,7 @@ <SUBCOMPONENT type="-1" id="646" > <father id="653" num="0" /> <cdparam x="753" y="885" /> -<sizeparam width="127" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="-75" maxX="-20" minY="10" maxY="35" /> @@ -2750,7 +2750,7 @@ <SUBCOMPONENT type="-1" id="647" > <father id="653" num="1" /> <cdparam x="863" y="879" /> -<sizeparam width="44" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="39" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="35" maxX="55" minY="10" maxY="35" /> @@ -2759,7 +2759,7 @@ <SUBCOMPONENT type="-1" id="648" > <father id="653" num="2" /> <cdparam x="848" y="914" /> -<sizeparam width="123" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="112" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> @@ -2779,7 +2779,7 @@ <SUBCOMPONENT type="-1" id="654" > <father id="657" num="0" /> <cdparam x="354" y="785" /> -<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="8" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2798,7 +2798,7 @@ <SUBCOMPONENT type="-1" id="658" > <father id="661" num="0" /> <cdparam x="146" y="818" /> -<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="8" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2818,7 +2818,7 @@ <SUBCOMPONENT type="-1" id="662" > <father id="669" num="0" /> <cdparam x="949" y="793" /> -<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="12" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="-20" minY="10" maxY="35" /> <infoparam name="guard 1" value="[ ]" /> @@ -2826,7 +2826,7 @@ <SUBCOMPONENT type="-1" id="663" > <father id="669" num="1" /> <cdparam x="1028" y="790" /> -<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="12" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="35" maxX="55" minY="10" maxY="35" /> <infoparam name="guard 2" value="[ ]" /> @@ -2834,7 +2834,7 @@ <SUBCOMPONENT type="-1" id="664" > <father id="669" num="2" /> <cdparam x="1013" y="825" /> -<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="12" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> <infoparam name="guard 3" value="[ ]" /> @@ -2853,7 +2853,7 @@ <SUBCOMPONENT type="-1" id="670" > <father id="673" num="0" /> <cdparam x="1018" y="721" /> -<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="8" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2872,7 +2872,7 @@ <SUBCOMPONENT type="-1" id="674" > <father id="677" num="0" /> <cdparam x="474" y="802" /> -<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="8" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2891,7 +2891,7 @@ <SUBCOMPONENT type="-1" id="678" > <father id="681" num="0" /> <cdparam x="245" y="885" /> -<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="8" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2910,7 +2910,7 @@ <SUBCOMPONENT type="-1" id="682" > <father id="685" num="0" /> <cdparam x="1059" y="1077" /> -<sizeparam width="10" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="8" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="-75" maxX="30" minY="10" maxY="30" /> <infoparam name="value of the delay" value="b" /> @@ -2930,7 +2930,7 @@ <SUBCOMPONENT type="-1" id="686" > <father id="693" num="0" /> <cdparam x="98" y="496" /> -<sizeparam width="123" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="112" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="-75" maxX="-20" minY="10" maxY="35" /> @@ -2939,7 +2939,7 @@ <SUBCOMPONENT type="-1" id="687" > <father id="693" num="1" /> <cdparam x="208" y="496" /> -<sizeparam width="44" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="39" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="35" maxX="55" minY="10" maxY="35" /> @@ -2948,7 +2948,7 @@ <SUBCOMPONENT type="-1" id="688" > <father id="693" num="2" /> <cdparam x="193" y="531" /> -<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="12" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> <infoparam name="guard 3" value="[ ]" /> @@ -2968,7 +2968,7 @@ <SUBCOMPONENT type="-1" id="694" > <father id="701" num="0" /> <cdparam x="317" y="202" /> -<sizeparam width="88" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="81" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="-75" maxX="-20" minY="10" maxY="35" /> @@ -2977,7 +2977,7 @@ <SUBCOMPONENT type="-1" id="695" > <father id="701" num="1" /> <cdparam x="394" y="202" /> -<sizeparam width="98" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="91" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="35" maxX="55" minY="10" maxY="35" /> @@ -2986,7 +2986,7 @@ <SUBCOMPONENT type="-1" id="696" > <father id="701" num="2" /> <cdparam x="379" y="237" /> -<sizeparam width="14" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="12" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> <infoparam name="guard 3" value="[ ]" /> @@ -3006,7 +3006,7 @@ <SUBCOMPONENT type="-1" id="702" > <father id="709" num="0" /> <cdparam x="404" y="592" /> -<sizeparam width="127" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="-75" maxX="-20" minY="10" maxY="35" /> @@ -3015,7 +3015,7 @@ <SUBCOMPONENT type="-1" id="703" > <father id="709" num="1" /> <cdparam x="500" y="599" /> -<sizeparam width="44" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="39" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="35" maxX="55" minY="10" maxY="35" /> @@ -3024,7 +3024,7 @@ <SUBCOMPONENT type="-1" id="704" > <father id="709" num="2" /> <cdparam x="469" y="627" /> -<sizeparam width="277" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="252" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> @@ -3045,7 +3045,7 @@ <SUBCOMPONENT type="-1" id="710" > <father id="717" num="0" /> <cdparam x="228" y="574" /> -<sizeparam width="127" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="-75" maxX="-20" minY="10" maxY="35" /> @@ -3054,7 +3054,7 @@ <SUBCOMPONENT type="-1" id="711" > <father id="717" num="1" /> <cdparam x="317" y="584" /> -<sizeparam width="44" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="39" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="35" maxX="55" minY="10" maxY="35" /> @@ -3063,7 +3063,7 @@ <SUBCOMPONENT type="-1" id="712" > <father id="717" num="2" /> <cdparam x="306" y="616" /> -<sizeparam width="127" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="116" height="15" minWidth="10" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="20" maxX="40" minY="45" maxY="70" /> @@ -3081,7 +3081,7 @@ <COMPONENT type="301" id="736" > <cdparam x="10" y="30" /> -<sizeparam width="98" height="135" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="92" height="135" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="0: closed @@ -3148,8 +3148,8 @@ </COMPONENT> <COMPONENT type="1009" id="744" > -<cdparam x="964" y="585" /> -<sizeparam width="88" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="957" y="585" /> +<sizeparam width="103" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3197,8 +3197,8 @@ </COMPONENT> <COMPONENT type="1017" id="756" > -<cdparam x="311" y="133" /> -<sizeparam width="127" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="309" y="133" /> +<sizeparam width="131" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3211,8 +3211,8 @@ </COMPONENT> <COMPONENT type="1009" id="759" > -<cdparam x="690" y="589" /> -<sizeparam width="64" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="682" y="589" /> +<sizeparam width="80" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3225,8 +3225,8 @@ </COMPONENT> <COMPONENT type="1010" id="762" > -<cdparam x="686" y="534" /> -<sizeparam width="73" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="679" y="534" /> +<sizeparam width="87" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3239,8 +3239,8 @@ </COMPONENT> <COMPONENT type="1010" id="765" > -<cdparam x="974" y="528" /> -<sizeparam width="69" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="967" y="528" /> +<sizeparam width="83" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3253,8 +3253,8 @@ </COMPONENT> <COMPONENT type="1010" id="768" > -<cdparam x="436" y="492" /> -<sizeparam width="57" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="429" y="492" /> +<sizeparam width="71" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3267,8 +3267,8 @@ </COMPONENT> <COMPONENT type="1010" id="771" > -<cdparam x="247" y="468" /> -<sizeparam width="84" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="240" y="468" /> +<sizeparam width="99" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3281,8 +3281,8 @@ </COMPONENT> <COMPONENT type="1010" id="774" > -<cdparam x="160" y="383" /> -<sizeparam width="56" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="153" y="383" /> +<sizeparam width="71" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3333,8 +3333,8 @@ </COMPONENT> <COMPONENT type="1010" id="792" > -<cdparam x="272" y="228" /> -<sizeparam width="58" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="265" y="228" /> +<sizeparam width="73" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3357,7 +3357,7 @@ <COMPONENT type="301" id="811" > <cdparam x="602" y="86" /> -<sizeparam width="393" height="51" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="360" height="51" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="b est le nombre d'instructions necessaires pour paquetiser @@ -3390,8 +3390,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1009" id="814" > -<cdparam x="186" y="808" /> -<sizeparam width="88" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="178" y="808" /> +<sizeparam width="104" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3404,8 +3404,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1006" id="817" > -<cdparam x="188" y="1002" /> -<sizeparam width="84" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="181" y="1002" /> +<sizeparam width="99" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3458,8 +3458,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1006" id="830" > -<cdparam x="90" y="938" /> -<sizeparam width="84" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="83" y="938" /> +<sizeparam width="99" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3492,8 +3492,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1006" id="838" > -<cdparam x="422" y="941" /> -<sizeparam width="84" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="415" y="941" /> +<sizeparam width="99" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3506,8 +3506,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1006" id="841" > -<cdparam x="304" y="900" /> -<sizeparam width="84" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="297" y="900" /> +<sizeparam width="99" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3530,7 +3530,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="860" > <cdparam x="998" y="850" /> -<sizeparam width="50" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="50" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="Final @@ -3577,8 +3577,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1006" id="868" > -<cdparam x="758" y="1086" /> -<sizeparam width="84" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="751" y="1086" /> +<sizeparam width="99" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3592,7 +3592,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="885" > <cdparam x="781" y="950" /> -<sizeparam width="94" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="89" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="Active Open @@ -3620,7 +3620,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="902" > <cdparam x="715" y="907" /> -<sizeparam width="104" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="97" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="Passive Open @@ -3678,8 +3678,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1006" id="913" > -<cdparam x="901" y="1123" /> -<sizeparam width="84" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="894" y="1123" /> +<sizeparam width="99" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3693,7 +3693,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="930" > <cdparam x="884" y="1068" /> -<sizeparam width="115" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="108" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="send Ack of Fin @@ -3740,8 +3740,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1006" id="938" > -<cdparam x="1007" y="1155" /> -<sizeparam width="84" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="1000" y="1155" /> +<sizeparam width="99" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3755,7 +3755,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="955" > <cdparam x="1000" y="1094" /> -<sizeparam width="115" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="108" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="send Ack of Fin @@ -3802,8 +3802,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1006" id="963" > -<cdparam x="680" y="758" /> -<sizeparam width="84" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="673" y="758" /> +<sizeparam width="99" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3825,8 +3825,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1007" id="968" > -<cdparam x="92" y="1100" /> -<sizeparam width="81" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="84" y="1100" /> +<sizeparam width="98" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3839,8 +3839,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1006" id="971" > -<cdparam x="102" y="1167" /> -<sizeparam width="60" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="94" y="1167" /> +<sizeparam width="76" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3862,8 +3862,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1007" id="976" > -<cdparam x="190" y="1102" /> -<sizeparam width="81" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="182" y="1102" /> +<sizeparam width="98" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3876,8 +3876,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1006" id="979" > -<cdparam x="200" y="1169" /> -<sizeparam width="60" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="192" y="1169" /> +<sizeparam width="76" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3890,8 +3890,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1007" id="982" > -<cdparam x="306" y="1106" /> -<sizeparam width="81" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="298" y="1106" /> +<sizeparam width="98" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3904,8 +3904,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1006" id="985" > -<cdparam x="316" y="1173" /> -<sizeparam width="60" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="308" y="1173" /> +<sizeparam width="76" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3918,8 +3918,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1007" id="988" > -<cdparam x="424" y="1090" /> -<sizeparam width="81" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="416" y="1090" /> +<sizeparam width="98" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3932,8 +3932,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1006" id="991" > -<cdparam x="434" y="1159" /> -<sizeparam width="60" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="426" y="1159" /> +<sizeparam width="76" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -3990,8 +3990,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1008" id="1006" > -<cdparam x="205" y="1052" /> -<sizeparam width="51" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="198" y="1052" /> +<sizeparam width="66" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4004,8 +4004,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1008" id="1009" > -<cdparam x="321" y="962" /> -<sizeparam width="51" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="314" y="962" /> +<sizeparam width="66" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4018,8 +4018,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1008" id="1012" > -<cdparam x="439" y="983" /> -<sizeparam width="51" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="432" y="983" /> +<sizeparam width="66" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4032,8 +4032,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1008" id="1015" > -<cdparam x="107" y="986" /> -<sizeparam width="51" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="100" y="986" /> +<sizeparam width="66" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4046,8 +4046,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1008" id="1018" > -<cdparam x="697" y="813" /> -<sizeparam width="51" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="690" y="813" /> +<sizeparam width="66" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4060,8 +4060,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1008" id="1021" > -<cdparam x="775" y="1141" /> -<sizeparam width="51" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="768" y="1141" /> +<sizeparam width="66" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4074,8 +4074,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1008" id="1024" > -<cdparam x="918" y="1178" /> -<sizeparam width="51" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="911" y="1178" /> +<sizeparam width="66" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4088,8 +4088,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1008" id="1027" > -<cdparam x="1024" y="1211" /> -<sizeparam width="51" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="1017" y="1211" /> +<sizeparam width="66" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4120,8 +4120,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1006" id="1034" > -<cdparam x="1166" y="1214" /> -<sizeparam width="84" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="1159" y="1214" /> +<sizeparam width="99" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4135,7 +4135,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="1051" > <cdparam x="1159" y="1153" /> -<sizeparam width="115" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="108" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="send Ack of Fin @@ -4193,8 +4193,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1008" id="1062" > -<cdparam x="1183" y="1351" /> -<sizeparam width="51" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="1176" y="1351" /> +<sizeparam width="66" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4225,8 +4225,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1006" id="1069" > -<cdparam x="1487" y="1132" /> -<sizeparam width="84" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="1479" y="1132" /> +<sizeparam width="100" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4239,8 +4239,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1006" id="1072" > -<cdparam x="1487" y="1348" /> -<sizeparam width="84" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="1480" y="1348" /> +<sizeparam width="99" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4253,8 +4253,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1008" id="1075" > -<cdparam x="1704" y="1026" /> -<sizeparam width="48" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="1697" y="1026" /> +<sizeparam width="63" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4268,7 +4268,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="1092" > <cdparam x="1759" y="1192" /> -<sizeparam width="92" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="86" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="Correct ack @@ -4296,7 +4296,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="1109" > <cdparam x="1635" y="1168" /> -<sizeparam width="76" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="71" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="false ack @@ -4323,8 +4323,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1006" id="1112" > -<cdparam x="1599" y="1299" /> -<sizeparam width="84" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="1592" y="1299" /> +<sizeparam width="99" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4347,7 +4347,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="1131" > <cdparam x="1469" y="1295" /> -<sizeparam width="137" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="127" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="return acknowldge @@ -4375,7 +4375,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="1148" > <cdparam x="1620" y="927" /> -<sizeparam width="50" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="50" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="data @@ -4402,8 +4402,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1008" id="1151" > -<cdparam x="1504" y="1405" /> -<sizeparam width="51" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="1497" y="1405" /> +<sizeparam width="66" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4416,8 +4416,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1008" id="1154" > -<cdparam x="1616" y="1348" /> -<sizeparam width="51" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="1609" y="1348" /> +<sizeparam width="66" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4430,8 +4430,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1006" id="1157" > -<cdparam x="1611" y="1404" /> -<sizeparam width="60" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="1603" y="1404" /> +<sizeparam width="76" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4545,7 +4545,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="1199" > <cdparam x="1825" y="889" /> -<sizeparam width="50" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="50" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="Syn @@ -4573,7 +4573,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="1216" > <cdparam x="1707" y="945" /> -<sizeparam width="50" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="50" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="ack @@ -4600,8 +4600,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1006" id="1219" > -<cdparam x="2195" y="1198" /> -<sizeparam width="84" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="2188" y="1198" /> +<sizeparam width="99" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4623,8 +4623,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1007" id="1224" > -<cdparam x="2197" y="1298" /> -<sizeparam width="81" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="2189" y="1298" /> +<sizeparam width="98" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4637,8 +4637,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1006" id="1227" > -<cdparam x="2207" y="1365" /> -<sizeparam width="60" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="2199" y="1365" /> +<sizeparam width="76" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4662,8 +4662,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1008" id="1233" > -<cdparam x="2212" y="1248" /> -<sizeparam width="51" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="2205" y="1248" /> +<sizeparam width="66" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4687,8 +4687,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1006" id="1239" > -<cdparam x="2275" y="1122" /> -<sizeparam width="84" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="2268" y="1122" /> +<sizeparam width="99" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4702,7 +4702,7 @@ On prend b=1 comme exemple <COMPONENT type="301" id="1256" > <cdparam x="2283" y="1065" /> -<sizeparam width="121" height="20" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<sizeparam width="114" height="15" minWidth="50" minHeight="20" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> <infoparam name="UML Note" value="send Ack of SYN @@ -4749,8 +4749,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1008" id="1264" > -<cdparam x="2292" y="1199" /> -<sizeparam width="51" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="2285" y="1199" /> +<sizeparam width="66" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4790,8 +4790,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1008" id="1273" > -<cdparam x="1459" y="1192" /> -<sizeparam width="140" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="1455" y="1192" /> +<sizeparam width="149" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -4804,8 +4804,8 @@ On prend b=1 comme exemple </COMPONENT> <COMPONENT type="1009" id="1276" > -<cdparam x="1696" y="1086" /> -<sizeparam width="64" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="1688" y="1086" /> +<sizeparam width="80" height="20" minWidth="30" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> <enabled value="true" /> <cdrectangleparam minX="10" maxX="2900" minY="10" maxY="1900" /> @@ -5165,7 +5165,7 @@ On prend b=1 comme exemple <cdparam x="132" y="1125" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from send request to write channel" value="null" /> -<P1 x="132" y="1125" id="967" /> +<P1 x="133" y="1125" id="967" /> <P2 x="132" y="1162" id="969" /> <AutomaticDrawing data="true" /> </CONNECTOR> @@ -5182,14 +5182,14 @@ On prend b=1 comme exemple <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from action state to send request" value="null" /> <P1 x="132" y="1066" id="826" /> -<P2 x="132" y="1095" id="966" /> +<P2 x="133" y="1095" id="966" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="115" id="1323" > <cdparam x="229" y="1127" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from send request to write channel" value="null" /> -<P1 x="230" y="1127" id="975" /> +<P1 x="231" y="1127" id="975" /> <P2 x="230" y="1164" id="977" /> <AutomaticDrawing data="true" /> </CONNECTOR> @@ -5197,7 +5197,7 @@ On prend b=1 comme exemple <cdparam x="346" y="1131" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from send request to write channel" value="null" /> -<P1 x="346" y="1131" id="981" /> +<P1 x="347" y="1131" id="981" /> <P2 x="346" y="1168" id="983" /> <AutomaticDrawing data="true" /> </CONNECTOR> @@ -5206,14 +5206,14 @@ On prend b=1 comme exemple <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from action state to send request" value="null" /> <P1 x="346" y="1051" id="832" /> -<P2 x="346" y="1101" id="980" /> +<P2 x="347" y="1101" id="980" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="115" id="1326" > <cdparam x="437" y="1118" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from send request to write channel" value="null" /> -<P1 x="464" y="1115" id="987" /> +<P1 x="465" y="1115" id="987" /> <P2 x="464" y="1154" id="989" /> <AutomaticDrawing data="true" /> </CONNECTOR> @@ -5222,7 +5222,7 @@ On prend b=1 comme exemple <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from action state to send request" value="null" /> <P1 x="464" y="1057" id="821" /> -<P2 x="464" y="1085" id="986" /> +<P2 x="465" y="1085" id="986" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="115" id="1328" > @@ -5286,14 +5286,14 @@ On prend b=1 comme exemple <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from write channel to send event" value="null" /> <P1 x="132" y="963" id="829" /> -<P2 x="132" y="981" id="1013" /> +<P2 x="133" y="981" id="1013" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="115" id="1336" > <cdparam x="132" y="1011" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from send event to action state" value="null" /> -<P1 x="132" y="1011" id="1014" /> +<P1 x="133" y="1011" id="1014" /> <P2 x="132" y="1036" id="825" /> <AutomaticDrawing data="true" /> </CONNECTOR> @@ -5302,15 +5302,15 @@ On prend b=1 comme exemple <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from write channel to send event" value="null" /> <P1 x="230" y="1027" id="816" /> -<P2 x="230" y="1047" id="1004" /> +<P2 x="231" y="1047" id="1004" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="115" id="1338" > <cdparam x="228" y="1088" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from send event to send request" value="null" /> -<P1 x="230" y="1077" id="1005" /> -<P2 x="230" y="1097" id="974" /> +<P1 x="231" y="1077" id="1005" /> +<P2 x="231" y="1097" id="974" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="115" id="1339" > @@ -5318,14 +5318,14 @@ On prend b=1 comme exemple <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from write channel to send event" value="null" /> <P1 x="346" y="925" id="840" /> -<P2 x="346" y="957" id="1007" /> +<P2 x="347" y="957" id="1007" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="115" id="1340" > <cdparam x="348" y="987" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from send event to action state" value="null" /> -<P1 x="346" y="987" id="1008" /> +<P1 x="347" y="987" id="1008" /> <P2 x="346" y="1021" id="831" /> <AutomaticDrawing data="true" /> </CONNECTOR> @@ -5334,14 +5334,14 @@ On prend b=1 comme exemple <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from write channel to send event" value="null" /> <P1 x="464" y="966" id="837" /> -<P2 x="464" y="978" id="1010" /> +<P2 x="465" y="978" id="1010" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="115" id="1342" > <cdparam x="438" y="1008" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from send event to action state" value="null" /> -<P1 x="464" y="1008" id="1011" /> +<P1 x="465" y="1008" id="1011" /> <P2 x="464" y="1027" id="820" /> <AutomaticDrawing data="true" /> </CONNECTOR> @@ -5350,14 +5350,14 @@ On prend b=1 comme exemple <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from write channel to send event" value="null" /> <P1 x="722" y="783" id="962" /> -<P2 x="722" y="808" id="1016" /> +<P2 x="723" y="808" id="1016" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="115" id="1344" > <cdparam x="722" y="838" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from send event to stop state" value="null" /> -<P1 x="722" y="838" id="1017" /> +<P1 x="723" y="838" id="1017" /> <P2 x="722" y="860" id="964" /> <AutomaticDrawing data="true" /> </CONNECTOR> @@ -5366,14 +5366,14 @@ On prend b=1 comme exemple <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from write channel to send event" value="null" /> <P1 x="800" y="1111" id="867" /> -<P2 x="800" y="1136" id="1019" /> +<P2 x="801" y="1136" id="1019" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="115" id="1346" > <cdparam x="798" y="1166" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from send event to action state" value="null" /> -<P1 x="800" y="1166" id="1020" /> +<P1 x="801" y="1166" id="1020" /> <P2 x="800" y="1188" id="903" /> <AutomaticDrawing data="true" /> </CONNECTOR> @@ -5382,14 +5382,14 @@ On prend b=1 comme exemple <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from write channel to send event" value="null" /> <P1 x="943" y="1148" id="912" /> -<P2 x="943" y="1173" id="1022" /> +<P2 x="944" y="1173" id="1022" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="115" id="1348" > <cdparam x="950" y="1201" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from send event to action state" value="null" /> -<P1 x="943" y="1203" id="1023" /> +<P1 x="944" y="1203" id="1023" /> <P2 x="943" y="1229" id="931" /> <AutomaticDrawing data="true" /> </CONNECTOR> @@ -5398,14 +5398,14 @@ On prend b=1 comme exemple <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from write channel to send event" value="null" /> <P1 x="1049" y="1180" id="937" /> -<P2 x="1049" y="1206" id="1025" /> +<P2 x="1050" y="1206" id="1025" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="115" id="1350" > <cdparam x="1049" y="1223" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from send event to action state" value="null" /> -<P1 x="1049" y="1236" id="1026" /> +<P1 x="1050" y="1236" id="1026" /> <P2 x="1049" y="1261" id="956" /> <AutomaticDrawing data="true" /> </CONNECTOR> @@ -5534,14 +5534,14 @@ On prend b=1 comme exemple <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from action state to send event" value="null" /> <P1 x="1208" y="1320" id="1053" /> -<P2 x="1208" y="1346" id="1060" /> +<P2 x="1209" y="1346" id="1060" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="115" id="1367" > <cdparam x="1206" y="1385" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from send event to action state" value="null" /> -<P1 x="1208" y="1376" id="1061" /> +<P1 x="1209" y="1376" id="1061" /> <P2 x="1208" y="1397" id="1057" /> <AutomaticDrawing data="true" /> </CONNECTOR> @@ -5606,7 +5606,7 @@ On prend b=1 comme exemple <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from write channel to send event" value="null" /> <P1 x="1641" y="1324" id="1111" /> -<P2 x="1641" y="1343" id="1152" /> +<P2 x="1642" y="1343" id="1152" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="115" id="1376" > @@ -5614,14 +5614,14 @@ On prend b=1 comme exemple <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from write channel to send event" value="null" /> <P1 x="1529" y="1373" id="1071" /> -<P2 x="1529" y="1400" id="1149" /> +<P2 x="1530" y="1400" id="1149" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="115" id="1377" > <cdparam x="1529" y="1422" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from send event to stop state" value="null" /> -<P1 x="1529" y="1430" id="1150" /> +<P1 x="1530" y="1430" id="1150" /> <P2 x="1529" y="1452" id="1065" /> <AutomaticDrawing data="true" /> </CONNECTOR> @@ -5629,7 +5629,7 @@ On prend b=1 comme exemple <cdparam x="1642" y="1373" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from send event to write channel" value="null" /> -<P1 x="1641" y="1373" id="1153" /> +<P1 x="1642" y="1373" id="1153" /> <P2 x="1641" y="1399" id="1155" /> <AutomaticDrawing data="true" /> </CONNECTOR> @@ -5677,7 +5677,7 @@ On prend b=1 comme exemple <cdparam x="2217" y="1323" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from send request to write channel" value="null" /> -<P1 x="2237" y="1323" id="1223" /> +<P1 x="2238" y="1323" id="1223" /> <P2 x="2237" y="1360" id="1225" /> <AutomaticDrawing data="true" /> </CONNECTOR> @@ -5702,15 +5702,15 @@ On prend b=1 comme exemple <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from write channel to send event" value="null" /> <P1 x="2237" y="1223" id="1218" /> -<P2 x="2237" y="1243" id="1231" /> +<P2 x="2238" y="1243" id="1231" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="115" id="1388" > <cdparam x="2216" y="1284" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from send event to send request" value="null" /> -<P1 x="2237" y="1273" id="1232" /> -<P2 x="2237" y="1293" id="1222" /> +<P1 x="2238" y="1273" id="1232" /> +<P2 x="2238" y="1293" id="1222" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="115" id="1389" > @@ -5782,14 +5782,14 @@ On prend b=1 comme exemple <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from write channel to send event" value="null" /> <P1 x="2317" y="1147" id="1238" /> -<P2 x="2317" y="1194" id="1262" /> +<P2 x="2318" y="1194" id="1262" /> <AutomaticDrawing data="true" /> </CONNECTOR> <CONNECTOR type="115" id="1398" > <cdparam x="2341" y="1224" /> <sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="600" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <infoparam name="connector from send event to send event" value="null" /> -<P1 x="2317" y="1224" id="1263" /> +<P1 x="2318" y="1224" id="1263" /> <P2 x="2317" y="1262" id="1257" /> <AutomaticDrawing data="true" /> </CONNECTOR> @@ -7042,11 +7042,11 @@ the smart card and the terminal </COMPONENT> <SUBCOMPONENT type="1101" id="1670" > <father id="1731" num="0" /> -<cdparam x="226" y="304" /> -<sizeparam width="109" height="50" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="92" 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" /> <TGConnectingPoint num="0" id="1662" /> <TGConnectingPoint num="1" id="1663" /> <TGConnectingPoint num="2" id="1664" /> @@ -7056,16 +7056,16 @@ the smart card and the terminal <TGConnectingPoint num="6" id="1668" /> <TGConnectingPoint num="7" id="1669" /> <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="1679" > <father id="1731" num="1" /> -<cdparam x="290" y="234" /> -<sizeparam width="139" height="50" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="291" 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" /> <TGConnectingPoint num="0" id="1671" /> <TGConnectingPoint num="1" id="1672" /> <TGConnectingPoint num="2" id="1673" /> @@ -7075,7 +7075,7 @@ the smart card and the terminal <TGConnectingPoint num="6" id="1677" /> <TGConnectingPoint num="7" id="1678" /> <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="1688" > @@ -7099,11 +7099,11 @@ the smart card and the terminal </SUBCOMPONENT> <SUBCOMPONENT type="1101" id="1697" > <father id="1731" num="3" /> -<cdparam x="291" y="153" /> -<sizeparam width="136" height="50" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="290" 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" /> <TGConnectingPoint num="0" id="1689" /> <TGConnectingPoint num="1" id="1690" /> <TGConnectingPoint num="2" id="1691" /> @@ -7113,16 +7113,16 @@ the smart card and the terminal <TGConnectingPoint num="6" id="1695" /> <TGConnectingPoint num="7" id="1696" /> <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="1706" > <father id="1731" num="4" /> -<cdparam x="92" y="154" /> -<sizeparam width="163" height="50" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="226" 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" /> <TGConnectingPoint num="0" id="1698" /> <TGConnectingPoint num="1" id="1699" /> <TGConnectingPoint num="2" id="1700" /> @@ -7132,7 +7132,7 @@ the smart card and the terminal <TGConnectingPoint num="6" id="1704" /> <TGConnectingPoint num="7" id="1705" /> <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> @@ -7389,11 +7389,11 @@ the smart card and the terminal </COMPONENT> <SUBCOMPONENT type="1101" id="1860" > <father id="1903" num="0" /> -<cdparam x="392" y="119" /> -<sizeparam width="136" height="37" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="277" y="90" /> +<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="130" /> -<infoparam name="TGComponent" value="AppC::SmartCard" /> +<cdrectangleparam minX="0" maxX="164" minY="0" maxY="127" /> +<infoparam name="TGComponent" value="AppC::TCPIP" /> <TGConnectingPoint num="0" id="1852" /> <TGConnectingPoint num="1" id="1853" /> <TGConnectingPoint num="2" id="1854" /> @@ -7403,7 +7403,7 @@ the smart card and the terminal <TGConnectingPoint num="6" id="1858" /> <TGConnectingPoint num="7" id="1859" /> <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="1869" > @@ -7427,11 +7427,11 @@ the smart card and the terminal </SUBCOMPONENT> <SUBCOMPONENT type="1101" id="1878" > <father id="1903" num="2" /> -<cdparam x="277" y="90" /> -<sizeparam width="108" height="40" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="392" y="119" /> +<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="127" /> -<infoparam name="TGComponent" value="AppC::TCPIP" /> +<cdrectangleparam minX="0" maxX="136" minY="0" maxY="130" /> +<infoparam name="TGComponent" value="AppC::SmartCard" /> <TGConnectingPoint num="0" id="1870" /> <TGConnectingPoint num="1" id="1871" /> <TGConnectingPoint num="2" id="1872" /> @@ -7441,7 +7441,7 @@ the smart card and the terminal <TGConnectingPoint num="6" id="1876" /> <TGConnectingPoint num="7" id="1877" /> <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> @@ -7794,11 +7794,11 @@ the smart card and the terminal </COMPONENT> <SUBCOMPONENT type="1101" id="2084" > <father id="2127" num="0" /> -<cdparam x="277" y="90" /> -<sizeparam width="108" height="40" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="392" y="119" /> +<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="127" /> -<infoparam name="TGComponent" value="AppC::TCPIP" /> +<cdrectangleparam minX="0" maxX="136" minY="0" maxY="130" /> +<infoparam name="TGComponent" value="AppC::SmartCard" /> <TGConnectingPoint num="0" id="2076" /> <TGConnectingPoint num="1" id="2077" /> <TGConnectingPoint num="2" id="2078" /> @@ -7808,7 +7808,7 @@ the smart card and the terminal <TGConnectingPoint num="6" id="2082" /> <TGConnectingPoint num="7" id="2083" /> <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> <SUBCOMPONENT type="1101" id="2093" > @@ -7832,11 +7832,11 @@ the smart card and the terminal </SUBCOMPONENT> <SUBCOMPONENT type="1101" id="2102" > <father id="2127" num="2" /> -<cdparam x="392" y="119" /> -<sizeparam width="136" height="37" minWidth="75" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="277" y="90" /> +<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="130" /> -<infoparam name="TGComponent" value="AppC::SmartCard" /> +<cdrectangleparam minX="0" maxX="164" minY="0" maxY="127" /> +<infoparam name="TGComponent" value="AppC::TCPIP" /> <TGConnectingPoint num="0" id="2094" /> <TGConnectingPoint num="1" id="2095" /> <TGConnectingPoint num="2" id="2096" /> @@ -7846,7 +7846,7 @@ the smart card and the terminal <TGConnectingPoint num="6" id="2100" /> <TGConnectingPoint num="7" id="2101" /> <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> @@ -8178,11 +8178,11 @@ the smart card and the terminal </COMPONENT> <SUBCOMPONENT type="5000" id="2251" > <father id="2301" num="0" /> -<cdparam x="36" y="233" /> -<sizeparam width="215" height="126" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="263" y="233" /> +<sizeparam width="139" height="126" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="0" maxX="223" minY="0" maxY="93" /> -<infoparam name="Block0" value="InterfaceDevice" /> +<cdrectangleparam minX="0" maxX="299" minY="0" maxY="93" /> +<infoparam name="Block0" value="SmartCard" /> <TGConnectingPoint num="0" id="2227" /> <TGConnectingPoint num="1" id="2228" /> <TGConnectingPoint num="2" id="2229" /> @@ -8210,10 +8210,10 @@ the smart card and the terminal <extraparam> <blockType data="cryptoblock" color="-4072719" /> <CryptoBlock value="true" /> -<Attribute access="0" id="secretData" value="" type="8" typeOther="" /> <Attribute access="0" id="m" value="" type="5" typeOther="Message" /> -<Attribute access="0" id="m1" value="" type="5" typeOther="Message" /> +<Attribute access="0" id="m2" value="" type="5" typeOther="Message" /> <Attribute access="0" id="sk" value="" type="5" typeOther="Key" /> +<Attribute access="0" id="receivedData" value="" type="8" typeOther="" /> <Method value="Message encrypt(Message msg, Key k)" /> <Method value="Message decrypt(Message msg, Key k)" /> <Method value="Message sencrypt(Message msg, Key k)" /> @@ -8240,11 +8240,11 @@ the smart card and the terminal </SUBCOMPONENT> <SUBCOMPONENT type="5000" id="2276" > <father id="2301" num="1" /> -<cdparam x="263" y="233" /> -<sizeparam width="139" height="126" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="36" y="233" /> +<sizeparam width="215" height="126" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="0" maxX="299" minY="0" maxY="93" /> -<infoparam name="Block0" value="SmartCard" /> +<cdrectangleparam minX="0" maxX="223" minY="0" maxY="93" /> +<infoparam name="Block0" value="InterfaceDevice" /> <TGConnectingPoint num="0" id="2252" /> <TGConnectingPoint num="1" id="2253" /> <TGConnectingPoint num="2" id="2254" /> @@ -8272,10 +8272,10 @@ the smart card and the terminal <extraparam> <blockType data="cryptoblock" color="-4072719" /> <CryptoBlock value="true" /> +<Attribute access="0" id="secretData" value="" type="8" typeOther="" /> <Attribute access="0" id="m" value="" type="5" typeOther="Message" /> -<Attribute access="0" id="m2" value="" type="5" typeOther="Message" /> +<Attribute access="0" id="m1" value="" type="5" typeOther="Message" /> <Attribute access="0" id="sk" value="" type="5" typeOther="Key" /> -<Attribute access="0" id="receivedData" value="" type="8" typeOther="" /> <Method value="Message encrypt(Message msg, Key k)" /> <Method value="Message decrypt(Message msg, Key k)" /> <Method value="Message sencrypt(Message msg, Key k)" /> @@ -9464,11 +9464,11 @@ the smart card and the terminal </COMPONENT> <SUBCOMPONENT type="5000" id="2978" > <father id="3028" num="0" /> -<cdparam x="263" y="233" /> -<sizeparam width="139" height="126" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="36" y="233" /> +<sizeparam width="215" height="126" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="0" maxX="299" minY="0" maxY="93" /> -<infoparam name="Block0" value="SmartCard" /> +<cdrectangleparam minX="0" maxX="223" minY="0" maxY="93" /> +<infoparam name="Block0" value="InterfaceDevice" /> <TGConnectingPoint num="0" id="2954" /> <TGConnectingPoint num="1" id="2955" /> <TGConnectingPoint num="2" id="2956" /> @@ -9496,13 +9496,13 @@ the smart card and the terminal <extraparam> <blockType data="cryptoblock" color="-4072719" /> <CryptoBlock value="true" /> +<Attribute access="0" id="secretData" value="" type="8" typeOther="" /> <Attribute access="0" id="m" value="" type="5" typeOther="Message" /> -<Attribute access="0" id="m2" value="" type="5" typeOther="Message" /> +<Attribute access="0" id="m1" value="" type="5" typeOther="Message" /> <Attribute access="0" id="sk" value="" type="5" typeOther="Key" /> -<Attribute access="0" id="receivedData" value="" type="8" typeOther="" /> -<Attribute access="0" id="privK" value="" type="5" typeOther="Key" /> <Attribute access="0" id="pubK" value="" type="5" typeOther="Key" /> -<Attribute access="0" id="alicePubK" value="" type="5" typeOther="Key" /> +<Attribute access="0" id="privK" value="" type="5" typeOther="Key" /> +<Attribute access="0" id="bobPubK" value="" type="5" typeOther="Key" /> <Method value="Message encrypt(Message msg, Key k)" /> <Method value="Message decrypt(Message msg, Key k)" /> <Method value="Message sencrypt(Message msg, Key k)" /> @@ -9529,11 +9529,11 @@ the smart card and the terminal </SUBCOMPONENT> <SUBCOMPONENT type="5000" id="3003" > <father id="3028" num="1" /> -<cdparam x="36" y="233" /> -<sizeparam width="215" height="126" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="263" y="233" /> +<sizeparam width="139" height="126" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="0" maxX="223" minY="0" maxY="93" /> -<infoparam name="Block0" value="InterfaceDevice" /> +<cdrectangleparam minX="0" maxX="299" minY="0" maxY="93" /> +<infoparam name="Block0" value="SmartCard" /> <TGConnectingPoint num="0" id="2979" /> <TGConnectingPoint num="1" id="2980" /> <TGConnectingPoint num="2" id="2981" /> @@ -9561,13 +9561,13 @@ the smart card and the terminal <extraparam> <blockType data="cryptoblock" color="-4072719" /> <CryptoBlock value="true" /> -<Attribute access="0" id="secretData" value="" type="8" typeOther="" /> <Attribute access="0" id="m" value="" type="5" typeOther="Message" /> -<Attribute access="0" id="m1" value="" type="5" typeOther="Message" /> +<Attribute access="0" id="m2" value="" type="5" typeOther="Message" /> <Attribute access="0" id="sk" value="" type="5" typeOther="Key" /> -<Attribute access="0" id="pubK" value="" type="5" typeOther="Key" /> +<Attribute access="0" id="receivedData" value="" type="8" typeOther="" /> <Attribute access="0" id="privK" value="" type="5" typeOther="Key" /> -<Attribute access="0" id="bobPubK" value="" type="5" typeOther="Key" /> +<Attribute access="0" id="pubK" value="" type="5" typeOther="Key" /> +<Attribute access="0" id="alicePubK" value="" type="5" typeOther="Key" /> <Method value="Message encrypt(Message msg, Key k)" /> <Method value="Message decrypt(Message msg, Key k)" /> <Method value="Message sencrypt(Message msg, Key k)" /> @@ -11484,11 +11484,11 @@ the smart card and the terminal </COMPONENT> <SUBCOMPONENT type="5000" id="4115" > <father id="4190" num="0" /> -<cdparam x="115" y="249" /> -<sizeparam width="261" height="83" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="263" y="108" /> +<sizeparam width="139" height="126" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="0" maxX="177" minY="0" maxY="261" /> -<infoparam name="Block0" value="CA" /> +<cdrectangleparam minX="0" maxX="299" minY="0" maxY="218" /> +<infoparam name="Block0" value="SmartCard" /> <TGConnectingPoint num="0" id="4091" /> <TGConnectingPoint num="1" id="4092" /> <TGConnectingPoint num="2" id="4093" /> @@ -11516,30 +11516,23 @@ the smart card and the terminal <extraparam> <blockType data="cryptoblock" color="-4072719" /> <CryptoBlock value="true" /> +<Attribute access="0" id="m" value="" type="5" typeOther="Message" /> +<Attribute access="0" id="m2" value="" type="5" typeOther="Message" /> +<Attribute access="0" id="sk" value="" type="5" typeOther="Key" /> +<Attribute access="0" id="receivedData" value="" type="8" typeOther="" /> <Attribute access="0" id="privK" value="" type="5" typeOther="Key" /> <Attribute access="0" id="pubK" value="" type="5" typeOther="Key" /> -<Attribute access="0" id="m" value="" type="5" typeOther="Message" /> -<Attribute access="0" id="newK" value="" type="5" typeOther="Key" /> -<Attribute access="0" id="newCert" value="" type="5" typeOther="Message" /> +<Attribute access="0" id="alicePubK" value="" type="5" typeOther="Key" /> +<Attribute access="0" id="CAPubK" value="" type="5" typeOther="Key" /> <Attribute access="0" id="m1" value="" type="5" typeOther="Message" /> -<Attribute access="0" id="m2" value="" type="5" typeOther="Message" /> -<Attribute access="0" id="newID" value="" type="8" typeOther="" /> -<Attribute access="0" id="interfaceDevicePubK" value="" type="5" typeOther="Key" /> -<Attribute access="0" id="smartCardPubK" value="" type="5" typeOther="Key" /> +<Attribute access="0" id="sig" value="" type="5" typeOther="Message" /> +<Attribute access="0" id="certOK" value="" type="4" typeOther="" /> <Attribute access="0" id="interfaceDeviceID" value="" type="8" typeOther="" /> -<Attribute access="0" id="smartCardID" value="" type="8" typeOther="" /> -<Method value="Message aencrypt(Message msg, Key k)" /> -<Method value="Message adecrypt(Message msg, Key k)" /> -<Method value="Key pk(Key k)" /> -<Method value="Message sign(Message msg, Key k)" /> -<Method value="bool verifySign(Message msg1, Message sig, Key k)" /> -<Method value="Message cert(Key k, Message msg)" /> -<Method value="bool verifyCert(Message cert, Key k)" /> -<Method value="Key getpk(Message cert)" /> +<Attribute access="0" id="interfaceDevicePubK" value="" type="5" typeOther="Key" /> +<Method value="Message encrypt(Message msg, Key k)" /> +<Method value="Message decrypt(Message msg, Key k)" /> <Method value="Message sencrypt(Message msg, Key k)" /> <Method value="Message sdecrypt(Message msg, Key k)" /> -<Method value="Key DH(Key pubK, Key privK)" /> -<Method value="Message hash(Message msg)" /> <Method value="Message MAC(Message msg, Key k)" /> <Method value="bool verifyMAC(Message msg, Key k, Message macmsg)" /> <Method value="Message concat2(Message msg1, Message msg2)" /> @@ -11548,6 +11541,16 @@ the smart card and the terminal <Method value="get2(Message msg, Message msg1, Message msg2)" /> <Method value="get3(Message msg, Message msg1, Message msg2, Message msg3)" /> <Method value="get4(Message msg, Message msg1, Message msg2, Message msg3, Message msg4)" /> +<Method value="Message aencrypt(Message msg, Key k)" /> +<Method value="Message adecrypt(Message msg, Key k)" /> +<Method value="Key pk(Key k)" /> +<Method value="Message sign(Message msg, Key k)" /> +<Method value="bool verifySign(Message msg1, Message sig, Key k)" /> +<Method value="Message cert(Key k, Message msg)" /> +<Method value="bool verifyCert(Message cert, Key k)" /> +<Method value="Key getpk(Message cert)" /> +<Method value="Key DH(Key pubK, Key privK)" /> +<Method value="Message hash(Message msg)" /> </extraparam> </SUBCOMPONENT> <SUBCOMPONENT type="5000" id="4140" > @@ -11622,11 +11625,11 @@ the smart card and the terminal </SUBCOMPONENT> <SUBCOMPONENT type="5000" id="4165" > <father id="4190" num="2" /> -<cdparam x="263" y="108" /> -<sizeparam width="139" height="126" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> +<cdparam x="115" y="249" /> +<sizeparam width="261" height="83" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="0" maxX="299" minY="0" maxY="218" /> -<infoparam name="Block0" value="SmartCard" /> +<cdrectangleparam minX="0" maxX="177" minY="0" maxY="261" /> +<infoparam name="Block0" value="CA" /> <TGConnectingPoint num="0" id="4141" /> <TGConnectingPoint num="1" id="4142" /> <TGConnectingPoint num="2" id="4143" /> @@ -11654,31 +11657,18 @@ the smart card and the terminal <extraparam> <blockType data="cryptoblock" color="-4072719" /> <CryptoBlock value="true" /> -<Attribute access="0" id="m" value="" type="5" typeOther="Message" /> -<Attribute access="0" id="m2" value="" type="5" typeOther="Message" /> -<Attribute access="0" id="sk" value="" type="5" typeOther="Key" /> -<Attribute access="0" id="receivedData" value="" type="8" typeOther="" /> <Attribute access="0" id="privK" value="" type="5" typeOther="Key" /> <Attribute access="0" id="pubK" value="" type="5" typeOther="Key" /> -<Attribute access="0" id="alicePubK" value="" type="5" typeOther="Key" /> -<Attribute access="0" id="CAPubK" value="" type="5" typeOther="Key" /> +<Attribute access="0" id="m" value="" type="5" typeOther="Message" /> +<Attribute access="0" id="newK" value="" type="5" typeOther="Key" /> +<Attribute access="0" id="newCert" value="" type="5" typeOther="Message" /> <Attribute access="0" id="m1" value="" type="5" typeOther="Message" /> -<Attribute access="0" id="sig" value="" type="5" typeOther="Message" /> -<Attribute access="0" id="certOK" value="" type="4" typeOther="" /> -<Attribute access="0" id="interfaceDeviceID" value="" type="8" typeOther="" /> +<Attribute access="0" id="m2" value="" type="5" typeOther="Message" /> +<Attribute access="0" id="newID" value="" type="8" typeOther="" /> <Attribute access="0" id="interfaceDevicePubK" value="" type="5" typeOther="Key" /> -<Method value="Message encrypt(Message msg, Key k)" /> -<Method value="Message decrypt(Message msg, Key k)" /> -<Method value="Message sencrypt(Message msg, Key k)" /> -<Method value="Message sdecrypt(Message msg, Key k)" /> -<Method value="Message MAC(Message msg, Key k)" /> -<Method value="bool verifyMAC(Message msg, Key k, Message macmsg)" /> -<Method value="Message concat2(Message msg1, Message msg2)" /> -<Method value="Message concat3(Message msg1, Message msg2, Message msg3)" /> -<Method value="Message concat4(Message msg1, Message msg2, Message msg3, Message msg4)" /> -<Method value="get2(Message msg, Message msg1, Message msg2)" /> -<Method value="get3(Message msg, Message msg1, Message msg2, Message msg3)" /> -<Method value="get4(Message msg, Message msg1, Message msg2, Message msg3, Message msg4)" /> +<Attribute access="0" id="smartCardPubK" value="" type="5" typeOther="Key" /> +<Attribute access="0" id="interfaceDeviceID" value="" type="8" typeOther="" /> +<Attribute access="0" id="smartCardID" value="" type="8" typeOther="" /> <Method value="Message aencrypt(Message msg, Key k)" /> <Method value="Message adecrypt(Message msg, Key k)" /> <Method value="Key pk(Key k)" /> @@ -11687,8 +11677,18 @@ the smart card and the terminal <Method value="Message cert(Key k, Message msg)" /> <Method value="bool verifyCert(Message cert, Key k)" /> <Method value="Key getpk(Message cert)" /> +<Method value="Message sencrypt(Message msg, Key k)" /> +<Method value="Message sdecrypt(Message msg, Key k)" /> <Method value="Key DH(Key pubK, Key privK)" /> <Method value="Message hash(Message msg)" /> +<Method value="Message MAC(Message msg, Key k)" /> +<Method value="bool verifyMAC(Message msg, Key k, Message macmsg)" /> +<Method value="Message concat2(Message msg1, Message msg2)" /> +<Method value="Message concat3(Message msg1, Message msg2, Message msg3)" /> +<Method value="Message concat4(Message msg1, Message msg2, Message msg3, Message msg4)" /> +<Method value="get2(Message msg, Message msg1, Message msg2)" /> +<Method value="get3(Message msg, Message msg1, Message msg2, Message msg3)" /> +<Method value="get4(Message msg, Message msg1, Message msg2, Message msg3, Message msg4)" /> </extraparam> </SUBCOMPONENT> @@ -11792,11 +11792,11 @@ the smart card and the terminal </COMPONENT> <SUBCOMPONENT type="5707" id="4209" > <father id="4217" num="0" /> -<cdparam x="804" y="432" /> +<cdparam x="804" y="456" /> <sizeparam width="8" height="8" minWidth="8" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="1005" maxX="1005" minY="540" maxY="540" /> -<infoparam name="value " value="BasicSecurityProtocol" /> +<cdrectangleparam minX="1005" maxX="1005" minY="570" maxY="570" /> +<infoparam name="value " value="DHWithCertificateSecurityProtocol" /> </SUBCOMPONENT> <SUBCOMPONENT type="5707" id="4210" > <father id="4217" num="1" /> @@ -11808,11 +11808,11 @@ the smart card and the terminal </SUBCOMPONENT> <SUBCOMPONENT type="5707" id="4211" > <father id="4217" num="2" /> -<cdparam x="804" y="456" /> +<cdparam x="804" y="432" /> <sizeparam width="8" height="8" minWidth="8" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="1005" maxX="1005" minY="570" maxY="570" /> -<infoparam name="value " value="DHWithCertificateSecurityProtocol" /> +<cdrectangleparam minX="1005" maxX="1005" minY="540" maxY="540" /> +<infoparam name="value " value="BasicSecurityProtocol" /> </SUBCOMPONENT> <COMPONENT type="5703" id="4223" > @@ -11867,11 +11867,11 @@ the smart card and the terminal </COMPONENT> <SUBCOMPONENT type="5707" id="4236" > <father id="4243" num="0" /> -<cdparam x="924" y="112" /> +<cdparam x="924" y="136" /> <sizeparam width="8" height="8" minWidth="8" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="1155" maxX="1155" minY="140" maxY="140" /> -<infoparam name="value " value="Mapping1" /> +<cdrectangleparam minX="1155" maxX="1155" minY="170" maxY="170" /> +<infoparam name="value " value="Mapping2_Sec" /> </SUBCOMPONENT> <SUBCOMPONENT type="5707" id="4237" > <father id="4243" num="1" /> @@ -11883,11 +11883,11 @@ the smart card and the terminal </SUBCOMPONENT> <SUBCOMPONENT type="5707" id="4238" > <father id="4243" num="2" /> -<cdparam x="924" y="136" /> +<cdparam x="924" y="112" /> <sizeparam width="8" height="8" minWidth="8" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" /> <hidden value="false" /> -<cdrectangleparam minX="1155" maxX="1155" minY="170" maxY="170" /> -<infoparam name="value " value="Mapping2_Sec" /> +<cdrectangleparam minX="1155" maxX="1155" minY="140" maxY="140" /> +<infoparam name="value " value="Mapping1" /> </SUBCOMPONENT> <COMPONENT type="5713" id="4249" > diff --git a/src/main/java/ui/avatarbd/AvatarBDBlock.java b/src/main/java/ui/avatarbd/AvatarBDBlock.java index 1b05b7eb62cf5d478a90ce6a460eb66b949f0fea..aa784a0c273bbede5ebac563d35ecbd629cb7148 100644 --- a/src/main/java/ui/avatarbd/AvatarBDBlock.java +++ b/src/main/java/ui/avatarbd/AvatarBDBlock.java @@ -1224,7 +1224,13 @@ public class AvatarBDBlock extends TGCScalableWithInternalComponent implements S typeOther = ""; } id = elt.getAttribute("id"); - valueAtt = elt.getAttribute("value"); + + try { + valueAtt = elt.getAttribute("value"); + } catch (Exception e) { + valueAtt = ""; + } + if (valueAtt == null) { valueAtt = ""; diff --git a/src/main/java/ui/avatarbd/AvatarBDDataType.java b/src/main/java/ui/avatarbd/AvatarBDDataType.java index 8ccc157bff1a2fd78a1693dc7f08224bc7be720d..db6d915fe159935362065bc3ee45abb4ba022bf6 100644 --- a/src/main/java/ui/avatarbd/AvatarBDDataType.java +++ b/src/main/java/ui/avatarbd/AvatarBDDataType.java @@ -511,7 +511,12 @@ public class AvatarBDDataType extends TGCScalableWithInternalComponent implement typeOther = ""; } id = elt.getAttribute("id"); - valueAtt = elt.getAttribute("value"); + + try { + valueAtt = elt.getAttribute("value"); + } catch (Exception e) { + valueAtt = ""; + } if (valueAtt == null) { @@ -521,14 +526,18 @@ public class AvatarBDDataType extends TGCScalableWithInternalComponent implement if (valueAtt.equals("null")) { valueAtt = ""; } - if ((TAttribute.isAValidId(id, false, false, false)) && (TAttribute.isAValidInitialValue(type, valueAtt))) { - // - if (type == TAttribute.NATURAL) { - type = TAttribute.INTEGER; + + + + if ((TAttribute.isAValidId(id, false, false, false))) { + if ((valueAtt.length() == 0 ) || ((TAttribute.isAValidInitialValue(type, valueAtt)))) { + if (type == TAttribute.NATURAL) { + type = TAttribute.INTEGER; + } + TAttribute ta = new TAttribute(access, id, valueAtt, type, typeOther); + ta.isAvatar = true; + myAttributes.add(ta); } - TAttribute ta = new TAttribute(access, id, valueAtt, type, typeOther); - ta.isAvatar = true; - myAttributes.add(ta); } } } diff --git a/ttool/build.gradle b/ttool/build.gradle index 492d8718a4d2df7500d253a55a2f2568c5547db1..45d9d2f0240ffc633f77d351cb97e41afed62044 100644 --- a/ttool/build.gradle +++ b/ttool/build.gradle @@ -31,6 +31,7 @@ dependencies { compile name: 'batik-codec' compile name: 'batik-constants' compile name: 'batik-xml' + compile name: 'batik-extensions' compile name: 'batik-ext' compile name: 'batik-util' compile name: 'batik-svggen' diff --git a/ttool/ttool.txt b/ttool/ttool.txt index 13896aa16dd4d62a80f5c5efc83b401ae894046d..4dbe51fb038756302b3a1194992005a5522b05a8 100755 --- a/ttool/ttool.txt +++ b/ttool/ttool.txt @@ -1,3 +1,2 @@ Main-Class: Main -Class-Path: ./opencloud.jar ./JavaPlot.jar ./derbynet.jar ./commons-math3-3.6.1.jar ./jsoup-1.8.1.jar ./commons-codec-1.10.jar ./gs-core-1.3.jar ./gs-ui-1.3.jar ./commons-io-2.5.jar ./batik-codec.jar ./batik-constants.jar ./batik-xml.jar ./batik-ext.jar ./batik-util.jar ./batik-svggen.jar ./batik-dom.jar ./batik-awt-util.jar xml-apis.jar ./batik-awt-util.jar ./batik-dom.jar ./batik-svggen.jar ./batik-util.jar ./batik-xml.jar ./jautomata-core.jar ./com.microsoft.z3.jar - ./jgrapht-core-1.3.0.jar ./jgrapht-ext-1.3.0.jar ./jgrapht-io-1.3.0.jar ./jgraphx-3.4.1.3.jar +Class-Path: ./opencloud.jar ./JavaPlot.jar ./derbynet.jar ./commons-math3-3.6.1.jar ./jsoup-1.8.1.jar ./commons-codec-1.10.jar ./gs-core-1.3.jar ./gs-ui-1.3.jar ./commons-io-2.5.jar ./batik-codec.jar ./batik-constants.jar ./batik-xml.jar ./batik-ext.jar ./batik-extensions.jar ./batik-util.jar ./batik-svggen.jar ./batik-dom.jar ./batik-awt-util.jar xml-apis.jar ./jautomata-core.jar ./com.microsoft.z3.jar ./jgrapht-core-1.3.0.jar ./jgrapht-ext-1.3.0.jar ./jgrapht-io-1.3.0.jar ./jgraphx-3.4.1.3.jar