UML. Mise à Niveau UML (Unified Modeling Language) Plan. L Electricien et l Informaticien. 1 - Introduction. Plan. Automotive industry: Volkswagen

Transcription

1 M à Nv UML (Unfd Modlng Lngg) P. Jn-Mc Jézéql IRISA - Unv. Rnn I Cmp d Bl F Rnn Cdx Tl Fx ml jzql@.f hp// Pln Inodcon D cod x modèl Poqo UML? L hoq E cl UML po l l Dn l pq modélon lon 4 pon d v pncpx Von l d yèm Apc q d yèm Apc dynmq d yèm (compomnl) Dgmm d éqnc (céno) Dgmm d collboon (n obj) Dgmm d é-non (Hl) Dgmm d cvé Von mplnon Dgmm d compon d déplomn Qo d nf po UML 2.x Conclon 4 L Elccn l Infomcn Un poblèm, d bon - Inodcon Un compon vl (d né d o) D po AND, OR, NOR, UML L ngén d logcl jod h Un chém élcq L compon élcq L pogmm nfomq 2 5 Pln Inodcon D cod x modèl Poqo UML? L hoq E cl UML po l l Dn l pq modélon lon 4 pon d v pncpx Von l d yèm C d lon B Avncé Apc q d yèm Dcpon d donné d l lon B Avncé OCL Scon n pqg Apc dynmq d yèm (compomnl) Von mplnon Qo d nf po UML 2.x Conclon 3 Aomov ndy Volkwgn 6

2 Googl L'nd logcll jod'h v ép dn n vngn d dcn. Un phénoménl cpcé d clcl q pm à Googl d' l fonconnmn d'n gnd nomb d vc Googl Eh épond à pl d' mlld d qê p jo, h 8 ll d d W b 7 chc componn dvlop componn mbl pplcon mddlw povd ool vndo nddzon ognzon dmno nd 5 Nok L'nd logcll jod'h, mlld d éléphon pobl n cclon 00 mllon d pl p n D mll d von d logcl Tm-o-mk ~ 3 mo 8 chc componn dvlop mbl mddlw povd D nombx c d péoccpon dffén d mé dffén d compénc vé d ol vé dffén élémn logcl Sépon d péoccpon ool componn pplcon vndo nddzon ognzon dmno nd 6 D logcl complx... Logcl d gnd ll d mllon d lgn d cod d éqp nomb dé d v mpon d lgn d pod plfom chnologq complx évolon conn Logcl complx Logcl cq... Sépon d péoccpon Pon d v d pomo Pon d v d pomp Pon d v d cd Pon d v d Pon d v d no yèm Pon d v d chc Pon d v d loc Pon d v d plomb Pon d v d élccn Pon d v d pyg 9 7 2

3 Cln RDLAgn ConlSonComp FUnVmn DbDBll Ajo DBll A LMnnnc Tnpo DBll Tchncn Sépon d péoccpon Ul mêm po d yèm "mon" complx Pon d v d cd Pon d v d l' chc Pon d v d popé yèm Pon d v d plomb Pon d v d mçon Pon d v d l' élccn Ingén Dgé p l Cod o Ingén Dgé p l Modèl? Tll l qon Poblémq Complxé con d logcl Sépon d péoccpon Sépon d mé Mlplcé d bon Mlplcé d plfom Évolon pmnn Logcl = Cod? E-c l olon? MDO C co mon commn à p d l noon UML l pobl d défn n cn nomb d modèl pl o mon b pl o mon élboé m décvn o n fc complémn d yèm à él lon n pon d v o n mé dffén. L ccn m l ègl d cohénc n n-modèl, n q l dffénc q p ê f n modèl concpl, d pécfcon d mplémnon modèl mé modèl chnq modèl pod modèl d poc Mlpl modèl d'n mêm yèm modèl po l pomo Comp Bnq.. Cln nméo l nméo old nom gn Conom CBl Cod Mx AccpéP> 0.. Db.. c néé En n En n d cod c é mv cod cod fppé En n c En véfcon cod bon modèl po l pomp modèl po l plomb monn ncoc En n d monn monn coc bll é En dbon modèl po l cd modèl po l élccn yèm modèl po l' cd yèm modèl po l pyg pl l db. l c d P. l v l bnq l comp d P. 500 f l n comp 500 f l comp n déb 500 f confm l v 6 o 5 bll d 00 f 500 f f comp n l db l bnq 5 confm pl 2 l n d comp 4 déb(500) modèl po l no modèl po l chc 20 pnd l c o 5 bll d 00 f l c d P. l comp d pl 23 3

4 Synhè Top d Méhod D Modèl plô q d Cod Un modèl l mplfcon/bcon d n pc d l élé No conon donc d modèl fn d mx compnd l yèm q no dévloppon No modélon d yèm complx pc q no omm ncpbl d l compnd dn l olé L cod n pm p d mplf/b l élé En l nomb d méhod oné obj pé d 0 à pl d 50 To l méhod vn pon d énom pon commn (obj, méhod, pmè, ) A ml d nné 90, G. Booch, I. Jcobon J. Rmbgh on chcn commncé à dop l dé d. L 3 on ohé cé n lngg d modélon nfé Poqo UML? Génélog d UML UML (Rmbgh, Booch, Jcobon) OOA (P. Cod) U-C (I.Jcobon) OOA - OODLE (Schl & Mllo) JSD (M. Jckon) D-Flow SADT/SA-SD (D Mco) OMT (J. Rmbgh l.) Dgmm E-Tnon (HAREL) OOA-OOD (G.Booch) FUSION (HP-Lb) En-Rlon M (Chn) CLASSE- RELATION (P. Dfy) CRC (R. Wf-Book) D Méhod d modélon L ppon d pdgm obj à pm l nnc d pl méhod d modélon OMT, OOSE, Booch, Fon, Chcn d c méhod fon n noon gphq d ègl po élbo l modèl Cn méhod on ollé Défnon n co p n common d évon Somon à l OMG Snddon p l OMG Somon à l OMG Somon à l OMG Von bê OOPSLA 96 OOPSLA 95 Hoq UML.0 UML 0.9 Méhod nfé 0.8 UML.2 UML. UML.x UML Jn 998 Novmb 997 Spmb 997 Jnv 997 Jn 996 Ocob 995 Booch 93 OMT-2 A méhod Booch 9 OMT- OOSE Pn

