Transformation UML to Fiacre Slide

18
 Tr`osiera`tkeo db aedèlbs RAL vbrs premr`aabs Ik`crb HBOM Seth`rkth hbom.seth`rkthNma`kl.cea >3 iëvrkbr :>0: Boc`dr`ot7 ^hklkppb DH@RSS[ phklkppb.dh`ussyNbost`-jrbt`mob.ir  

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 of Transformation UML to Fiacre Slide

Page 1: Transformation UML to Fiacre Slide

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  

Page 2: Transformation UML to Fiacre Slide

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;

Page 3: Transformation UML to Fiacre Slide

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 

Page 4: Transformation UML to Fiacre Slide

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 

Page 5: Transformation UML to Fiacre Slide

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 

Page 6: Transformation UML to Fiacre Slide

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 

Page 7: Transformation UML to Fiacre Slide

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 

Page 8: Transformation UML to Fiacre Slide

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 

Page 9: Transformation UML to Fiacre Slide

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;

Page 10: Transformation UML to Fiacre Slide

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 

Page 11: Transformation UML to Fiacre Slide

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;

Page 12: Transformation UML to Fiacre Slide

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;

Page 13: Transformation UML to Fiacre Slide

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;

Page 14: Transformation UML to Fiacre Slide

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;

Page 15: Transformation UML to Fiacre Slide

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{<

Page 16: Transformation UML to Fiacre Slide

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>"

Page 17: Transformation UML to Fiacre Slide

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{

Page 18: Transformation UML to Fiacre Slide

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{