From 2645b51f335e4a974a5d5b6488ba20d40a81c77d Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr>
Date: Mon, 6 Feb 2017 15:24:45 +0100
Subject: [PATCH] Module banque
---
modeling/banquecourtois/model2.xml | 1012 ++++++++++++++--------------
1 file changed, 506 insertions(+), 506 deletions(-)
diff --git a/modeling/banquecourtois/model2.xml b/modeling/banquecourtois/model2.xml
index f321b75618..6af38fdfb1 100644
--- a/modeling/banquecourtois/model2.xml
+++ b/modeling/banquecourtois/model2.xml
@@ -4,9 +4,9 @@
<Modeling type="Avatar Analysis" nameTab="Analysis" >
<SequenceDiagramPanel name="MyScenario0" minX="10" maxX="2500" minY="10" maxY="1500" >
-<COMPONENT type="301" id="249" >
+<COMPONENT type="301" id="17" >
<cdparam x="668" y="566" />
-<sizeparam width="286" height="51" minWidth="20" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<sizeparam width="260" height="51" minWidth="20" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
<infoparam name="UML Note" value="We create an overall statement based
@@ -14,22 +14,22 @@ on the one of Banque Courtois and on the
one provided by the other bank
This "creation" is a a dynamic webpage
" />
-<TGConnectingPoint num="0" id="233" />
-<TGConnectingPoint num="1" id="234" />
-<TGConnectingPoint num="2" id="235" />
-<TGConnectingPoint num="3" id="236" />
-<TGConnectingPoint num="4" id="237" />
-<TGConnectingPoint num="5" id="238" />
-<TGConnectingPoint num="6" id="239" />
-<TGConnectingPoint num="7" id="240" />
-<TGConnectingPoint num="8" id="241" />
-<TGConnectingPoint num="9" id="242" />
-<TGConnectingPoint num="10" id="243" />
-<TGConnectingPoint num="11" id="244" />
-<TGConnectingPoint num="12" id="245" />
-<TGConnectingPoint num="13" id="246" />
-<TGConnectingPoint num="14" id="247" />
-<TGConnectingPoint num="15" id="248" />
+<TGConnectingPoint num="0" id="1" />
+<TGConnectingPoint num="1" id="2" />
+<TGConnectingPoint num="2" id="3" />
+<TGConnectingPoint num="3" id="4" />
+<TGConnectingPoint num="4" id="5" />
+<TGConnectingPoint num="5" id="6" />
+<TGConnectingPoint num="6" id="7" />
+<TGConnectingPoint num="7" id="8" />
+<TGConnectingPoint num="8" id="9" />
+<TGConnectingPoint num="9" id="10" />
+<TGConnectingPoint num="10" id="11" />
+<TGConnectingPoint num="11" id="12" />
+<TGConnectingPoint num="12" id="13" />
+<TGConnectingPoint num="13" id="14" />
+<TGConnectingPoint num="14" id="15" />
+<TGConnectingPoint num="15" id="16" />
<extraparam>
<Line value="We create an overall statement based" />
<Line value="on the one of Banque Courtois and on the" />
@@ -38,351 +38,351 @@ This "creation" is a a dynamic webpage
</extraparam>
</COMPONENT>
-<COMPONENT type="301" id="266" >
+<COMPONENT type="301" id="34" >
<cdparam x="904" y="315" />
-<sizeparam width="209" height="27" minWidth="20" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<sizeparam width="192" height="27" minWidth="20" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
<infoparam name="UML Note" value="Creation of a token specific to
the Banque Courtois
" />
-<TGConnectingPoint num="0" id="250" />
-<TGConnectingPoint num="1" id="251" />
-<TGConnectingPoint num="2" id="252" />
-<TGConnectingPoint num="3" id="253" />
-<TGConnectingPoint num="4" id="254" />
-<TGConnectingPoint num="5" id="255" />
-<TGConnectingPoint num="6" id="256" />
-<TGConnectingPoint num="7" id="257" />
-<TGConnectingPoint num="8" id="258" />
-<TGConnectingPoint num="9" id="259" />
-<TGConnectingPoint num="10" id="260" />
-<TGConnectingPoint num="11" id="261" />
-<TGConnectingPoint num="12" id="262" />
-<TGConnectingPoint num="13" id="263" />
-<TGConnectingPoint num="14" id="264" />
-<TGConnectingPoint num="15" id="265" />
+<TGConnectingPoint num="0" id="18" />
+<TGConnectingPoint num="1" id="19" />
+<TGConnectingPoint num="2" id="20" />
+<TGConnectingPoint num="3" id="21" />
+<TGConnectingPoint num="4" id="22" />
+<TGConnectingPoint num="5" id="23" />
+<TGConnectingPoint num="6" id="24" />
+<TGConnectingPoint num="7" id="25" />
+<TGConnectingPoint num="8" id="26" />
+<TGConnectingPoint num="9" id="27" />
+<TGConnectingPoint num="10" id="28" />
+<TGConnectingPoint num="11" id="29" />
+<TGConnectingPoint num="12" id="30" />
+<TGConnectingPoint num="13" id="31" />
+<TGConnectingPoint num="14" id="32" />
+<TGConnectingPoint num="15" id="33" />
<extraparam>
<Line value="Creation of a token specific to" />
<Line value="the Banque Courtois" />
</extraparam>
</COMPONENT>
-<COMPONENT type="606" id="325" >
+<COMPONENT type="606" id="93" >
<cdparam x="802" y="150" />
<sizeparam width="10" height="500" minWidth="10" minHeight="250" maxWidth="10" maxHeight="1500" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
<infoparam name="OtherBank" value="Instance name" />
-<TGConnectingPoint num="0" id="276" />
-<TGConnectingPoint num="1" id="277" />
-<TGConnectingPoint num="2" id="278" />
-<TGConnectingPoint num="3" id="279" />
-<TGConnectingPoint num="4" id="280" />
-<TGConnectingPoint num="5" id="281" />
-<TGConnectingPoint num="6" id="282" />
-<TGConnectingPoint num="7" id="283" />
-<TGConnectingPoint num="8" id="284" />
-<TGConnectingPoint num="9" id="285" />
-<TGConnectingPoint num="10" id="286" />
-<TGConnectingPoint num="11" id="287" />
-<TGConnectingPoint num="12" id="288" />
-<TGConnectingPoint num="13" id="289" />
-<TGConnectingPoint num="14" id="290" />
-<TGConnectingPoint num="15" id="291" />
-<TGConnectingPoint num="16" id="292" />
-<TGConnectingPoint num="17" id="293" />
-<TGConnectingPoint num="18" id="294" />
-<TGConnectingPoint num="19" id="295" />
-<TGConnectingPoint num="20" id="296" />
-<TGConnectingPoint num="21" id="297" />
-<TGConnectingPoint num="22" id="298" />
-<TGConnectingPoint num="23" id="299" />
-<TGConnectingPoint num="24" id="300" />
-<TGConnectingPoint num="25" id="301" />
-<TGConnectingPoint num="26" id="302" />
-<TGConnectingPoint num="27" id="303" />
-<TGConnectingPoint num="28" id="304" />
-<TGConnectingPoint num="29" id="305" />
-<TGConnectingPoint num="30" id="306" />
-<TGConnectingPoint num="31" id="307" />
-<TGConnectingPoint num="32" id="308" />
-<TGConnectingPoint num="33" id="309" />
-<TGConnectingPoint num="34" id="310" />
-<TGConnectingPoint num="35" id="311" />
-<TGConnectingPoint num="36" id="312" />
-<TGConnectingPoint num="37" id="313" />
-<TGConnectingPoint num="38" id="314" />
-<TGConnectingPoint num="39" id="315" />
-<TGConnectingPoint num="40" id="316" />
-<TGConnectingPoint num="41" id="317" />
-<TGConnectingPoint num="42" id="318" />
-<TGConnectingPoint num="43" id="319" />
-<TGConnectingPoint num="44" id="320" />
-<TGConnectingPoint num="45" id="321" />
-<TGConnectingPoint num="46" id="322" />
-<TGConnectingPoint num="47" id="323" />
-<TGConnectingPoint num="48" id="324" />
+<TGConnectingPoint num="0" id="44" />
+<TGConnectingPoint num="1" id="45" />
+<TGConnectingPoint num="2" id="46" />
+<TGConnectingPoint num="3" id="47" />
+<TGConnectingPoint num="4" id="48" />
+<TGConnectingPoint num="5" id="49" />
+<TGConnectingPoint num="6" id="50" />
+<TGConnectingPoint num="7" id="51" />
+<TGConnectingPoint num="8" id="52" />
+<TGConnectingPoint num="9" id="53" />
+<TGConnectingPoint num="10" id="54" />
+<TGConnectingPoint num="11" id="55" />
+<TGConnectingPoint num="12" id="56" />
+<TGConnectingPoint num="13" id="57" />
+<TGConnectingPoint num="14" id="58" />
+<TGConnectingPoint num="15" id="59" />
+<TGConnectingPoint num="16" id="60" />
+<TGConnectingPoint num="17" id="61" />
+<TGConnectingPoint num="18" id="62" />
+<TGConnectingPoint num="19" id="63" />
+<TGConnectingPoint num="20" id="64" />
+<TGConnectingPoint num="21" id="65" />
+<TGConnectingPoint num="22" id="66" />
+<TGConnectingPoint num="23" id="67" />
+<TGConnectingPoint num="24" id="68" />
+<TGConnectingPoint num="25" id="69" />
+<TGConnectingPoint num="26" id="70" />
+<TGConnectingPoint num="27" id="71" />
+<TGConnectingPoint num="28" id="72" />
+<TGConnectingPoint num="29" id="73" />
+<TGConnectingPoint num="30" id="74" />
+<TGConnectingPoint num="31" id="75" />
+<TGConnectingPoint num="32" id="76" />
+<TGConnectingPoint num="33" id="77" />
+<TGConnectingPoint num="34" id="78" />
+<TGConnectingPoint num="35" id="79" />
+<TGConnectingPoint num="36" id="80" />
+<TGConnectingPoint num="37" id="81" />
+<TGConnectingPoint num="38" id="82" />
+<TGConnectingPoint num="39" id="83" />
+<TGConnectingPoint num="40" id="84" />
+<TGConnectingPoint num="41" id="85" />
+<TGConnectingPoint num="42" id="86" />
+<TGConnectingPoint num="43" id="87" />
+<TGConnectingPoint num="44" id="88" />
+<TGConnectingPoint num="45" id="89" />
+<TGConnectingPoint num="46" id="90" />
+<TGConnectingPoint num="47" id="91" />
+<TGConnectingPoint num="48" id="92" />
<extraparam>
<Actor data="false" />
</extraparam>
</COMPONENT>
-<SUBCOMPONENT type="602" id="275" >
-<father id="325" num="0" />
+<SUBCOMPONENT type="602" id="43" >
+<father id="93" num="0" />
<cdparam x="807" y="319" />
-<sizeparam width="141" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<sizeparam width="131" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="5" maxX="5" minY="10" maxY="470" />
<infoparam name="action state" value="m = {Id_BC}_BCpubK" />
-<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="0" id="35" />
+<TGConnectingPoint num="1" id="36" />
+<TGConnectingPoint num="2" id="37" />
+<TGConnectingPoint num="3" id="38" />
+<TGConnectingPoint num="4" id="39" />
+<TGConnectingPoint num="5" id="40" />
+<TGConnectingPoint num="6" id="41" />
+<TGConnectingPoint num="7" id="42" />
</SUBCOMPONENT>
-<COMPONENT type="606" id="384" >
+<COMPONENT type="606" id="152" >
<cdparam x="471" y="150" />
<sizeparam width="10" height="500" minWidth="10" minHeight="250" maxWidth="10" maxHeight="1500" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
<infoparam name="BanqueCourtoisSystem" value="Instance name" />
-<TGConnectingPoint num="0" id="335" />
-<TGConnectingPoint num="1" id="336" />
-<TGConnectingPoint num="2" id="337" />
-<TGConnectingPoint num="3" id="338" />
-<TGConnectingPoint num="4" id="339" />
-<TGConnectingPoint num="5" id="340" />
-<TGConnectingPoint num="6" id="341" />
-<TGConnectingPoint num="7" id="342" />
-<TGConnectingPoint num="8" id="343" />
-<TGConnectingPoint num="9" id="344" />
-<TGConnectingPoint num="10" id="345" />
-<TGConnectingPoint num="11" id="346" />
-<TGConnectingPoint num="12" id="347" />
-<TGConnectingPoint num="13" id="348" />
-<TGConnectingPoint num="14" id="349" />
-<TGConnectingPoint num="15" id="350" />
-<TGConnectingPoint num="16" id="351" />
-<TGConnectingPoint num="17" id="352" />
-<TGConnectingPoint num="18" id="353" />
-<TGConnectingPoint num="19" id="354" />
-<TGConnectingPoint num="20" id="355" />
-<TGConnectingPoint num="21" id="356" />
-<TGConnectingPoint num="22" id="357" />
-<TGConnectingPoint num="23" id="358" />
-<TGConnectingPoint num="24" id="359" />
-<TGConnectingPoint num="25" id="360" />
-<TGConnectingPoint num="26" id="361" />
-<TGConnectingPoint num="27" id="362" />
-<TGConnectingPoint num="28" id="363" />
-<TGConnectingPoint num="29" id="364" />
-<TGConnectingPoint num="30" id="365" />
-<TGConnectingPoint num="31" id="366" />
-<TGConnectingPoint num="32" id="367" />
-<TGConnectingPoint num="33" id="368" />
-<TGConnectingPoint num="34" id="369" />
-<TGConnectingPoint num="35" id="370" />
-<TGConnectingPoint num="36" id="371" />
-<TGConnectingPoint num="37" id="372" />
-<TGConnectingPoint num="38" id="373" />
-<TGConnectingPoint num="39" id="374" />
-<TGConnectingPoint num="40" id="375" />
-<TGConnectingPoint num="41" id="376" />
-<TGConnectingPoint num="42" id="377" />
-<TGConnectingPoint num="43" id="378" />
-<TGConnectingPoint num="44" id="379" />
-<TGConnectingPoint num="45" id="380" />
-<TGConnectingPoint num="46" id="381" />
-<TGConnectingPoint num="47" id="382" />
-<TGConnectingPoint num="48" id="383" />
+<TGConnectingPoint num="0" id="103" />
+<TGConnectingPoint num="1" id="104" />
+<TGConnectingPoint num="2" id="105" />
+<TGConnectingPoint num="3" id="106" />
+<TGConnectingPoint num="4" id="107" />
+<TGConnectingPoint num="5" id="108" />
+<TGConnectingPoint num="6" id="109" />
+<TGConnectingPoint num="7" id="110" />
+<TGConnectingPoint num="8" id="111" />
+<TGConnectingPoint num="9" id="112" />
+<TGConnectingPoint num="10" id="113" />
+<TGConnectingPoint num="11" id="114" />
+<TGConnectingPoint num="12" id="115" />
+<TGConnectingPoint num="13" id="116" />
+<TGConnectingPoint num="14" id="117" />
+<TGConnectingPoint num="15" id="118" />
+<TGConnectingPoint num="16" id="119" />
+<TGConnectingPoint num="17" id="120" />
+<TGConnectingPoint num="18" id="121" />
+<TGConnectingPoint num="19" id="122" />
+<TGConnectingPoint num="20" id="123" />
+<TGConnectingPoint num="21" id="124" />
+<TGConnectingPoint num="22" id="125" />
+<TGConnectingPoint num="23" id="126" />
+<TGConnectingPoint num="24" id="127" />
+<TGConnectingPoint num="25" id="128" />
+<TGConnectingPoint num="26" id="129" />
+<TGConnectingPoint num="27" id="130" />
+<TGConnectingPoint num="28" id="131" />
+<TGConnectingPoint num="29" id="132" />
+<TGConnectingPoint num="30" id="133" />
+<TGConnectingPoint num="31" id="134" />
+<TGConnectingPoint num="32" id="135" />
+<TGConnectingPoint num="33" id="136" />
+<TGConnectingPoint num="34" id="137" />
+<TGConnectingPoint num="35" id="138" />
+<TGConnectingPoint num="36" id="139" />
+<TGConnectingPoint num="37" id="140" />
+<TGConnectingPoint num="38" id="141" />
+<TGConnectingPoint num="39" id="142" />
+<TGConnectingPoint num="40" id="143" />
+<TGConnectingPoint num="41" id="144" />
+<TGConnectingPoint num="42" id="145" />
+<TGConnectingPoint num="43" id="146" />
+<TGConnectingPoint num="44" id="147" />
+<TGConnectingPoint num="45" id="148" />
+<TGConnectingPoint num="46" id="149" />
+<TGConnectingPoint num="47" id="150" />
+<TGConnectingPoint num="48" id="151" />
<extraparam>
<Actor data="false" />
</extraparam>
</COMPONENT>
-<SUBCOMPONENT type="602" id="334" >
-<father id="384" num="0" />
+<SUBCOMPONENT type="602" id="102" >
+<father id="152" num="0" />
<cdparam x="476" y="555" />
-<sizeparam width="245" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<sizeparam width="226" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="5" maxX="5" minY="10" maxY="470" />
<infoparam name="action state" value="m1 = s1 + statementBanqueCourtois" />
-<TGConnectingPoint num="0" id="326" />
-<TGConnectingPoint num="1" id="327" />
-<TGConnectingPoint num="2" id="328" />
-<TGConnectingPoint num="3" id="329" />
-<TGConnectingPoint num="4" id="330" />
-<TGConnectingPoint num="5" id="331" />
-<TGConnectingPoint num="6" id="332" />
-<TGConnectingPoint num="7" id="333" />
+<TGConnectingPoint num="0" id="94" />
+<TGConnectingPoint num="1" id="95" />
+<TGConnectingPoint num="2" id="96" />
+<TGConnectingPoint num="3" id="97" />
+<TGConnectingPoint num="4" id="98" />
+<TGConnectingPoint num="5" id="99" />
+<TGConnectingPoint num="6" id="100" />
+<TGConnectingPoint num="7" id="101" />
</SUBCOMPONENT>
-<COMPONENT type="606" id="434" >
+<COMPONENT type="606" id="202" >
<cdparam x="144" y="150" />
<sizeparam width="10" height="500" minWidth="10" minHeight="250" maxWidth="10" maxHeight="1500" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
<infoparam name="browserClient1" value="Instance name" />
-<TGConnectingPoint num="0" id="385" />
-<TGConnectingPoint num="1" id="386" />
-<TGConnectingPoint num="2" id="387" />
-<TGConnectingPoint num="3" id="388" />
-<TGConnectingPoint num="4" id="389" />
-<TGConnectingPoint num="5" id="390" />
-<TGConnectingPoint num="6" id="391" />
-<TGConnectingPoint num="7" id="392" />
-<TGConnectingPoint num="8" id="393" />
-<TGConnectingPoint num="9" id="394" />
-<TGConnectingPoint num="10" id="395" />
-<TGConnectingPoint num="11" id="396" />
-<TGConnectingPoint num="12" id="397" />
-<TGConnectingPoint num="13" id="398" />
-<TGConnectingPoint num="14" id="399" />
-<TGConnectingPoint num="15" id="400" />
-<TGConnectingPoint num="16" id="401" />
-<TGConnectingPoint num="17" id="402" />
-<TGConnectingPoint num="18" id="403" />
-<TGConnectingPoint num="19" id="404" />
-<TGConnectingPoint num="20" id="405" />
-<TGConnectingPoint num="21" id="406" />
-<TGConnectingPoint num="22" id="407" />
-<TGConnectingPoint num="23" id="408" />
-<TGConnectingPoint num="24" id="409" />
-<TGConnectingPoint num="25" id="410" />
-<TGConnectingPoint num="26" id="411" />
-<TGConnectingPoint num="27" id="412" />
-<TGConnectingPoint num="28" id="413" />
-<TGConnectingPoint num="29" id="414" />
-<TGConnectingPoint num="30" id="415" />
-<TGConnectingPoint num="31" id="416" />
-<TGConnectingPoint num="32" id="417" />
-<TGConnectingPoint num="33" id="418" />
-<TGConnectingPoint num="34" id="419" />
-<TGConnectingPoint num="35" id="420" />
-<TGConnectingPoint num="36" id="421" />
-<TGConnectingPoint num="37" id="422" />
-<TGConnectingPoint num="38" id="423" />
-<TGConnectingPoint num="39" id="424" />
-<TGConnectingPoint num="40" id="425" />
-<TGConnectingPoint num="41" id="426" />
-<TGConnectingPoint num="42" id="427" />
-<TGConnectingPoint num="43" id="428" />
-<TGConnectingPoint num="44" id="429" />
-<TGConnectingPoint num="45" id="430" />
-<TGConnectingPoint num="46" id="431" />
-<TGConnectingPoint num="47" id="432" />
-<TGConnectingPoint num="48" id="433" />
+<TGConnectingPoint num="0" id="153" />
+<TGConnectingPoint num="1" id="154" />
+<TGConnectingPoint num="2" id="155" />
+<TGConnectingPoint num="3" id="156" />
+<TGConnectingPoint num="4" id="157" />
+<TGConnectingPoint num="5" id="158" />
+<TGConnectingPoint num="6" id="159" />
+<TGConnectingPoint num="7" id="160" />
+<TGConnectingPoint num="8" id="161" />
+<TGConnectingPoint num="9" id="162" />
+<TGConnectingPoint num="10" id="163" />
+<TGConnectingPoint num="11" id="164" />
+<TGConnectingPoint num="12" id="165" />
+<TGConnectingPoint num="13" id="166" />
+<TGConnectingPoint num="14" id="167" />
+<TGConnectingPoint num="15" id="168" />
+<TGConnectingPoint num="16" id="169" />
+<TGConnectingPoint num="17" id="170" />
+<TGConnectingPoint num="18" id="171" />
+<TGConnectingPoint num="19" id="172" />
+<TGConnectingPoint num="20" id="173" />
+<TGConnectingPoint num="21" id="174" />
+<TGConnectingPoint num="22" id="175" />
+<TGConnectingPoint num="23" id="176" />
+<TGConnectingPoint num="24" id="177" />
+<TGConnectingPoint num="25" id="178" />
+<TGConnectingPoint num="26" id="179" />
+<TGConnectingPoint num="27" id="180" />
+<TGConnectingPoint num="28" id="181" />
+<TGConnectingPoint num="29" id="182" />
+<TGConnectingPoint num="30" id="183" />
+<TGConnectingPoint num="31" id="184" />
+<TGConnectingPoint num="32" id="185" />
+<TGConnectingPoint num="33" id="186" />
+<TGConnectingPoint num="34" id="187" />
+<TGConnectingPoint num="35" id="188" />
+<TGConnectingPoint num="36" id="189" />
+<TGConnectingPoint num="37" id="190" />
+<TGConnectingPoint num="38" id="191" />
+<TGConnectingPoint num="39" id="192" />
+<TGConnectingPoint num="40" id="193" />
+<TGConnectingPoint num="41" id="194" />
+<TGConnectingPoint num="42" id="195" />
+<TGConnectingPoint num="43" id="196" />
+<TGConnectingPoint num="44" id="197" />
+<TGConnectingPoint num="45" id="198" />
+<TGConnectingPoint num="46" id="199" />
+<TGConnectingPoint num="47" id="200" />
+<TGConnectingPoint num="48" id="201" />
<extraparam>
<Actor data="false" />
</extraparam>
</COMPONENT>
-<CONNECTOR type="107" id="435" >
+<CONNECTOR type="107" id="203" >
<cdparam x="476" y="590" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="m1" />
-<P1 x="476" y="590" id="378" />
-<P2 x="149" y="590" id="428" />
+<P1 x="476" y="590" id="146" />
+<P2 x="149" y="590" id="196" />
<AutomaticDrawing data="true" />
</CONNECTOR>
-<CONNECTOR type="107" id="436" >
+<CONNECTOR type="107" id="204" >
<cdparam x="807" y="530" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="s1 = statement(client1)" />
-<P1 x="807" y="530" id="313" />
-<P2 x="476" y="530" id="372" />
+<P1 x="807" y="530" id="81" />
+<P2 x="476" y="530" id="140" />
<AutomaticDrawing data="true" />
</CONNECTOR>
-<CONNECTOR type="107" id="437" >
+<CONNECTOR type="107" id="205" >
<cdparam x="476" y="500" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="askStatement(Id_BC)" />
-<P1 x="476" y="500" id="369" />
-<P2 x="807" y="500" id="310" />
+<P1 x="476" y="500" id="137" />
+<P2 x="807" y="500" id="78" />
<AutomaticDrawing data="true" />
</CONNECTOR>
-<CONNECTOR type="107" id="438" >
+<CONNECTOR type="107" id="206" >
<cdparam x="476" y="470" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="HTTPSConnectionEstablishement" />
-<P1 x="476" y="470" id="366" />
-<P2 x="807" y="470" id="307" />
+<P1 x="476" y="470" id="134" />
+<P2 x="807" y="470" id="75" />
<AutomaticDrawing data="true" />
</CONNECTOR>
-<CONNECTOR type="107" id="439" >
+<CONNECTOR type="107" id="207" >
<cdparam x="149" y="440" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="askAllStatements" />
-<P1 x="149" y="440" id="413" />
-<P2 x="476" y="440" id="363" />
+<P1 x="149" y="440" id="181" />
+<P2 x="476" y="440" id="131" />
<AutomaticDrawing data="true" />
</CONNECTOR>
-<CONNECTOR type="107" id="440" >
+<CONNECTOR type="107" id="208" >
<cdparam x="149" y="400" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="addStatement(m)" />
-<P1 x="149" y="400" id="409" />
-<P2 x="476" y="400" id="359" />
+<P1 x="149" y="400" id="177" />
+<P2 x="476" y="400" id="127" />
<AutomaticDrawing data="true" />
</CONNECTOR>
-<CONNECTOR type="107" id="441" >
+<CONNECTOR type="107" id="209" >
<cdparam x="807" y="360" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="m" />
-<P1 x="807" y="360" id="296" />
-<P2 x="149" y="360" id="405" />
+<P1 x="807" y="360" id="64" />
+<P2 x="149" y="360" id="173" />
<AutomaticDrawing data="true" />
</CONNECTOR>
-<CONNECTOR type="107" id="442" >
+<CONNECTOR type="107" id="210" >
<cdparam x="476" y="210" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="pubK_BC" />
-<P1 x="476" y="210" id="340" />
-<P2 x="149" y="210" id="390" />
+<P1 x="476" y="210" id="108" />
+<P2 x="149" y="210" id="158" />
<AutomaticDrawing data="true" />
</CONNECTOR>
-<CONNECTOR type="107" id="443" >
+<CONNECTOR type="107" id="211" >
<cdparam x="149" y="190" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="getPublicKey" />
-<P1 x="149" y="190" id="388" />
-<P2 x="476" y="190" id="338" />
+<P1 x="149" y="190" id="156" />
+<P2 x="476" y="190" id="106" />
<AutomaticDrawing data="true" />
</CONNECTOR>
-<CONNECTOR type="107" id="444" >
+<CONNECTOR type="107" id="212" >
<cdparam x="149" y="170" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="HttpsConnection" />
-<P1 x="149" y="170" id="386" />
-<P2 x="476" y="170" id="336" />
+<P1 x="149" y="170" id="154" />
+<P2 x="476" y="170" id="104" />
<AutomaticDrawing data="true" />
</CONNECTOR>
-<CONNECTOR type="107" id="445" >
+<CONNECTOR type="107" id="213" >
<cdparam x="149" y="250" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="createAuthToken(banque-courtois_pubK)" />
-<P1 x="149" y="290" id="398" />
-<P2 x="807" y="290" id="289" />
+<P1 x="149" y="290" id="166" />
+<P2 x="807" y="290" id="57" />
<AutomaticDrawing data="true" />
</CONNECTOR>
-<CONNECTOR type="107" id="446" >
+<CONNECTOR type="107" id="214" >
<cdparam x="149" y="220" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="HTTPSConnectionEstablishement" />
-<P1 x="149" y="260" id="395" />
-<P2 x="807" y="260" id="286" />
+<P1 x="149" y="260" id="163" />
+<P2 x="807" y="260" id="54" />
<AutomaticDrawing data="true" />
</CONNECTOR>
</SequenceDiagramPanel>
<SequenceDiagramPanel name="MyScenario1" minX="10" maxX="2500" minY="10" maxY="1500" >
-<COMPONENT type="301" id="17" >
+<COMPONENT type="301" id="231" >
<cdparam x="186" y="591" />
-<sizeparam width="335" height="51" minWidth="20" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<sizeparam width="300" height="51" minWidth="20" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
<infoparam name="UML Note" value="The statement of the other bank is unciphered
@@ -390,22 +390,22 @@ locally, and the webpage is created locally only
(e.g., with javascript).
Banque courtois has no access to this statement.
" />
-<TGConnectingPoint num="0" id="1" />
-<TGConnectingPoint num="1" id="2" />
-<TGConnectingPoint num="2" id="3" />
-<TGConnectingPoint num="3" id="4" />
-<TGConnectingPoint num="4" id="5" />
-<TGConnectingPoint num="5" id="6" />
-<TGConnectingPoint num="6" id="7" />
-<TGConnectingPoint num="7" id="8" />
-<TGConnectingPoint num="8" id="9" />
-<TGConnectingPoint num="9" id="10" />
-<TGConnectingPoint num="10" id="11" />
-<TGConnectingPoint num="11" id="12" />
-<TGConnectingPoint num="12" id="13" />
-<TGConnectingPoint num="13" id="14" />
-<TGConnectingPoint num="14" id="15" />
-<TGConnectingPoint num="15" id="16" />
+<TGConnectingPoint num="0" id="215" />
+<TGConnectingPoint num="1" id="216" />
+<TGConnectingPoint num="2" id="217" />
+<TGConnectingPoint num="3" id="218" />
+<TGConnectingPoint num="4" id="219" />
+<TGConnectingPoint num="5" id="220" />
+<TGConnectingPoint num="6" id="221" />
+<TGConnectingPoint num="7" id="222" />
+<TGConnectingPoint num="8" id="223" />
+<TGConnectingPoint num="9" id="224" />
+<TGConnectingPoint num="10" id="225" />
+<TGConnectingPoint num="11" id="226" />
+<TGConnectingPoint num="12" id="227" />
+<TGConnectingPoint num="13" id="228" />
+<TGConnectingPoint num="14" id="229" />
+<TGConnectingPoint num="15" id="230" />
<extraparam>
<Line value="The statement of the other bank is unciphered" />
<Line value="locally, and the webpage is created locally only" />
@@ -414,372 +414,372 @@ Banque courtois has no access to this statement.
</extraparam>
</COMPONENT>
-<COMPONENT type="301" id="34" >
+<COMPONENT type="301" id="248" >
<cdparam x="889" y="478" />
-<sizeparam width="214" height="27" minWidth="20" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<sizeparam width="198" height="27" minWidth="20" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
<infoparam name="UML Note" value="The statement is ciphered with
the public key of the client
" />
-<TGConnectingPoint num="0" id="18" />
-<TGConnectingPoint num="1" id="19" />
-<TGConnectingPoint num="2" id="20" />
-<TGConnectingPoint num="3" id="21" />
-<TGConnectingPoint num="4" id="22" />
-<TGConnectingPoint num="5" id="23" />
-<TGConnectingPoint num="6" id="24" />
-<TGConnectingPoint num="7" id="25" />
-<TGConnectingPoint num="8" id="26" />
-<TGConnectingPoint num="9" id="27" />
-<TGConnectingPoint num="10" id="28" />
-<TGConnectingPoint num="11" id="29" />
-<TGConnectingPoint num="12" id="30" />
-<TGConnectingPoint num="13" id="31" />
-<TGConnectingPoint num="14" id="32" />
-<TGConnectingPoint num="15" id="33" />
+<TGConnectingPoint num="0" id="232" />
+<TGConnectingPoint num="1" id="233" />
+<TGConnectingPoint num="2" id="234" />
+<TGConnectingPoint num="3" id="235" />
+<TGConnectingPoint num="4" id="236" />
+<TGConnectingPoint num="5" id="237" />
+<TGConnectingPoint num="6" id="238" />
+<TGConnectingPoint num="7" id="239" />
+<TGConnectingPoint num="8" id="240" />
+<TGConnectingPoint num="9" id="241" />
+<TGConnectingPoint num="10" id="242" />
+<TGConnectingPoint num="11" id="243" />
+<TGConnectingPoint num="12" id="244" />
+<TGConnectingPoint num="13" id="245" />
+<TGConnectingPoint num="14" id="246" />
+<TGConnectingPoint num="15" id="247" />
<extraparam>
<Line value="The statement is ciphered with" />
<Line value="the public key of the client" />
</extraparam>
</COMPONENT>
-<COMPONENT type="301" id="51" >
+<COMPONENT type="301" id="265" >
<cdparam x="966" y="281" />
-<sizeparam width="209" height="27" minWidth="20" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<sizeparam width="192" height="27" minWidth="20" minHeight="10" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
<infoparam name="UML Note" value="Creation of a token specific to
the Banque Courtois
" />
-<TGConnectingPoint num="0" id="35" />
-<TGConnectingPoint num="1" id="36" />
-<TGConnectingPoint num="2" id="37" />
-<TGConnectingPoint num="3" id="38" />
-<TGConnectingPoint num="4" id="39" />
-<TGConnectingPoint num="5" id="40" />
-<TGConnectingPoint num="6" id="41" />
-<TGConnectingPoint num="7" id="42" />
-<TGConnectingPoint num="8" id="43" />
-<TGConnectingPoint num="9" id="44" />
-<TGConnectingPoint num="10" id="45" />
-<TGConnectingPoint num="11" id="46" />
-<TGConnectingPoint num="12" id="47" />
-<TGConnectingPoint num="13" id="48" />
-<TGConnectingPoint num="14" id="49" />
-<TGConnectingPoint num="15" id="50" />
+<TGConnectingPoint num="0" id="249" />
+<TGConnectingPoint num="1" id="250" />
+<TGConnectingPoint num="2" id="251" />
+<TGConnectingPoint num="3" id="252" />
+<TGConnectingPoint num="4" id="253" />
+<TGConnectingPoint num="5" id="254" />
+<TGConnectingPoint num="6" id="255" />
+<TGConnectingPoint num="7" id="256" />
+<TGConnectingPoint num="8" id="257" />
+<TGConnectingPoint num="9" id="258" />
+<TGConnectingPoint num="10" id="259" />
+<TGConnectingPoint num="11" id="260" />
+<TGConnectingPoint num="12" id="261" />
+<TGConnectingPoint num="13" id="262" />
+<TGConnectingPoint num="14" id="263" />
+<TGConnectingPoint num="15" id="264" />
<extraparam>
<Line value="Creation of a token specific to" />
<Line value="the Banque Courtois" />
</extraparam>
</COMPONENT>
-<COMPONENT type="606" id="110" >
+<COMPONENT type="606" id="324" >
<cdparam x="864" y="116" />
<sizeparam width="10" height="500" minWidth="10" minHeight="250" maxWidth="10" maxHeight="1500" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
<infoparam name="OtherBank" value="Instance name" />
-<TGConnectingPoint num="0" id="61" />
-<TGConnectingPoint num="1" id="62" />
-<TGConnectingPoint num="2" id="63" />
-<TGConnectingPoint num="3" id="64" />
-<TGConnectingPoint num="4" id="65" />
-<TGConnectingPoint num="5" id="66" />
-<TGConnectingPoint num="6" id="67" />
-<TGConnectingPoint num="7" id="68" />
-<TGConnectingPoint num="8" id="69" />
-<TGConnectingPoint num="9" id="70" />
-<TGConnectingPoint num="10" id="71" />
-<TGConnectingPoint num="11" id="72" />
-<TGConnectingPoint num="12" id="73" />
-<TGConnectingPoint num="13" id="74" />
-<TGConnectingPoint num="14" id="75" />
-<TGConnectingPoint num="15" id="76" />
-<TGConnectingPoint num="16" id="77" />
-<TGConnectingPoint num="17" id="78" />
-<TGConnectingPoint num="18" id="79" />
-<TGConnectingPoint num="19" id="80" />
-<TGConnectingPoint num="20" id="81" />
-<TGConnectingPoint num="21" id="82" />
-<TGConnectingPoint num="22" id="83" />
-<TGConnectingPoint num="23" id="84" />
-<TGConnectingPoint num="24" id="85" />
-<TGConnectingPoint num="25" id="86" />
-<TGConnectingPoint num="26" id="87" />
-<TGConnectingPoint num="27" id="88" />
-<TGConnectingPoint num="28" id="89" />
-<TGConnectingPoint num="29" id="90" />
-<TGConnectingPoint num="30" id="91" />
-<TGConnectingPoint num="31" id="92" />
-<TGConnectingPoint num="32" id="93" />
-<TGConnectingPoint num="33" id="94" />
-<TGConnectingPoint num="34" id="95" />
-<TGConnectingPoint num="35" id="96" />
-<TGConnectingPoint num="36" id="97" />
-<TGConnectingPoint num="37" id="98" />
-<TGConnectingPoint num="38" id="99" />
-<TGConnectingPoint num="39" id="100" />
-<TGConnectingPoint num="40" id="101" />
-<TGConnectingPoint num="41" id="102" />
-<TGConnectingPoint num="42" id="103" />
-<TGConnectingPoint num="43" id="104" />
-<TGConnectingPoint num="44" id="105" />
-<TGConnectingPoint num="45" id="106" />
-<TGConnectingPoint num="46" id="107" />
-<TGConnectingPoint num="47" id="108" />
-<TGConnectingPoint num="48" id="109" />
+<TGConnectingPoint num="0" id="275" />
+<TGConnectingPoint num="1" id="276" />
+<TGConnectingPoint num="2" id="277" />
+<TGConnectingPoint num="3" id="278" />
+<TGConnectingPoint num="4" id="279" />
+<TGConnectingPoint num="5" id="280" />
+<TGConnectingPoint num="6" id="281" />
+<TGConnectingPoint num="7" id="282" />
+<TGConnectingPoint num="8" id="283" />
+<TGConnectingPoint num="9" id="284" />
+<TGConnectingPoint num="10" id="285" />
+<TGConnectingPoint num="11" id="286" />
+<TGConnectingPoint num="12" id="287" />
+<TGConnectingPoint num="13" id="288" />
+<TGConnectingPoint num="14" id="289" />
+<TGConnectingPoint num="15" id="290" />
+<TGConnectingPoint num="16" id="291" />
+<TGConnectingPoint num="17" id="292" />
+<TGConnectingPoint num="18" id="293" />
+<TGConnectingPoint num="19" id="294" />
+<TGConnectingPoint num="20" id="295" />
+<TGConnectingPoint num="21" id="296" />
+<TGConnectingPoint num="22" id="297" />
+<TGConnectingPoint num="23" id="298" />
+<TGConnectingPoint num="24" id="299" />
+<TGConnectingPoint num="25" id="300" />
+<TGConnectingPoint num="26" id="301" />
+<TGConnectingPoint num="27" id="302" />
+<TGConnectingPoint num="28" id="303" />
+<TGConnectingPoint num="29" id="304" />
+<TGConnectingPoint num="30" id="305" />
+<TGConnectingPoint num="31" id="306" />
+<TGConnectingPoint num="32" id="307" />
+<TGConnectingPoint num="33" id="308" />
+<TGConnectingPoint num="34" id="309" />
+<TGConnectingPoint num="35" id="310" />
+<TGConnectingPoint num="36" id="311" />
+<TGConnectingPoint num="37" id="312" />
+<TGConnectingPoint num="38" id="313" />
+<TGConnectingPoint num="39" id="314" />
+<TGConnectingPoint num="40" id="315" />
+<TGConnectingPoint num="41" id="316" />
+<TGConnectingPoint num="42" id="317" />
+<TGConnectingPoint num="43" id="318" />
+<TGConnectingPoint num="44" id="319" />
+<TGConnectingPoint num="45" id="320" />
+<TGConnectingPoint num="46" id="321" />
+<TGConnectingPoint num="47" id="322" />
+<TGConnectingPoint num="48" id="323" />
<extraparam>
<Actor data="false" />
</extraparam>
</COMPONENT>
-<SUBCOMPONENT type="602" id="60" >
-<father id="110" num="0" />
+<SUBCOMPONENT type="602" id="274" >
+<father id="324" num="0" />
<cdparam x="869" y="285" />
-<sizeparam width="141" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<sizeparam width="131" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="5" maxX="5" minY="10" maxY="470" />
<infoparam name="action state" value="m = {Id_BC}_BCpubK" />
-<TGConnectingPoint num="0" id="52" />
-<TGConnectingPoint num="1" id="53" />
-<TGConnectingPoint num="2" id="54" />
-<TGConnectingPoint num="3" id="55" />
-<TGConnectingPoint num="4" id="56" />
-<TGConnectingPoint num="5" id="57" />
-<TGConnectingPoint num="6" id="58" />
-<TGConnectingPoint num="7" id="59" />
+<TGConnectingPoint num="0" id="266" />
+<TGConnectingPoint num="1" id="267" />
+<TGConnectingPoint num="2" id="268" />
+<TGConnectingPoint num="3" id="269" />
+<TGConnectingPoint num="4" id="270" />
+<TGConnectingPoint num="5" id="271" />
+<TGConnectingPoint num="6" id="272" />
+<TGConnectingPoint num="7" id="273" />
</SUBCOMPONENT>
-<COMPONENT type="606" id="169" >
+<COMPONENT type="606" id="383" >
<cdparam x="533" y="116" />
<sizeparam width="10" height="500" minWidth="10" minHeight="250" maxWidth="10" maxHeight="1500" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
<infoparam name="BanqueCourtoisSystem" value="Instance name" />
-<TGConnectingPoint num="0" id="120" />
-<TGConnectingPoint num="1" id="121" />
-<TGConnectingPoint num="2" id="122" />
-<TGConnectingPoint num="3" id="123" />
-<TGConnectingPoint num="4" id="124" />
-<TGConnectingPoint num="5" id="125" />
-<TGConnectingPoint num="6" id="126" />
-<TGConnectingPoint num="7" id="127" />
-<TGConnectingPoint num="8" id="128" />
-<TGConnectingPoint num="9" id="129" />
-<TGConnectingPoint num="10" id="130" />
-<TGConnectingPoint num="11" id="131" />
-<TGConnectingPoint num="12" id="132" />
-<TGConnectingPoint num="13" id="133" />
-<TGConnectingPoint num="14" id="134" />
-<TGConnectingPoint num="15" id="135" />
-<TGConnectingPoint num="16" id="136" />
-<TGConnectingPoint num="17" id="137" />
-<TGConnectingPoint num="18" id="138" />
-<TGConnectingPoint num="19" id="139" />
-<TGConnectingPoint num="20" id="140" />
-<TGConnectingPoint num="21" id="141" />
-<TGConnectingPoint num="22" id="142" />
-<TGConnectingPoint num="23" id="143" />
-<TGConnectingPoint num="24" id="144" />
-<TGConnectingPoint num="25" id="145" />
-<TGConnectingPoint num="26" id="146" />
-<TGConnectingPoint num="27" id="147" />
-<TGConnectingPoint num="28" id="148" />
-<TGConnectingPoint num="29" id="149" />
-<TGConnectingPoint num="30" id="150" />
-<TGConnectingPoint num="31" id="151" />
-<TGConnectingPoint num="32" id="152" />
-<TGConnectingPoint num="33" id="153" />
-<TGConnectingPoint num="34" id="154" />
-<TGConnectingPoint num="35" id="155" />
-<TGConnectingPoint num="36" id="156" />
-<TGConnectingPoint num="37" id="157" />
-<TGConnectingPoint num="38" id="158" />
-<TGConnectingPoint num="39" id="159" />
-<TGConnectingPoint num="40" id="160" />
-<TGConnectingPoint num="41" id="161" />
-<TGConnectingPoint num="42" id="162" />
-<TGConnectingPoint num="43" id="163" />
-<TGConnectingPoint num="44" id="164" />
-<TGConnectingPoint num="45" id="165" />
-<TGConnectingPoint num="46" id="166" />
-<TGConnectingPoint num="47" id="167" />
-<TGConnectingPoint num="48" id="168" />
+<TGConnectingPoint num="0" id="334" />
+<TGConnectingPoint num="1" id="335" />
+<TGConnectingPoint num="2" id="336" />
+<TGConnectingPoint num="3" id="337" />
+<TGConnectingPoint num="4" id="338" />
+<TGConnectingPoint num="5" id="339" />
+<TGConnectingPoint num="6" id="340" />
+<TGConnectingPoint num="7" id="341" />
+<TGConnectingPoint num="8" id="342" />
+<TGConnectingPoint num="9" id="343" />
+<TGConnectingPoint num="10" id="344" />
+<TGConnectingPoint num="11" id="345" />
+<TGConnectingPoint num="12" id="346" />
+<TGConnectingPoint num="13" id="347" />
+<TGConnectingPoint num="14" id="348" />
+<TGConnectingPoint num="15" id="349" />
+<TGConnectingPoint num="16" id="350" />
+<TGConnectingPoint num="17" id="351" />
+<TGConnectingPoint num="18" id="352" />
+<TGConnectingPoint num="19" id="353" />
+<TGConnectingPoint num="20" id="354" />
+<TGConnectingPoint num="21" id="355" />
+<TGConnectingPoint num="22" id="356" />
+<TGConnectingPoint num="23" id="357" />
+<TGConnectingPoint num="24" id="358" />
+<TGConnectingPoint num="25" id="359" />
+<TGConnectingPoint num="26" id="360" />
+<TGConnectingPoint num="27" id="361" />
+<TGConnectingPoint num="28" id="362" />
+<TGConnectingPoint num="29" id="363" />
+<TGConnectingPoint num="30" id="364" />
+<TGConnectingPoint num="31" id="365" />
+<TGConnectingPoint num="32" id="366" />
+<TGConnectingPoint num="33" id="367" />
+<TGConnectingPoint num="34" id="368" />
+<TGConnectingPoint num="35" id="369" />
+<TGConnectingPoint num="36" id="370" />
+<TGConnectingPoint num="37" id="371" />
+<TGConnectingPoint num="38" id="372" />
+<TGConnectingPoint num="39" id="373" />
+<TGConnectingPoint num="40" id="374" />
+<TGConnectingPoint num="41" id="375" />
+<TGConnectingPoint num="42" id="376" />
+<TGConnectingPoint num="43" id="377" />
+<TGConnectingPoint num="44" id="378" />
+<TGConnectingPoint num="45" id="379" />
+<TGConnectingPoint num="46" id="380" />
+<TGConnectingPoint num="47" id="381" />
+<TGConnectingPoint num="48" id="382" />
<extraparam>
<Actor data="false" />
</extraparam>
</COMPONENT>
-<SUBCOMPONENT type="602" id="119" >
-<father id="169" num="0" />
+<SUBCOMPONENT type="602" id="333" >
+<father id="383" num="0" />
<cdparam x="538" y="521" />
-<sizeparam width="235" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<sizeparam width="216" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="5" maxX="5" minY="10" maxY="470" />
<infoparam name="action state" value="m1 = s1, statementBanqueCourtois" />
-<TGConnectingPoint num="0" id="111" />
-<TGConnectingPoint num="1" id="112" />
-<TGConnectingPoint num="2" id="113" />
-<TGConnectingPoint num="3" id="114" />
-<TGConnectingPoint num="4" id="115" />
-<TGConnectingPoint num="5" id="116" />
-<TGConnectingPoint num="6" id="117" />
-<TGConnectingPoint num="7" id="118" />
+<TGConnectingPoint num="0" id="325" />
+<TGConnectingPoint num="1" id="326" />
+<TGConnectingPoint num="2" id="327" />
+<TGConnectingPoint num="3" id="328" />
+<TGConnectingPoint num="4" id="329" />
+<TGConnectingPoint num="5" id="330" />
+<TGConnectingPoint num="6" id="331" />
+<TGConnectingPoint num="7" id="332" />
</SUBCOMPONENT>
-<COMPONENT type="606" id="219" >
+<COMPONENT type="606" id="433" >
<cdparam x="206" y="116" />
<sizeparam width="10" height="500" minWidth="10" minHeight="250" maxWidth="10" maxHeight="1500" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
<infoparam name="browserClient1" value="Instance name" />
-<TGConnectingPoint num="0" id="170" />
-<TGConnectingPoint num="1" id="171" />
-<TGConnectingPoint num="2" id="172" />
-<TGConnectingPoint num="3" id="173" />
-<TGConnectingPoint num="4" id="174" />
-<TGConnectingPoint num="5" id="175" />
-<TGConnectingPoint num="6" id="176" />
-<TGConnectingPoint num="7" id="177" />
-<TGConnectingPoint num="8" id="178" />
-<TGConnectingPoint num="9" id="179" />
-<TGConnectingPoint num="10" id="180" />
-<TGConnectingPoint num="11" id="181" />
-<TGConnectingPoint num="12" id="182" />
-<TGConnectingPoint num="13" id="183" />
-<TGConnectingPoint num="14" id="184" />
-<TGConnectingPoint num="15" id="185" />
-<TGConnectingPoint num="16" id="186" />
-<TGConnectingPoint num="17" id="187" />
-<TGConnectingPoint num="18" id="188" />
-<TGConnectingPoint num="19" id="189" />
-<TGConnectingPoint num="20" id="190" />
-<TGConnectingPoint num="21" id="191" />
-<TGConnectingPoint num="22" id="192" />
-<TGConnectingPoint num="23" id="193" />
-<TGConnectingPoint num="24" id="194" />
-<TGConnectingPoint num="25" id="195" />
-<TGConnectingPoint num="26" id="196" />
-<TGConnectingPoint num="27" id="197" />
-<TGConnectingPoint num="28" id="198" />
-<TGConnectingPoint num="29" id="199" />
-<TGConnectingPoint num="30" id="200" />
-<TGConnectingPoint num="31" id="201" />
-<TGConnectingPoint num="32" id="202" />
-<TGConnectingPoint num="33" id="203" />
-<TGConnectingPoint num="34" id="204" />
-<TGConnectingPoint num="35" id="205" />
-<TGConnectingPoint num="36" id="206" />
-<TGConnectingPoint num="37" id="207" />
-<TGConnectingPoint num="38" id="208" />
-<TGConnectingPoint num="39" id="209" />
-<TGConnectingPoint num="40" id="210" />
-<TGConnectingPoint num="41" id="211" />
-<TGConnectingPoint num="42" id="212" />
-<TGConnectingPoint num="43" id="213" />
-<TGConnectingPoint num="44" id="214" />
-<TGConnectingPoint num="45" id="215" />
-<TGConnectingPoint num="46" id="216" />
-<TGConnectingPoint num="47" id="217" />
-<TGConnectingPoint num="48" id="218" />
+<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" />
+<TGConnectingPoint num="8" id="392" />
+<TGConnectingPoint num="9" id="393" />
+<TGConnectingPoint num="10" id="394" />
+<TGConnectingPoint num="11" id="395" />
+<TGConnectingPoint num="12" id="396" />
+<TGConnectingPoint num="13" id="397" />
+<TGConnectingPoint num="14" id="398" />
+<TGConnectingPoint num="15" id="399" />
+<TGConnectingPoint num="16" id="400" />
+<TGConnectingPoint num="17" id="401" />
+<TGConnectingPoint num="18" id="402" />
+<TGConnectingPoint num="19" id="403" />
+<TGConnectingPoint num="20" id="404" />
+<TGConnectingPoint num="21" id="405" />
+<TGConnectingPoint num="22" id="406" />
+<TGConnectingPoint num="23" id="407" />
+<TGConnectingPoint num="24" id="408" />
+<TGConnectingPoint num="25" id="409" />
+<TGConnectingPoint num="26" id="410" />
+<TGConnectingPoint num="27" id="411" />
+<TGConnectingPoint num="28" id="412" />
+<TGConnectingPoint num="29" id="413" />
+<TGConnectingPoint num="30" id="414" />
+<TGConnectingPoint num="31" id="415" />
+<TGConnectingPoint num="32" id="416" />
+<TGConnectingPoint num="33" id="417" />
+<TGConnectingPoint num="34" id="418" />
+<TGConnectingPoint num="35" id="419" />
+<TGConnectingPoint num="36" id="420" />
+<TGConnectingPoint num="37" id="421" />
+<TGConnectingPoint num="38" id="422" />
+<TGConnectingPoint num="39" id="423" />
+<TGConnectingPoint num="40" id="424" />
+<TGConnectingPoint num="41" id="425" />
+<TGConnectingPoint num="42" id="426" />
+<TGConnectingPoint num="43" id="427" />
+<TGConnectingPoint num="44" id="428" />
+<TGConnectingPoint num="45" id="429" />
+<TGConnectingPoint num="46" id="430" />
+<TGConnectingPoint num="47" id="431" />
+<TGConnectingPoint num="48" id="432" />
<extraparam>
<Actor data="false" />
</extraparam>
</COMPONENT>
-<CONNECTOR type="107" id="220" >
+<CONNECTOR type="107" id="434" >
<cdparam x="538" y="556" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="m1" />
-<P1 x="538" y="556" id="163" />
-<P2 x="211" y="556" id="213" />
+<P1 x="538" y="556" id="377" />
+<P2 x="211" y="556" id="427" />
<AutomaticDrawing data="true" />
</CONNECTOR>
-<CONNECTOR type="107" id="221" >
+<CONNECTOR type="107" id="435" >
<cdparam x="869" y="496" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="s1 = statement(client1_pubClient)" />
-<P1 x="869" y="496" id="98" />
-<P2 x="538" y="496" id="157" />
+<P1 x="869" y="496" id="312" />
+<P2 x="538" y="496" id="371" />
<AutomaticDrawing data="true" />
</CONNECTOR>
-<CONNECTOR type="107" id="222" >
+<CONNECTOR type="107" id="436" >
<cdparam x="538" y="466" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="askStatement(Id_BC)" />
-<P1 x="538" y="466" id="154" />
-<P2 x="869" y="466" id="95" />
+<P1 x="538" y="466" id="368" />
+<P2 x="869" y="466" id="309" />
<AutomaticDrawing data="true" />
</CONNECTOR>
-<CONNECTOR type="107" id="223" >
+<CONNECTOR type="107" id="437" >
<cdparam x="538" y="436" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="HTTPSConnectionEstablishement" />
-<P1 x="538" y="436" id="151" />
-<P2 x="869" y="436" id="92" />
+<P1 x="538" y="436" id="365" />
+<P2 x="869" y="436" id="306" />
<AutomaticDrawing data="true" />
</CONNECTOR>
-<CONNECTOR type="107" id="224" >
+<CONNECTOR type="107" id="438" >
<cdparam x="211" y="406" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="askAllStatements" />
-<P1 x="211" y="406" id="198" />
-<P2 x="538" y="406" id="148" />
+<P1 x="211" y="406" id="412" />
+<P2 x="538" y="406" id="362" />
<AutomaticDrawing data="true" />
</CONNECTOR>
-<CONNECTOR type="107" id="225" >
+<CONNECTOR type="107" id="439" >
<cdparam x="211" y="366" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="addStatement(m)" />
-<P1 x="211" y="366" id="194" />
-<P2 x="538" y="366" id="144" />
+<P1 x="211" y="366" id="408" />
+<P2 x="538" y="366" id="358" />
<AutomaticDrawing data="true" />
</CONNECTOR>
-<CONNECTOR type="107" id="226" >
+<CONNECTOR type="107" id="440" >
<cdparam x="869" y="326" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="m" />
-<P1 x="869" y="326" id="81" />
-<P2 x="211" y="326" id="190" />
+<P1 x="869" y="326" id="295" />
+<P2 x="211" y="326" id="404" />
<AutomaticDrawing data="true" />
</CONNECTOR>
-<CONNECTOR type="107" id="227" >
+<CONNECTOR type="107" id="441" >
<cdparam x="538" y="176" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="pubK_BC" />
-<P1 x="538" y="176" id="125" />
-<P2 x="211" y="176" id="175" />
+<P1 x="538" y="176" id="339" />
+<P2 x="211" y="176" id="389" />
<AutomaticDrawing data="true" />
</CONNECTOR>
-<CONNECTOR type="107" id="228" >
+<CONNECTOR type="107" id="442" >
<cdparam x="211" y="156" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="getPublicKey" />
-<P1 x="211" y="156" id="173" />
-<P2 x="538" y="156" id="123" />
+<P1 x="211" y="156" id="387" />
+<P2 x="538" y="156" id="337" />
<AutomaticDrawing data="true" />
</CONNECTOR>
-<CONNECTOR type="107" id="229" >
+<CONNECTOR type="107" id="443" >
<cdparam x="211" y="136" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="HttpsConnection" />
-<P1 x="211" y="136" id="171" />
-<P2 x="538" y="136" id="121" />
+<P1 x="211" y="136" id="385" />
+<P2 x="538" y="136" id="335" />
<AutomaticDrawing data="true" />
</CONNECTOR>
-<CONNECTOR type="107" id="230" >
+<CONNECTOR type="107" id="444" >
<cdparam x="211" y="216" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="createAuthToken(banque-courtois_pubK)" />
-<P1 x="211" y="256" id="183" />
-<P2 x="869" y="256" id="74" />
+<P1 x="211" y="256" id="397" />
+<P2 x="869" y="256" id="288" />
<AutomaticDrawing data="true" />
</CONNECTOR>
-<CONNECTOR type="107" id="231" >
+<CONNECTOR type="107" id="445" >
<cdparam x="211" y="186" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector" value="HTTPSConnectionEstablishement" />
-<P1 x="211" y="226" id="180" />
-<P2 x="869" y="226" id="71" />
+<P1 x="211" y="226" id="394" />
+<P2 x="869" y="226" id="285" />
<AutomaticDrawing data="true" />
</CONNECTOR>
--
GitLab