5 Ajod h UML l lngg d modélon oné obj l pl conn l pl lé mond UML pplq à pl domn OO, RT, Dploymn, Rqmn, UML n p n méhod RUP P d l connn l ndd, l on n von ollé d UML (Von Ul) 5% fo compéhnon, 45% fbl compéhnon, 50% cn compéhnon UML fomn cqé c p z foml L mché UML mpon ccoî MDA MDD, UML2., IBM ché Ronl!!! 4 L conécon d méhod fondé l modélon L ppoch p modélon fcl Commncon ( pécon) vc donn d od n dffén ph d dévloppmn d mnnnc Cpcé d véfcon Cohénc Compléd Conné n l dffén ph d cycl d v cf. Jckon JSD N.B. conné <> omophq o plongmn/pojcon 44 3 UML po l l Un p d Méhodolog... Un méhod d dévloppmn d logcl, c Un noon L ynx --- gphq dn l c d UML Un mé-modèl L émnq --- pmébl dn UML (ééoyp) Un poc Dél dépndn d domn d cvé Infomq d gon Syèm écf mp-él Shnk-wp ofw (PC) UML Poqo Réfléch Défn l c «go gn» Docmn Gd l dévloppmn Dévlopp, T, Ad Poc d dévloppmn vc UML Appoch év, ncémnl, dgé p l c d lon Expon d bon Anly Elboon d n modèl «dél» Concpon pg d modèl dél mond él Rélon Vldon

6 A CU CU4 CU5 S CU2 CU3 A3 A2 Modélon UML Expon d bon OOAD Modélon lon 4 pon d v pncpx Von l d yèm C d lon Apc q d yèm Dcpon d donné d l lon Scon n pqg Apc dynmq d yèm (compomnl) Dgmm d éqnc (céno) Dgmm d collboon (n obj) Dgmm d é-non (Hl) Dgmm d cvé Von mplnon Dgmm d compon d déplomn Sj longmp néglgé (.g. OMT) Qon d l'xpon d bon pon fondmnl E ovn p fcl (cbl movn) cf. yndom d l blnço Objc-Ond Sofw Engnng (Iv Jcobon l.) Pncpl ppo l chnq d c d c d'lon C chnq négé UML Modélon UML Q objcf Modélon lon 4 pon d v pncpx Von l d yèm C d lon Apc q d yèm Dcpon d donné d l lon OCL Scon n pqg Apc dynmq d yèm (compomnl) Dgmm d éqnc (céno) Dgmm d collboon (n obj) Dgmm d é-non (Hl) Dgmm d cvé Von mplnon Dgmm d compon d déplomn S compnd Rpén l yèm Expm l vc nd Déc l mnè don l yèm pç 48 5 U c Modèl d c d lon B modél l pon d v d l défn l lm péc d yèm Noon è mpl, compéhnbl p o, y comp l cln Concp d b Pm d c l bon (ch d chg) l d dévloppmn 49 Modél commnconnl 52 6

7 A CU CU4 CU5 S CU2 CU3 A3 A2 Modèl d c d lon Dgmm d c d lon Moyn CéUnComp L c UML ConlUnComp Cln L -c UML Gch DpoDLAgn SUnComp RDLAgnA Db Ulon d n dconn d domn RDLAgn DUnComp Syèm bnc GLP Dc Exmpl d c d lon Modèl d c d lon Cln RDLAgnA Db Bnq Cnl PoDC En DébloqLPo Cp AIncnd ConlSonComp So RL CAvlé Tnpo DBll Ajo DBll A LMnnnc Tchncn Gdn LL TnvDFd GéLC Admn DbDBll SyèmDConôlDAcc Dgmm d c d lon Modèl d c d lon Cln RDLAgnA Db Dgmm d c d lon Tnpo DBll ConlSonComp Ajo DBll RL CAvlé A LMnnnc Tchncn Modèl d c d lon dcpon xll, dgmm d c d'lon dgmm d éqnc Dconn d donné... DbDBll

8 Modèl "commnconnl" CDUlonX C d lon (CU) Modèl nfoml cné l Avn o o fom xll Dgmm lé po l énon d "bnomng" po mplf l commncon po c l docmn po c l dévloppmn C d lon (CU) n mnè d l l yèm n d ncon n n c l yèm Copond à n foncon d yèm vbl p l c Pm à n c d nd n b Do ê l n o Rgop n nmbl d cén copondn à n mêm b Dgmm = pln d docmn En EngEné RDLAgnA Db SIdnf EnPndn LHDOv TpSonCod 6 64 Lngg p fomlé SyèmX L yèm Modèl d c d'lon p nddé p UML Dffén yl Dffén npéon Modèl con p ffnmn ccf conn gndn P d fomlm, bcop d bon n d commncon 62 L yèm modélé p n nmbl d c d lon v comm n boî no L yèm conn l c d lon, m p l c. Un modèl d c d lon pm d défn l foncon nll d yèm, l lm d yèm, l yèm p ppo à on nvonnmn, délm l cd d poj! DbDBll SymDConolDAcc SymDSécéIncnd 65 Elmn d b Cln Ac Ac C d'lon Syèm Un Ac = élémn xn q ng vc l yèm (pnd d décon, d nv. Il "cf".) ôl q n "l" jo p ppo yèm PoDC Gdn Admn Cp AIncnd

