Skip to content
Snippets Groups Projects
Commit 17fc7ffb authored by apvrille's avatar apvrille
Browse files

model of Banque courtois

parent 66f1ac1a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
executablecode/Makefile.src
+ 1
− 1
View file @ 17fc7ffb
SRCS = generated_src/main.c generated_src/System.c generated_src/Bob.c generated_src/Alice.c SRCS = generated_src/main.c generated_src/ObserverProp1.c generated_src/RemotelyControlledMicrowave.c generated_src/MicroWaveOven.c generated_src/WirelessInterface.c generated_src/Door.c generated_src/Magnetron.c generated_src/Controller.c generated_src/ControlPanel.c generated_src/Bell.c generated_src/RemoteControl.c
\ No newline at end of file \ No newline at end of file
modeling/banquecourtois/model2.xml 0 → 100644
+ 793
− 0
View file @ 17fc7ffb
<?xml version="1.0" encoding="ISO-8859-1"?>
<TURTLEGMODELING version="0.98-beta4">
<Modeling type="Avatar Analysis" nameTab="Analysis" >
<SequenceDiagramPanel name="MyScenario0" minX="10" maxX="2500" minY="10" maxY="1500" >
<COMPONENT type="301" id="249" >
<cdparam x="668" y="566" />
<sizeparam width="286" 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
on the one of Banque Courtois and on the
one provided by the other bank
This &quot;creation&quot; 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" />
<extraparam>
<Line value="We create an overall statement based" />
<Line value="on the one of Banque Courtois and on the" />
<Line value="one provided by the other bank" />
<Line value="This &quot;creation&quot; is a a dynamic webpage" />
</extraparam>
</COMPONENT>
<COMPONENT type="301" id="266" >
<cdparam x="904" y="315" />
<sizeparam width="209" 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" />
<extraparam>
<Line value="Creation of a token specific to" />
<Line value="the Banque Courtois" />
</extraparam>
</COMPONENT>
<COMPONENT type="606" id="325" >
<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" />
<extraparam>
<Actor data="false" />
</extraparam>
</COMPONENT>
<SUBCOMPONENT type="602" id="275" >
<father id="325" num="0" />
<cdparam x="807" y="319" />
<sizeparam width="141" 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" />
</SUBCOMPONENT>
<COMPONENT type="606" id="384" >
<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" />
<extraparam>
<Actor data="false" />
</extraparam>
</COMPONENT>
<SUBCOMPONENT type="602" id="334" >
<father id="384" num="0" />
<cdparam x="476" y="555" />
<sizeparam width="245" 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" />
</SUBCOMPONENT>
<COMPONENT type="606" id="434" >
<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" />
<extraparam>
<Actor data="false" />
</extraparam>
</COMPONENT>
<CONNECTOR type="107" id="435" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
<CONNECTOR type="107" id="436" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
<CONNECTOR type="107" id="437" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
<CONNECTOR type="107" id="438" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
<CONNECTOR type="107" id="439" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
<CONNECTOR type="107" id="440" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
<CONNECTOR type="107" id="441" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
<CONNECTOR type="107" id="442" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
<CONNECTOR type="107" id="443" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
<CONNECTOR type="107" id="444" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
<CONNECTOR type="107" id="445" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
<CONNECTOR type="107" id="446" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
</SequenceDiagramPanel>
<SequenceDiagramPanel name="MyScenario1" minX="10" maxX="2500" minY="10" maxY="1500" >
<COMPONENT type="301" id="17" >
<cdparam x="186" y="591" />
<sizeparam width="335" 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
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" />
<extraparam>
<Line value="The statement of the other bank is unciphered" />
<Line value="locally, and the webpage is created locally only" />
<Line value="(e.g., with javascript)." />
<Line value="Banque courtois has no access to this statement." />
</extraparam>
</COMPONENT>
<COMPONENT type="301" id="34" >
<cdparam x="889" y="478" />
<sizeparam width="214" 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" />
<extraparam>
<Line value="The statement is ciphered with" />
<Line value="the public key of the client" />
</extraparam>
</COMPONENT>
<COMPONENT type="301" id="51" >
<cdparam x="966" y="281" />
<sizeparam width="209" 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" />
<extraparam>
<Line value="Creation of a token specific to" />
<Line value="the Banque Courtois" />
</extraparam>
</COMPONENT>
<COMPONENT type="606" id="110" >
<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" />
<extraparam>
<Actor data="false" />
</extraparam>
</COMPONENT>
<SUBCOMPONENT type="602" id="60" >
<father id="110" num="0" />
<cdparam x="869" y="285" />
<sizeparam width="141" 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" />
</SUBCOMPONENT>
<COMPONENT type="606" id="169" >
<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" />
<extraparam>
<Actor data="false" />
</extraparam>
</COMPONENT>
<SUBCOMPONENT type="602" id="119" >
<father id="169" num="0" />
<cdparam x="538" y="521" />
<sizeparam width="235" 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" />
</SUBCOMPONENT>
<COMPONENT type="606" id="219" >
<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" />
<extraparam>
<Actor data="false" />
</extraparam>
</COMPONENT>
<CONNECTOR type="107" id="220" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
<CONNECTOR type="107" id="221" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
<CONNECTOR type="107" id="222" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
<CONNECTOR type="107" id="223" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
<CONNECTOR type="107" id="224" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
<CONNECTOR type="107" id="225" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
<CONNECTOR type="107" id="226" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
<CONNECTOR type="107" id="227" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
<CONNECTOR type="107" id="228" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
<CONNECTOR type="107" id="229" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
<CONNECTOR type="107" id="230" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
<CONNECTOR type="107" id="231" >
<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" />
<AutomaticDrawing data="true" />
</CONNECTOR>
</SequenceDiagramPanel>
</Modeling>
</TURTLEGMODELING>
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment