transformation uml to fiacre slide
DESCRIPTION
Aujourd’hui, le domaine de la modélisation et de la validation formel de logiciels devient un enjeu important du génie logiciel. Et les méthodes formelles ont contribué les solutions rigoureuses et puissantes à produire des systèmes non défaillants. Dans ce domaine, les techniques de model-checking ont été fortement popularisées grâce à leur faculté d’exécuter automatiquement des preuves de propriétés sur des modèles logiciels. Alors, il faut pouvoir gérer à partir des modèles UML des codes formels pour différents outils model-checkers selon le type d’analyse que l’on veut mener. Dans ce stage, le langage pivot Fiacre est choisi comme le langage formel ciblé de transformation UML. Ce langage est exploitable par des model-checkers: CADP, TINA, et OBP Explorer. Lors de la transformation UML vers programmes Fiacre, les diagrammes de classes, les diagrammes d’états, et les diagrammes d’objets sont pris en compte. Les diagrammes de classes représentent la vue statique du système, les diagrammes d’états modélisent les comportements dynamiques du système, et les diagrammes d’objets représentent la configuration initiale du système. Dans cette étude bibliographie, on va exploiter les règles de transformation des diagrammes UML vers programmes Fiacre.TRANSCRIPT
5/14/2018 Transformation UML to Fiacre Slide - slidepdf.com
http://slidepdf.com/reader/full/transformation-uml-to-fiacre-slide 1/18
]zib{nlzfi}elb mc flmäac{ SFA~cz{ xzl`ziffc{ Neikzc
DCB@ [l}dize}ddcb`"{l}dize}dH`fiea"klf
8; nå~zecz :89:Cbkimzib}7 Xdeaexxc MDIS[[Uxdeaexxc"mdis{{uHcb{}i&jzc}i`bc"nz
5/14/2018 Transformation UML to Fiacre Slide - slidepdf.com
http://slidepdf.com/reader/full/transformation-uml-to-fiacre-slide 2/18
Xaib mc xzå{cb}i}elb
• Fl}e~i}elb
• Mei`ziffc{ SFA è }zimsezc
• Zä`ac{ mc }zimsk}elb
• Klbkas{elb
9,9;
5/14/2018 Transformation UML to Fiacre Slide - slidepdf.com
http://slidepdf.com/reader/full/transformation-uml-to-fiacre-slide 3/18
Fl}e~i}elb
Xlszysle i&}&lb jc{leb mc kc}}c }zib{nlzfi}elb<• Xlsz i{{szcz ai klb{}zsk}elb ms {u{}äfc blb månieaaib}! ialz{ ac{
flmäac{ SFA mle~cb} ç}zc }zimse}{ ist klmc{ nlzfca{ yse {lb}
ctxale}ijac{ xiz ac{ flmca&kdckocz{"• A―CB[EC]I i må~calxxå LJX Ctxalzcz! sb flmca&kdckocz{ yse i xlsz
cb}zåc sb flmäac ms {u{}äfc cb Neikzc! mc{ mei`ziffc{ KMA c} mc{xi}zlb{ m―cte`cbkc{"
Ialz{! lb i jc{leb m―sb }zib{nlzfi}elb mc flmäac{ SFA cb
xzl`ziffc{ Neikzc
:,9;
Fl}e~i}elb q Mei`ziffc{ SFA è }zimsezc q Zä`ac{ mc }zimsk}elb q Klbkas{elb
~lez _Ysce4:! Kaizo4>! Jcz}d8=! Nczb955>! Aiz{50! Jczb80! Xdeaex99V
5/14/2018 Transformation UML to Fiacre Slide - slidepdf.com
http://slidepdf.com/reader/full/transformation-uml-to-fiacre-slide 4/18
Mei`ziffc{ SFA è }zimsezc
Mei`ziffc{ mc kai{{c{7
Zcxzå{cb}cb} ai ~sc {}i}eysc ms {u{}äfc $ai {}zsk}szceb}czbc ms {u{}äfc%
Caåfcb}{ }zimse}{7
• Kai{{c{
• I}}zejs}{
• Få}dlmc{
• Klaaijlzi}elb{
• Klbkcx}{ m―ljgc}
Fl}e~i}elb q Mei`ziffc{ SFA è }zimsezc q Zä`ac{ mc }zimsk}elb q Klbkas{elb9 q : q ;
;,9;
~lez _Fit84! Dij8=! Xdeaex83V
5/14/2018 Transformation UML to Fiacre Slide - slidepdf.com
http://slidepdf.com/reader/full/transformation-uml-to-fiacre-slide 5/18
Mei`ziffc{ m―å}i}{7
Zcxzå{cb}cb} ai ~sc mubifeysc ms {u{}äfc
Caåfcb}{ }zimse}{7
• C}i}{
• [ls{&fikdebc{ m―å}i}{
• ]zib{e}elb{
• Ik}elb{
• Ixxca m―lxåzi}elb{
Fl}e~i}elb q Mei`ziffc{ SFA è }zimsezc q Zä`ac{ mc }zimsk}elb q Klbkas{elb9 q : q ;
=,9;
~lez _Fit84! Dij8=! Xdeaex83V
5/14/2018 Transformation UML to Fiacre Slide - slidepdf.com
http://slidepdf.com/reader/full/transformation-uml-to-fiacre-slide 6/18
Mei`ziffc{ m―ljgc}{7
Zcxzå{cb}cb} ai klbne`szi}elb ebe}eiac ms {u{}äfc
Caåfcb}{ }zimse}{7
• Ljgc}{• Zcai}elb{
Fl}e~i}elb q Mei`ziffc{ SFA è }zimsezc q Zä`ac{ mc }zimsk}elb q Klbkas{elb9 q : q ;
3,9;
~lez _Fit84! Dij8=! Xdeaex83V
5/14/2018 Transformation UML to Fiacre Slide - slidepdf.com
http://slidepdf.com/reader/full/transformation-uml-to-fiacre-slide 7/18
Zä`ac{ mc }zimsk}elb
Klbne`szi}elb ebe}eiac7
Fl}e~i}elb q Mei`ziffc{ SFA è }zimsezc q Zä`ac{ mc }zimsk}elb q Klbkas{elb9 q : q ; q = q 3 q > q 0
Kai{{c m―sb ljgc} ik}en / {lb mei`ziffc m―å}i} Klmc ms
xzlkc{{s{Neikzc
Mei`ziffc{ m―ljgc}{ xzlkc{{s{ mc klbne`szi}elb ebe}eiac
Ai zcai}elb cb}zc ac{ ljgc}{ {czi }zimse} xiz {i klaaijlzi}elb
>,9;
~lez _Dij8=V
5/14/2018 Transformation UML to Fiacre Slide - slidepdf.com
http://slidepdf.com/reader/full/transformation-uml-to-fiacre-slide 8/18
^sc {}i}eysc7
Kai{{c{7
• Kai{{c ik}e~c {czi }zimse} xiz ac xzlkc{{s{ Neikzc"
• Kai{{c ebik}e~c {czi }zimse} xiz ac xzlkc{{s{ Neikzc i~ck sb {csaå}i} yse mcfcszc ~emc ls xiz ac }uxc zcklzm cb Neikzc"
I}}zejs}{7
• I}}zejs}{ mc }uxc{ xzefe}en{ {czlb} }zimse}{ xiz ac{ ~izeijac{ mc }uxcji{ek cb Neikzc"
• I}}zejs}{ yse {lb} ac{ zånåzcbkc{ ~cz{ mc{ eb{}ibkc{ mc{ is}zc{kai{{c{ {czlb} }zimse}{ xiz xem "
Klaaijlzi}elb7
• Xlsz kdiysc klaaijlzi}elb! mcst xlz}{ {lb} kzåå{ cb}zc acxzlkc{{s{ klzzc{xlbmib} ist xzlkc{{s{ aeå{"
Fl}e~i}elb q Mei`ziffc{ SFA è }zimsezc q Zä`ac{ mc }zimsk}elb q Klbkas{elb9 q : q ; q = q 3 q > q 0
0,9;
~lez _Fit84! Dij8=! Xdeaex84! Gsa80V
5/14/2018 Transformation UML to Fiacre Slide - slidepdf.com
http://slidepdf.com/reader/full/transformation-uml-to-fiacre-slide 9/18
Lxåzi}elb{7• Sb xzlkc{{s{ c{} kzåå xlsz kdiysc lxåzi}elb"
• Mcst {e`bist {lb} kzåå{ xlsz kdiysc lxåzi}elb" Kc{ {e`bistklzzc{xlbmcb} è a―ixxca c} is zc}lsz mc a―lxåzi}elb"
Klbkcx}{ m―ljgc}7
Dåze}i`c7• A―dåze}i`c mc{ fikdebc{ m―å}i}{ bc c{} xi{ }zimse}"
• Lb ~i zcklxecz ac{ xzlxzeå}å{ mc ai kai{{c fäzc mib{ kdiysckai{{c neaac"
Ikkä{ klbkszzcb} ist i}}zejs}{7• Ea nis} `izib}ez ys―sbc lxåzi}elb xzefe}e~c bc xl{{ämc ys―sbc {csac
eb{}ibkc cb fçfc }cfx{"
Fl}e~i}elb q Mei`ziffc{ SFA è }zimsezc q Zä`ac{ mc }zimsk}elb q Klbkas{elb9 q : q ; q = q 3 q > q 0
4,9;
5/14/2018 Transformation UML to Fiacre Slide - slidepdf.com
http://slidepdf.com/reader/full/transformation-uml-to-fiacre-slide 10/18
^sc mubifeysc7
Mei`ziffc m―å}i} is}lfi}c cb Neikzc [ls{&fikdebc{ m―å}i}{
• Sb xzlkc{{s{ {czi kzåå xlsz kdiysc {ls{&fikdebc m―å}i}{
klzzc{xlbmib}"
• Ac xzlkc{{s{ fäzc xi{{c {lb xem alz{ mc ai kzåi}elb mc ai {ls{&fikdebc m―å}i}! c} zc{}c mib{ m―å}i} pie}" Ea klb}ebsc {lb ctåks}elb
alz{ys―ea zcàle} ac fc{{i`c m―ikyse}}cfcb}"
• Ac xzlkc{{s{ fäzc xcs} xi{{cz è sb is}zc å}i} {―ea zcàle} sb {e`bia
ct}czbc"
Fl}e~i}elb q Mei`ziffc{ SFA è }zimsezc q Zä`ac{ mc }zimsk}elb q Klbkas{elb9 q : q ; q = q 3 q > q 0
5,9;
~lez _Fit84! Dij8=! Xdeaex84! Gsa80V
5/14/2018 Transformation UML to Fiacre Slide - slidepdf.com
http://slidepdf.com/reader/full/transformation-uml-to-fiacre-slide 11/18
]zib{e}elb{ SFA7• Alz{ysc mib{ sbc }zib{e}elb! bls{ i~lb{ sbc klbme}elb! lb kzåc sb å}i}
eb{}ijac ¯ [ ¿ mlb} ac{ }zib{e}elb{ {lz}ib}c{ }zimse{cb} ac{ åaåfcb}{ mcai klbme}elb"
• A―å}i} ¯ [ ¿ {czi }zimse} xiz sb å}i} {efxac cb Neikzc mlb} {i }zib{e}elb~cz{ ac{ is}zc{ å}i}{ xcs} cnnck}scz {ib{ i}}cbmzc ai zåkcx}elb mc{{e`bist"
Fl}e~i}elb q Mei`ziffc{ SFA è }zimsezc q Zä`ac{ mc }zimsk}elb q Klbkas{elb9 q : q ; q = q 3 q > q 0
98,9;
5/14/2018 Transformation UML to Fiacre Slide - slidepdf.com
http://slidepdf.com/reader/full/transformation-uml-to-fiacre-slide 12/18
Ik}elb{ cb cb}zåc c} cb {lz}ec m―sb å}i} • Ea nis} ysc }ls}c{ ac{ }zib{e}elb{ ni{{cb} ai fçfc lxåzi}elb"
• Ai }zimsk}elb mc kc{ flmäac{ xcs} {c niezc cb fc}}ib} sb å}i} eb{}ijac¯ [ ¿ gs{}c i~ib} a―å}i} ¯ mc{}ebi}elb ¿"
• Lb bc xcs} xi{ cnnck}scz ai fçfc }zib{nlzfi}elb xlsz ac{ ik}elb{ cb{lz}ec m―sb å}i}"
Fl}e~i}elb q Mei`ziffc{ SFA è }zimsezc q Zä`ac{ mc }zimsk}elb q Klbkas{elb9 q : q ; q = q 3 q > q 0
99,9;
5/14/2018 Transformation UML to Fiacre Slide - slidepdf.com
http://slidepdf.com/reader/full/transformation-uml-to-fiacre-slide 13/18
Ixxca m―lxåzi}elb • Lb kzåc sb xzlkc{{s{ xlsz kdiysc lxåzi}elb" I ai neb mc a―lxåzi}elb! ea
cb~czzi sb fc{{i`c m―ikyse}}cfcb} is xzlkc{{s{ ixxcaib} c}
{―izzç}czi"
• Ac xzlkc{{s{ klszib} m―å~las}elb kzåc ac xzlkc{{s{ klzzc{xlbmib} c}
{c xaikc mib{ sb å}i} m―i}}cb}c mc neb mc a―lxåzi}elb"
Fl}e~i}elb q Mei`ziffc{ SFA è }zimsezc q Zä`ac{ mc }zimsk}elb q Klbkas{elb9 q : q ; q = q 3 q > q 0
9:,9;
5/14/2018 Transformation UML to Fiacre Slide - slidepdf.com
http://slidepdf.com/reader/full/transformation-uml-to-fiacre-slide 14/18
Klbkas{elb
• Lb i månebe ac{ zä`ac{ efxlz}ib}{ xlsz ai }zib{nlzfi}elb mcflmäac{ SFA cb xzl`ziffc{ Neikzc"
Menneksa}å{ c} Xcz{xck}e~c{7• Lb i xzå{cb}å ai bl}elb xem ! fie{ lb bc {ie} cbklzc klffcb} ac
flmåae{cz c} ac zånåzcbkcz mib{ ac xzl`ziffc Neikzc"
• Lb i zcxzå{cb}å a―å}i} eb{}ijac xiz sb å}i} {efxac cb Neikzc" Lb
xcb{c ys―ea b―c{} cbklzc {snne{ib}! ialz{ ea nis} cbklzc a―ctifebcz"
• Ai ack}szc mc{ nekdecz{ TFE ms flmäac SFA Zdix{lmu ~i ç}zcs}eae{å xlsz acsz ibiau{c"
Fl}e~i}elb q Mei`ziffc{ SFA è }zimsezc q Zä`ac{ mc }zimsk}elb q Klbkas{elb
9;,9;
5/14/2018 Transformation UML to Fiacre Slide - slidepdf.com
http://slidepdf.com/reader/full/transformation-uml-to-fiacre-slide 15/18
Fczke mc ~l}zc i}}cb}elb)Ysc{}elb{<
5/14/2018 Transformation UML to Fiacre Slide - slidepdf.com
http://slidepdf.com/reader/full/transformation-uml-to-fiacre-slide 16/18
Zånåzcbkc{ Ysceaac G"&X"! [enioe{ G"[xckeneki}elb ibm ~czeneki}elb ln klbkszzcb} {u{}cf{ eb KC[IZ"
Xzlkccmeb`{ ln }dc 3}d Klaalysesf lb Eb}czbi}elbia [ufxl{esf lb Xzl`ziffeb`![xzeb`cz& ^czai`! Albmlb! SO! x" ;;0&;39! 954:"
Kaizoc C"! Cfcz{lb C"! [e{}ai I"
Is}lfi}ek ~czeneki}elb ln nebe}c&{}i}c klbkszzcb} {u{}cf{ s{eb` }cfxlzia al`ek{xckeneki}elb{ "
IKF ]zib{" Xzl`zif" Aib`" [u{}"! ~la" 4! b¸ :! x" :==& :>;! 954>"
Jcz}dlfecs J"! Zejc} X"&L"! ^czmibi} N"
]dc }lla ]EBI & Klb{}zsk}elb ln Ij{}zik} [}i}c [xikc{ nlz Xc}ze Bc}{ ibm ]efc Xc}ze Bc}{"
Eb}czbi}elbia Glszbia ln Xzlmsk}elb Zc{cizkd! :88="
Nczbibmcw G"&K"! @izi~ca D"! Oczjzi} I"! Flsbecz A"! Fi}cc{ks Z"! [e`dezcibs F"
KIMX 7 I Xzl}lkla ^iaemi}elb ibm ^czeneki}elb ]llajlt"
KI^ ―5> 7 Xzlkccmeb`{ ln }dc 4}d Eb}czbi}elbia Klbnczcbkc lb Klfxs}cz Iemcm^czeneki}elb! [xzeb`cz&^czai`! Albmlb! SO! x" =;0&==8! 955>"
5/14/2018 Transformation UML to Fiacre Slide - slidepdf.com
http://slidepdf.com/reader/full/transformation-uml-to-fiacre-slide 17/18
Aiz{cb O" @"! Xc}}cz{{lb X"! Ue P"
SXXIIA eb i Bs}{dcaa "
Eb}czbi}elbia Glszbia lb [ln}pizc ]lla{ nlz ]ckdblal`u ]zib{ncz! ~la" 9! b¸ 9&:! x" 9;=&93:! 9550"
Jczbizm Jcz}dlfecs! Nzåmåzek Aib`"
Ac aib`i`c xe~l} i{ubkdzlbc Neikzc"
zåsbelb PX; ]lxki{cm & AII[ & ]lsals{c! 9; bl~cfjzc :880
Fitefc NZLFCB]EB"
Emcb}eneki}elb mc{ fåkibe{fc{ mc }zib{nlzfi}elb cb}zc SFA c} EN $^9%" 0 bl~cfjzc :884
Xdeaexxc MDIS[[U! ¯ Xas`eb SFA\}l\EN ¿! ~cz{elb 87 84,98,:884
Xdeaexxc MDIS[[U! ¯ Ai }zib{nlzfi}elb SFA ~cz{ EN Ji{c mc }zib{xizcb}{ ¿! ~cz{elbms :9 fie :883
Gsaecb IS^ZIU! Fåflezc mc xzlgc} mc neb m―å}smc{ ¯ ^iaemi}elb nlzfcaac mc flmäac{
SFA ¿! xzlfl}elb :880
Zånåzcbkc{
5/14/2018 Transformation UML to Fiacre Slide - slidepdf.com
http://slidepdf.com/reader/full/transformation-uml-to-fiacre-slide 18/18
Fitefc NZLFCB]EB"Emcb}eneki}elb mc{ fåkibe{fc{ mc }zib{nlzfi}elb cb}zc SFA c} EN $^=% ¿! ~cz{elb ms :>
nå~zecz :885
Dijiz} LAE^ECZ"Zixxlz} mc XNC ¯ Flmåae{i}elb c} ~iaemi}elb nlzfcaac{ mc xzlxzeå}å{ cb cb~ezlbbcfcb} ¿!:; gseaac} :88=
J" Jcz}dlfecs! X"&L" Zejc}! N" ^czbimi}! G" Jczbiz}}! G"&F" Nizebc{! G"&X" Jlmc~cet! F"Ne&aiae! @" Ximels! X" Fekdca! X" Niziea! X" @isneaac}! X" Me{{ist! ibm G"&A" Aifjcz}"
]lpizm{ }dc ~czeneki}elb ln zcia&}efc {u{}cf{ eb i~elbek{7 }dc Kl}zc ixxzlikd~lasfc 48 ln Cack}zlbek Bl}c{ eb ]dclzc}ekia Klfxs}cz [kecbkc! xi`c{ :89 ‛:9>"Ca{c~ecz! Gsbc :88;"
Dsjcz} @izi~ca ibm Nz½cm½czek Aib`"
B]EN7 I `cbczia {ufjlaek flmca nlz klffsbeki}eb` {cyscb}eia xzlkc{{c{ pe}d mi}i~lasfc :3:5 ln Ack}szc Bl}c{ eb Klfxs}cz [kecbkc! xi`c{ :0> ‛:59" [xzeb`cz ^czai`!Bl~cfjcz :88:"
Xdeaexxc Mdis{{u! Gcib&Kdizac{ Zl`cz! ¯ LJXc $LJX Ctxalzcz% Mlksfcb} ¿
Zånåzcbkc{