9 Cln Ac v. l N p confond l noon d'ac d ponn ln l yèm Un mêm ponn p jo pl ôl x Mc dc m p jo l ôl d gch Pl ponn pvn jo n mêm ôl x Pl P on dx cln Un ôl p ppo yèm plô q poon dn l'ognon x PoDC plô q'engnn Un c n p focémn n ê hmn x n db d bll p ê v comm n c 67 CDUlonX Dcpon pélmn d c d lon Po chq c d lon cho n dnfc pénf no d yl cho n fom vbl décvn n con l'c génélmn l j dnfcon conc m péc év l connc (, o, p,...) m povnn n q pobl d mé l p xmpl l yl MjMn m généq comm "Gé" n c d bon Gé = Cé, Sppm, Ajo, Modf,... Exmpl GéLDo 74 Dffén noon pobl CDUlonX Dcpon pélmn d c d lon Noon lnv po l c <<co>> PoDC PoDC PoDC Po chq c d lon cho n dnfc pénf donn n dcpon xll mpl l foncon élé do ê comp d o péc c q f l yèm, c q f l c p op d dél, concn l céno "noml" No d yl l plo l ééoyp <<co>> po l c non hmn PoDC <<co>> CpAIncnd <<co>> SyèmBnc 68 R DLAgn ADb Loq n cln bon d lqd l p n ln n db d l gn d on comp. Po cl -l cln nè c bnc dn l db -l yèm dmnd l cod po l dnf -l cln cho l monn d -l yèm véf q l y ffmmn d gn - c l c, l yèm db l bll déb l comp d cln -l cln pnd l bll c 75 Cln Dffén yp d c L po n p obl d'c Ul pncpx x cln, gch Ul cond x conôl, dc, ngén yèm, dmn... Péphéq xn x n cp, n holog xn,... Syèm xn x yèm bnc 69 Anon "A common gn of novc (o cdmc) c modl poccpon wh c dgm nd c lonhp, h hn wng x.... U c dgm nd c lonhp condy n c wok. U c x docmn. Dong c wok mn o w x." [Applyng UML nd Pn, Cg Lmn] 76 9

10 Rlon n élémn d b Rlon l -c??? Ulon («ncld» / ) Ulon d -c po n péc l défnon Rlon c <-> c d'lon? Rlon c <-> c? Rlon c d'lon <-> c d'lon? Exnon («xnd» / «xnd») Un -c énd n péclon d -c pè Rlon c - c d'lon Cln RDLAgn ADb Rlon l -c noon «ncld» Commnd «xnd» Commnd échnllon Pon d v bon Répén l poblé d'nd n b Pon d v yèm Rpén n cnl d commncon Echng d mg, ponllmn dn l dx n Poocol pcl concnn l c d'lon condéé L donné cln «ncld» Sélconn pod «ncld» Ogn pmn Cln RDLAgn ADb 78 8 Rlon c d'lon - c d'lon Expm l vc nd Commncon nn non modélé. UML concn l dcpon d yèm d ncon vc l'xé Cln RDLAgn Bon fondmnx mnè d'l l yèm Rpénon globl p c d'lon ll d yèm, lmn d 3 à 0 U C Fomlm bn op pv po déc l'né d yèm. Ul l modèl UML po cl. A lon pobl n CU (ld vn) Dc ConlLSold Syèm Bnc Bon opéonnl ncon vc l yèm Rpénon déllé p ffnmn d c d'lon Déb d décompoon fonconnll n p ll op lon

11 Bon fondmnx opéonnl Bon fondmnl Cond n vo Bon opéonnl Ov l po M l conc Accélé Ton l voln... «ncld» {opéonnl} ov l po {opéonnl} m l conc {fondmnl} cond n vo {fondmnl} cond n vo «ncld» {opéonnl} on l voln «ncld» {opéonnl} ccélé «ncld» Ro l lon d commncon Cln RDLAgn ADb Aocon c/cu v comm n cnl d commncon Déc l compomn d yèm v d l'xé Echng d mg 83 Cln RDLAgn ADb 86 Rlon d commncon c-c Dcpon d l'ncon Commncon xn non modélé ConlSonComp Cln RDLAgn ADb UML concn l dcpon d yèm d ncon vc l'xé Cln RDLAgn ADb Dcpon v d dgmm d éqnc "yèm" RDLAgn PChèq Gch Syèm Bnc 84 Pl d dn l co Rlon c - c génélon L l lon n c l lon d génélon Lm d yèm nfc Lm d yèm nfc d commncon c hmn nfc homm yèm c logcl nfc logcll (.g. API) CéUnComp Gch CéUnComp FmUnComp Gch FmUnComp RDLAgn DUnComp Cln RDLAgnA Db ConlSonComp <<co>> SyèmBnc RDLAgn DUnComp Gch EnChf AnnlUnComp Tchncn RL CAvlé DbDBll AnnlUnComp Gch EnChf 85 88

12 Infc hommyèm Cln Tchncn RDLAgnA Db ConlSonComp RL CAvlé DbDBll <?xml von=".0"?> <xchm xmlnx="xmlschm"> <xlmn nm="no"> <xcomplxtyp> <xqnc> <xlmn nm="o" yp="xng"/> <xlmn nm="fom" yp="xng"/> <xlmn nm="hdng" yp="xng"/> <xlmn nm="body" yp="xng"/> </xqnc> </xcomplxtyp> </xlmn> </xchm> <<co>> SyèmBnc Infc yèmyèm Dcpon (p l ) dn l docmn d pécfcon xn 89 L Poc Unfé () Défn l modèl d c d lon (.) Tov l c (.2) Déc bèvmn chq c (.3) Tov l c d lon (.4) Déc bèvmn chq c d lon (.5) Déc l modèl comm n o (2) Défn d poé l q n CU 92 Modèl pélmn d c d lon Conclon Eqvln à défn n bl d mè Pm d vo n von globl d yèm Qlq npn Déco l dgmm po péc d poé MUST, SHOULD, MAY po péc d q po péc d cè qlé lblé po Exmpl d dgmm d CU décoé { 2/03/02 } { MUST } ATTENTION CéUnComp { 25/2/02 } Gch { SHOULD } { 0/0/02 } ConlUnComp { 20/03/02 } { SHOULD } { MUST } RDLAgnA Db DpoDLAgn SUnComp { 0/2/02 } { 2/05/02 } { MAY } { MUST } GLP RDLAgn DUnComp Cln Dc "Conglon U C Hv Bn Wn, nd A Impfc" [Applyng UML nd Pn, Cg Lmn] Syèm bnc

13 Modèl pélmn d c d lon Éqvln à défn n bl d mè d émé po chq chp P d ègl c Effc l mll gopmn pobl R mpl! Scon pobl n m d pqg Cl d'np Sblon d modèl p conn gndn29 Modélon UML Modélon lon 4 pon d v pncpx Von l d yèm C d lon Apc q d yèm Dcpon d donné d l lon OCL Scon n pqg Apc dynmq d yèm (compomnl) Dgmm d éqnc (céno) Dgmm d collboon (n obj) Dgmm d é-non (Hl) Dgmm d cvé Von mplnon Dgmm d compon d déplomn 34 Po n vo n pl... Cl Obj Chp g éléchgbl à hp// Concp d b Po n mpl "ndd" d dcpon d c d'lon hp//l.cockbn./c/cmpl.hm Po n vo nco pl... Noon po l cl D lv péclé Comp nméo n old él décovmx n conlsold() n céd( omm n) déb( omm n) { nv old > décovmx } Nom d l cl Ab nom yp Opéon nom pmè yp d él Conn

14 M Comp Comp Noon mplfé po l cl Comp nméo old... Comp céd() déb()... Comp nméo old... céd() déb()... Comp nméo old él décovmx n conlsold() n céd( omm n) déb( omm ) Ln (n obj) Un ln ndq n connxon n dx obj pl Cln p Cln m Cln APoComp APoComp APoComp c Comp c2 Comp c3 Comp No d yl l nom d cl commncn p n mjcl l nom d b d méhod commncn p n mncl 38 No d yl l nom d ln on d fom vbl commncn p n mjcl ndq l n d l lc (x «pl APoComp c») 4 Noon po l obj Conn l ln M0 lcompdpl lcompdpl Comp A mxmm n ln d'n yp donné n dx obj donné Comp lcompdpl Comp nméo = 6688 old = 5000 décovmx = -00 joph Ponn APoEpo APoEpo m Ponn Convnon l nom d obj commncn p n mncl on olgné Cl v. Obj Un cl pécf l c l compomn d'n nmbl d'obj d mêm n L c d'n cl conn M M0 D obj pvn ê joé o dé pndn l xécon L vl d b d obj p chng lcompdmcomp nméo = 2275 old = 0000 décovmx = -000 Comp nméo old él décovmx n conlsold() n céd( omm n) déb( omm ) Comp nméo = 200 old = 50 décovmx = 0 lcompdpl Comp nméo = 6688 old = 5000 décovmx = -00 Dgmm d cl Dgmm d obj Conn l ln A mxmm n ln d'n yp donné n dx obj donné joph Ponn APoEpo APoEpo m Ponn EEnfnD mdln Ponn EGdP joé Ponn EEnfnD OK Conn mpon po compnd l "cl ocv" () Conn povn ê lché v {nonnq} n UML vo pl lon l concp vncé

15 Cln pl Cln p Cln m Cln APoComp> APoComp> APoComp> APoComp> Comp c Comp c2 Comp c3 Comp Rôl Chcn d dx obj jo n ôl dffèn dn l ln APoComp p Cln c Comp l comp Aocon v. Ln Un ln l dx obj Un ocon l dx cl cl M M0 obj Un ln n nnc d ocon Un ocon déc n nmbl d ln ocon ln No d yl cho n gop nomnl po dégn n ôl n nom d ôl om, l nom d l cl f offc d nom 44 D ln pvn ê joé o dé pndn l xécon, (c n p l c d ocon) L m "lon" n f p p d vocbl UML 47 R 3 nom po concp lon dffén lon l conx g f R b b"jo l ol d" f "po" "jo l ol d" g "po" b b p Cln APoComp l comp c Comp p po comp c cjo l ol d comp po p p jo l ol d l po c Cln l M M0 pl.comp = {c} p.comp = {c2,c3} m.comp = { } c.l = pl c2.l = p c3.l = p Ul l ôl po «nvg» APoComp pl Cln p Cln m Cln l l l comp APoComp> APoComp> APoComp> Comp comp comp comp c Comp c2 Comp c3 Comp Nomm n poé l ôl M M0 Cln pl Cln Aocon (n cl) Un ocon déc n nmbl d ln d mêm "émnq" p Cln l APoComp APoComp> APoComp> APoComp> comp Comp c Comp c2 Comp Dgmm d cl (modèlon) Dgmm d obj (xmpl) Cdnlé d n ocon Péc combn d obj pvn ê lé à n l obj oc Cdnlé mnml cdnlé mxml ( C mn..c mx ) Dovn ê d conn APoComp 0.. Cln Comp l comp M M0 «To cln ojo 0 o pl comp» «To comp ojo l l» pl Cln p Cln APoComp> APoComp> APoComp> c Comp c2 Comp m Cln c3 Comp m Cln c3 Comp

16 > Cln Conom Cln Cln Comp Cln l gn l l > > Comp Comp Bn q Bn q Db Bn q Db Con om > Cln Conom Cln Cln Comp Cln l > > Comp Comp Bn q Bn q Db Conom Cln Comp Cln l Cln gn Cln Conom > > > Comp Comp l Cod Mx CBl Bn q Bn q g n pl Cln p Cln Con o m Db m Cln g n oph Cln l l l l B n q B n q D b nméo old... Comp Conom E Ac c pép> C Bl C Bl.... c Comp c2 Comp c3 Comp E A ccp ép > E A ccp ép > c Comp c 2 Comp c3 Comp E A ccp ép > E A ccp ép > nméo nom Db Bnq B n q D b C Bl C Bl B n q l l l l Con o m g n pl Cln p Cln m Cln g n oph Cln Conom 0.. Conn n ocon Cln lpncpl co-l /l 0.. L cdnlé on lon d'ê ffn po xpm o l conn... Comp nméo old... Dgmm d cl v. d obj Un dgmm d cl défn l nmbl d o l é pobl l conn dovn ojo ê véfé Un dgmm d obj déc n é pobl à n nn, n c pcl do ê confom modèl d cl déc l conn n lng nll (o n OCL) () Un cln n p p ê à l fo l pncpl co-l d n mêm comp. (2) L l d n comp on l l pncpl l co-l l c échén L dgmm d obj pvn ê lé po xplq n dgmm d cl (donn n xmpl) vld n dgmm d cl (l "") Dgmm d cl Dgmm d cl v. d obj Cln gn l CBl Cod Mx Comp nméo old... EAccpéP>.... Bnq nméo nom Db Conom 0.. M M0 l Cln gn l CBl Cod Mx l Comp nméo old..... EAccpéP>.. Bnq nméo nom Db l Conom Dgmm d obj Génélon / Spéclon CBl EAccpéP> Db Un cl p ê l génélon d n o pl cl. C cl on lo d péclon d c cl. gn fd Cln l CBl c4 Comp Bnq Conom Ponn "Sp cl" C génél Comp M0 gn pl Cln l c Comp Bnq p Cln m Cln l l l c2 Comp c3 Comp Bnq Conom Homm Fmm "So cl" C pécfq Comp Epgn gn oph Cln CBl EAccpéP> EAccpéP> Db Dx pon d v lé (n UML) lon d'hég lon d o-ypg

17 Comp old céd() déb() CompEpgn xinéê joinéê () Rlon d'hég L o-cl «hén» d popéé d p-cl (b, méhod, ocon, conn) Bnq {nv old > -5000} {nv xinéê < 00} CompEpgn old xinéê céd() déb() clclinéê () {nv old > xinéê < 00} Bnq M M0 Synhè d concp d b Cl b méhod o o2 Aocon ôl cdnlé o o2 o3 o4 o5 Hég Obj Ln Inclon nmbl o2 o o Rlon d'hég défnon Un opéon p ê "défn" dn l o-cl Comp old céd() déb() Cl Obj Pm d'oc d méhod pécfq à chq po él n mêm opéon CompEpgn céd() déb() joinéê () Ulon vncé PEL céd() déb() joinéê () PEC déb() PET déb() 6 64 Rlon d o ypg, Von nmbl Comp UML?... n qon d yl d conx o obj d n o-cl ppn églmn à l pcl M M0 Comp c c2 Comp Epgn c3 CompEpgn c3 c4 c4 c c2 62 S'dp... nv d'bcon domn d'pplcon x ol lé x vn gnon ngén v. o-ngén 65 7

18 + # - Vblé d élémn Rnd l'ccé x élémn d'n modèl Conôl év l dépndnc n cl pqg + pblc vbl # poégé vbl dn l cl o-cl - pvé vbl dn l cl nqmn ~ pckg vbl dn l pckg nqmn Ul lo d l concpon d l'mplémnon, p vn! N' p d n dn n modèl concpl (b) N'l q loq néc L émnq xc dépnd d lngg d pogmmon! 66 Ab dévé Ab don l vl p ê déd d élémn d modèl.g. âg l on connî l d d nnc noon /g En m d nly, ndq lmn n conn n vl non n ndcon d c q do ê clclé c q do ê mémoé 69 Déclon d'b [/] [ vblé ] nom [ yp ] [cd od] [ = vl-nl ] [ { pop... } ] xmpl g +g /g - old Ing = 0 # g Ing [0..] # nmc Ing {fozn} # moclé Sng [] {ddonly} nbponn Ing Adp l nv d dél nv d'bcon 67 Rpénon d nvn D conn pvn ê joé x élémn d modèl UML noon n { } Invn = Popéé v po l'nmbl d nnc d l cl dn n é bl, chq nnc do véf l nvn d cl xpmé à l d d OCL Objc Conn Lngg.g. {old >= plnch} Comp {old>=plnch} old Somm plnch Somm céd (Somm) déb (Somm) 70 Déclon d'opéon [/] [ vblé ] nom [ ( pm ) ] [ yp ] [ { pop... } ] pm = [ n o no ] nom [ yp] [ =df ] [{ pop... } ] /gag() + gag() Ing - pdag( n d D ) Booln # gnm() Sng [0..] +gag() Ing {Qy} +ddpojc() { concncy = qnl } +ddpojc() { concncy = concn } +mn( n g Sng [] {odd} ) Adp l nv d dél nv d'bcon 68 Rpénon d pé/po condon Pécondon {«pcondon» xpon boolénn OCL} Abégé n {p xpon boolénn OCL} Pocondon {«pocondon» xpon boolénn OCL} Abégé n {po xpon boolénn OCL} Op «vl pécédn» (dm old Effl) xpon 7 8

19 E b péc vc UML old Somm plnch Somm Comp {old>=plnch} Nvgon Aocon ndconnll On n p nvg q dn n n UML2.0 céd (monn Somm) {p monn > 0} {po old = + monn} déb ( Somm) {p monn > 0 nd monn<=old-plnch} {po old = - monn} Cln l Comp Anly péc o nly p con 72 A po, q dn l dgmm d pécfcon d'mplémnon En c d do, n p m d flêch!!! 75 Enméon Compoon Défnon <<nmon>> Jo Lnd Md Mcd Jd Vndd Smd Dmnch <<nmon>> T Sc Pdn To VcPdn Mmb Ulon Noon nv d "compon" d "compo" Vo 4 Ro Pn Jn Aocon90 nom Sng jodrnon Jo compoon = c pcl d ocon + conn décvn l noon d "compon" Rffnmn d concp d'ocon Aocon n/b dconnll Compoon Aggégon {fozn}, {ddonly}, {odd}, {nonnq} Cl ocv Aocon qlfé 74 Compoon Conn lé à l compoon. Un obj compon n p ê q dn l obj compo 2. Un obj compon n x p n on obj compo 3. S n obj compo dé, compon Vo Ro Dépnd d l on modélé! (Ex vn d vo v. c) 4 Pn Jn 77 9

20 Compoon Cl ocon dcon M M0 Docmn docmn.... Chp chp chp fg con con fg con Scon Fg Conn l gph d'obj fom n b (o n foê) Tnfomon yèmq po vn x concp d b A A ol() cd olb() cdb ol c() c() olb C cdb cd Il n p y vo q'n obj C n n obj A n obj B donné C B B Cl ocon Po oc d b /o d méhod x ocon => cl ocon Cl ocon dcon Ponn mployé océé 0..2 Socéé Emplo Ponn mployé océé 0..2 Emplo l gmn() Socéé L nom d l cl copond nom d l ocon (poblèm l f cho n fom nomnl fom vbl) 86 mplo mplo mployé océé Ponn Emplo Socéé 0..2 Il n p y vo q'n Emplo n n Ponn n Socéé 9 Cl ocon Aocon qlfé M Ponn mployé océé 0..2 Emplo l gmn() Socéé Un qlf n b (o n nmbl d'b) don l vl à démn l'nmbl d nnc océ à n nnc v n ocon. Rpo nom 0.. Fch M0 mployé jn m l = l = 700 mployé 3 l = 000 mployé xox jf L l n nfomon copondn n à n ponn, n à n océé, m à n mplo (n copl ponn-océé). "Po n épo, à n nom donné on oc q'n fch (o 0 'l x cn fch d c nom dn c épo)." Copond à l noon nv d'ndx bn c-do Rpo Fch

21 Exmpl Synhè l ocon Aocon90 T mmb 0.. Ponn <<nmon>> T Sc Pdn To Nom d ôl n d lc Nom d ocon Cdnlé To Pdn Sc mmb mmb fd ylv hmd jo ClA x ng Compoon (o gggon ) ola <AoconX 0.. ClB {fozn} AoconX bz Nvgon 2 Pdn Conn Cl ocv Cdnlé d Aocon Qlfé C clq cdnlé 0.. Bnq Bnq nc 0.. Comp C pl cdnlé (p d conn pclè xpmé) Echq nl NmLgn nc NmCol Employ C pl cdnlé (génélmn c' n ) 0 comm cdnlé mnml, f l domn d l'b qlf fn o l vl on n mg. C 204 Modélon UML Modélon lon 4 pon d v pncpx Von l d yèm C d lon Apc q d yèm Dcpon d donné d l lon OCL Scon n pqg Apc dynmq d yèm (compomnl) Dgmm d éqnc (céno) Dgmm d collboon (n obj) Dgmm d é-non (Hl) Dgmm d cvé Von mplnon Dgmm d compon d déplomn 287 Conn pédéfn l ocon P xmpl { odd } l élémn d l collcon on odonné { nonunq } épéon pobl (UML2.0) { fozn } fxé lo d l céon d l obj, n p p chng { ddonly } mpobl d ppm n élémn RlvéD Comp lgn {odd,ddonly} Il pobl d défn d novll conn Lgn Opéon 208 Noon d pckg Élémn cn l cl Modlon à l'échll pé Un pckg ponn l'pplcon Il éfénc o compo d cl d l pplcon Il éfénc o compo d pckg Un pckg églmn l vblé d cl d pckg q l éfénc o l compo L pckg on lé n x p d ln d'lon, d compoon d génélon Un pckg l pénon nfomq d conx d défnon d n cl 288 2

22 Rpénon d n pckg V gphq xn V gphq xn nn P P C C2 P2 P3 Ulon n pckg Défnon Il y lon n pckg d cl d pckg l ccèdn à d cl d pckg lé Po q n cl d n pckg p p l n cl d n pckg p2, l do y vo pélbl n déclon xplc d l lon d pckg p2 p l pckg p Rpénon gphq P P2 289 V xn d pckg P 292 Ponnmn d n pplcon Défnon d v pll d'n pplcon Ulon n pckg Exmpl (v xn d pckg lvon) SYNTHÈSE EN PACKAGES LIVRAISONS LIVREURS ENSEMBLE DES CLASSES DE L'APPLICATION VEHICULES COLIS N.B. n cl ppn à n n l pckg Vblé dn n pckg Réglmnon d l vblé d cl Cl d vblé pblq cl lbl p d cl d pckg Cl d vblé pvé cl lbl lmn n d n pckg Rpénon gphq Sééoyp d pckg Sééoyp «globl» «globl» A {pblc } Cl {pv } PckgCl To l pckg d yèm on n dépndnc vc c yèm N p b d c ééoyp ;) CLASSE D'INTERFACE CLASSE DE CORPS CLASSE EXTERNE

23 Hég n pckg Pckg pécfq B do ê confom à l nfc d pckg A Inéê bon A Scon p pckg (v) décompoon héchq Po l gnd yèm, l néc d dpo d n né d con À n nv pé, Pl opl q L compoon d cl L éfénçg d pckg B C => domn d con Pckg décompobl n pckg Hég n pckg Exmpl JPl Exmpl Pckg np Exmpl d compoon ENTREPRISE JDm JEchc Wndowng Sym COMPTABILITÉ COMMERCIAL Mof McoofWndow LIVRAISON Ulé d pckg Répon bon Conx d défnon d'n cl Uné d con Uné d'ncplon Uné d'négon Uné d élon Uné d confgon Uné d podcon Exmpl Pckg np Enmbl d pckg mnx d l pplcon Fcon Bln Tn Comp Lvon Clnèl Commcx Col Véhcl Lv Ponnl

24 Exmpl Pckg np Compoon d pckg n o-pckg Collboon ( nv nnc) ENTREPRISE COMPTABILITÉ LIVRAISONS Fcon Bln Lvon Véhcl Tn Comp Ponnl Col Lv COMMERCIAL Clnèl Commcx 30 Slon T. Rnkg Modélon UML Modélon lon 4 pon d v pncpx Von l d yèm C d lon Apc q d yèm Dcpon d donné d l lon OCL Scon n pqg Apc dynmq d yèm (compomnl) Dgmm d éqnc (céno) Dgmm d collboon (n obj) Dgmm d é-non (Hl) Dgmm d cvé Von mplnon Dgmm d compon d déplomn 302 Modélon UML Modélon lon 4 pon d v pncpx Von l d yèm C d lon Apc q d yèm Dcpon d donné d l lon OCL Scon n pqg Apc dynmq d yèm (compomnl) Dgmm d éqnc (céno) Dgmm d collboon (n obj) Dgmm d é-non (Hl) Dgmm d cvé Von mplnon Dgmm d compon d déplomn 305 Apc dynmq d yèm Dgmm d éqnc (céno) Jq c, yèm déc qmn Décvn l mg (méhod o opéon) q l nnc d cl pvn cvo m n décvn p l émon d c mg N monn p l ln n c échng d mg l poc généx q l pplcon do él Il f mnnn déc commn l yèm évol dn l mp On focl d bod l collboon n obj. Rppl obj mpl gon complxé p collboon n obj mpl 303 Rpénon d ncon n c obj Von mpoll d n ncon Chq obj ymbolé p n b vcl L mp 'écol d h n b, d o q l nméoon d mg oponnll. Dgmm dl d dgmm d collboon Sovn lé po pén n nnc d c d lon D mnè pl génél, pénon mpoll d n ncon Bn dpé po d long éqnc N vl p l ln Complémn d dgmm d collboon

25 Dgmm d éqnc (céno) Lgn d v cvon Dévé d céno d OMT Monn d xmpl d coopéon n obj dn l élon d poc d l pplcon Illn l dynmq d nchînmn d mn à v l mg échngé n obj l mp péné comm n dmnon xplc n génél d h n b L élémn conf d n céno on Un nmbl d obj (/o d c) Un mg n d céno L chonolog d mg échngé béqmn L conn d mp (pc mp él) L «lgn d v» pén l xnc d l obj à n nn pcl Commnc vc l céon d l obj S mn vc l dcon d l obj L cvon l péod dn lqll l obj xéc n con l-mêm o v n pocéd Mg Sml Noon Obj xn vn pè l cvon d céno Un Sml n commncon n dx nnc, dn l b d déclnch n con. Un Mg n pécfcon d Sml, q défn l ôl d l ém d écp. Cln op ( ) obj2cl2 objcl m ( ) m2 ( ) Obj céé dn l céno obj3cl3 m3 ( ) Acvé d l obj Lgn d v Synx gphq Mg Obj mg Nom ObjNomCl Obj = Innc d cl Nom ObjNomCl Commncon n obj D pmè Un o Tmp nom mg (pmè) Mg nom mg ém p Nom Obj v Nom Obj C pcl L mg nînn l concon d n obj L écon L dcon d obj

26 Noon Modélon UML obj2cl2 Céon d obj Envo d mg vc pmè op ( ) objcl m ( p ) m2 ( ) Récon Ro d opéon Dcon d obj Modélon lon 4 pon d v pncpx Von l d yèm C d lon Apc q d yèm Dcpon d donné d l lon Scon n pqg Apc dynmq d yèm (compomnl) Dgmm d éqnc (céno) Dgmm d collboon (n obj) Dgmm d é-non (Hl) Dgmm d cvé Von mplnon Dgmm d compon d déplomn Apc ynchon mp él Lc d céno chonolog Un céno l d h n b dn l n chonologq d échng d mg. D conn mpoll pvn ê joé céno {b-< 5 c.} Nom Obj Nom cl2 dmnd b épon Nom Obj d {d -d< c.} d dmnd Nom cl2 Dgmm d collboon L céno dgmm d collboon Monn d xmpl d coopéon d obj dn l élon d poc d l pplcon L céno Illn l dynmq d nchînmn d mn d n pplcon n nodn l dmnon mpoll L dgmm d collboon Dmnon mpoll péné p nméo d éqnc défnon d n od pl l opéon Rpénon d obj d l lon Uln l b opéon Rpénon d condonnll Dgmm d collboon Bnchmn condonnl op ( ) obj2cl2 objcl [x<0] m ( x ) [x>0] m2 ( x ) Bnchmn condonnl Rpénon d n collboon n ôl Booch Socéé d obj collbon (UML.5 d ôl commncn) Rpénon pl d n ncon M n vn d l c Rpénon d c complx (écv p xmpl) P d x mpol Dgmm dl d dgmm d éqnc D ôl o d obj dn n on donné D ln ln l obj q connn L mg échngé p l obj on péné l long d c ln L od d nvo d mg mélé p n nméo d éqnc

27 Dgmm d collboon Eqvln dgmm d éqnc Rpénon d collboon d ôl Dcpon d l élon d n Clf o d n opéon Enmbl d ôl (ClfRol + AoconRol) / ClfRolNm ClfNm Fd M Rpénon d collboon d nnc Enmbl d obj (Obj + Ln) Confom à n dgmm d collboon d ôl chrq($25) chrcvd($25) Rpénon d ncon Enmbl d obj + Sml (Innc d Mg) Dgmm d collboon 3 Opon (pm) Dgmm d collboon (nv nnc) vnmn 2 opon Obj nom d l cl Obj 2 4 opon nom c nom d l cl 5 opon (pm) flx d donn Obj 3 nom d l cl Rpénon d n collboon (nv nnc) L concp d mg P pè M mè chrq($25) L né d commncon n ôl Concp è génél povn ê m n œv vn d nomb vn (l ml) Fd 2 chrcvd($25) Rgop l flo d conôl l flo d donné

28 Ulon d dgmm d collboon Il pvn ê ché à Un cl Un opéon Un -c Il pplqn En pécfcon En concpon (llon d dgn pn) Qon xqll épondn l collboon Ql l objcf? Ql on l obj? Qll on l ponblé? Commn on-l nconncé? Commn ngn-l? Elémn conf Un conx connn l élémn m n j dn l opéon Un c Un nmbl d obj, d b d pmè D lon n c obj D ncon D mg Un mg n d dgmm povnn d n Ac d l pplcon, Obj d l pplcon. L nméo d éqnc d mg échngé n l obj d c nmbl mg n Collboon d Nv Spécfcon n xmpl mpl / Pè pè / Enfn / Mè mè chrq($25) 2 chrcvd($25) Synx gphq L mg Opéon Récpon d événmn L éqncmn éqnc mbqé L éqnc conécv L éqnc mbqé ognpon mg n. poon ( ) ffch ( ) Cé 4 Sgmn nméo d éqnc bocl (=..4)ffch ( ).2 poon ( ) dnonpon opéon 328 Dgmm d éqnc d nv pécfcon / Enfn chrq(mon) chrcvd(mon) / Mè 33 28

29 Modélon UML Modélon lon 4 pon d v pncpx Von l d yèm C d lon Apc q d yèm Dcpon d donné d l lon Scon n pqg Apc dynmq d yèm (compomnl) Dgmm d éqnc (céno) Dgmm d collboon (n obj) Dgmm d é-non (Hl) Dgmm d cvé Von mplnon Dgmm d compon d déplomn Noon d événmn Sml xql égn l obj Occnc déclnchn n non d é Abcon d'n nfomon nnné échngé n d obj d c Un événmn nnné Un événmn copond à n commncon ndconnll Un obj p ég à cn événmn loq'l dn cn é. Un événmn ppn à n cl d'événmn (cl ééoypé «gnl») L dgmm d é L événmn L événmn on condéé comm d obj Aché à n cl Génélon d céno Dcpon yémq d écon d'n obj x chngmn d on nvonnmn Décvn l éqnc d é d n obj o d n opéon En épon x «ml» ç En ln pop con (non déclnché) Ré d é d non Aom énd Enllmn Dgmm d Hl (dm OMT) «gnl» MOUSE_EV locon «gnl» USER_INPUT dvc «gnl» KEYBD_EV chc «gnl» IO_EVENT m «gnl» NETWORK_EVENT Synx gphq dgmm d é Typolog d événmn condon d gd événmn ç é E Ev [cond] / m() ^Ev2 non con événmn ém Synx EvénmnRç (pm yp,...) [condon d gd] / Acon ^EvénmnEm E2 334 Rélon d n condon b nc p n condon d gd l non Récpon d n gnl d n obj nc n n événmn déclnchn l non Récpon d n ppl d opéon p n obj nc comm n événmn déclnchn l non Péod d mp écolé nc comm n xpon d mp l non

30 Noon d con Acon opéon nnné (concpllmn) omq (n p ê nomp) Déclnché p n événmn Tmn océ à l non O à l né dn n é o à l o d c é con Vll con U_np / m_o_non dél_m_n_vll / pg_n_mod_vll Allmé 338 Noon d cvé dn n é Acvé opéon déoln connmn n q on dn l é océ do/ con Téléphon N nvld Invld Téléphon ccoché do / p mg cvé Un cvé p ê nomp p n événmn. 34 Noon d é E on bl d n obj pm n nmbl d on pé-défn condonn l épon d l obj à d événmn pogmmon écv / «mp él» Invll n 2 événmn, l n dé P vo d vbl nn b d l cl ppon c dgmm d é Exmpl d dgmm d'é n éléphon décoch combné Rpo Appln ccoch/ déconnxon Acf Tonlé Compo nméo (n) do/ jo onlé En compoon Dn Invld Compo nméo (n) nméo do/ d mg [n.invld] Eblmn Occpé occpé conncé Applé ccoch do/ onlé occpé Occpé Lb Dlog 5 c Tmo Compo do/ mo on 5 c nméo (n) Répon d l pplé/ o pol Sonn do/ onn Scon n o-é Poblèm d'n dgmm d'é pl Povo d'xpon éd, nlbl po d gnd poblèm Exploon combno d non. Émon d événmn Aom d é d n élécommnd dobl TV + MAGNETOSCOPE Conôl dn conôl TV MAGNETOSCOPE TV conôl MAGNETO boon mch ^gnl ON/OFF Scon à l d d p/o é (+ héch d événmn) péné p mbcon gphq 340 Télévon Aê gnl ON/OFF Mch