domain specific languages un exemple de mise en...
TRANSCRIPT
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
Module Ingénierie des Modèles
Dom
ain
Spec
ific
Lang
uage
sU
n ex
empl
e de
mis
e en
œuv
re à
trav
ers
l’étu
de d
e Sy
sML Nic
olas
Bel
loir
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
2
Module Ingénierie des ModèlesIn
trod
uctio
n
Intr
oduc
tion
aux
DSL
De
UM
L à
SysM
LPr
ésen
tatio
n gé
néra
le d
e Sy
sML
Mod
élis
atio
n st
ruct
urel
leM
odél
isat
ion
dyna
miq
ueM
odél
isat
ion
tran
sver
seCo
nclu
sion
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
3
Module Ingénierie des ModèlesLe
s D
SL’s
Dom
ain
Spec
ific
Lang
uage
s(f
abriq
ues
à la
ngag
e dé
diés
)
Gén
ériq
ue (
UM
L) V
ersu
s Sp
écifi
que
Mei
lleur
e so
lutio
n à
un p
lus
petit
ens
embl
e de
pro
blèm
es
Une
déf
initi
on«
A D
SL is
a pr
ogra
mm
ing
lang
uage
or e
xecu
tabl
esp
ecifi
catio
nla
ngua
geth
atof
fers
, thr
ough
appr
opria
teno
tatio
ns a
ndab
stra
ctio
ns, e
xpre
ssiv
e po
wer
focu
sed
on, a
ndus
ually
rest
ricte
dto
, a
part
icul
arpr
oble
mdo
mai
n».
A ra
ppro
cher
des
Dom
ain
Spec
ific
Mod
els
Exem
ple
:In
form
atiq
ue :
YAC
C, P
IC, S
QL,
HTM
L …
Autr
es d
omai
nes
: m
édec
ine,
ani
mat
ion
3D, c
omm
unic
atio
n pr
otoc
oles
, bus
ines
s pr
otoc
oles
…
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
4
Module Ingénierie des ModèlesAv
anta
ges
Hau
t ni
veau
d’a
bstr
actio
n:
com
préh
ensi
ble
par
des
expe
rts
mét
iers
Lang
age
conc
is e
t bi
en d
ocum
enté
, réu
tilis
able
Amél
iora
tion
de la
pro
duct
ivité
, fia
bilit
é, m
aint
enab
ilité
, po
rtab
ilité
Incl
uent
la c
onna
issa
nce
du d
omai
ne(c
onse
rvat
ion)
Perm
ette
nt la
val
idat
ion
et l’
optim
isat
ion
au n
ivea
u do
mai
ne
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
5
Module Ingénierie des ModèlesRis
ques
Coût
impo
rtan
t:
de d
ével
oppe
men
t et
d’im
plém
enta
tion
élev
ésPo
ur la
for
mat
ion
des
utili
sate
urs
Faib
le d
ispo
nibi
lités
des
DSL
Diff
icul
té à
lim
iter
un b
on c
ham
p d’
actio
n
Equi
libre
entr
e D
SL e
t la
ngag
es g
énér
ique
s dé
licat
à
trou
ver
Pert
e po
tent
iel d
’eff
icac
itép/
r à
un c
ode
réal
isé
« à
la
mai
n »
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
6
Module Ingénierie des ModèlesM
étho
dolo
gie
de c
once
ptio
n
Anal
yse
a) I
dent
ifier
le d
omai
ne
b) R
écup
érer
la c
onna
issa
nce
asso
ciée
c) R
asse
mbl
er c
ette
con
nais
sanc
e en
que
lque
s gr
oupe
s sé
man
tique
s d’
opér
atio
ns e
t de
not
ions
d) C
once
voir
le D
SL p
our
qu’il
déc
rive
de m
aniè
re c
onci
sele
s ap
plic
atio
ns d
u do
mai
neIm
plém
enta
tion
e) C
onst
ruire
une
libr
airie
qui i
mpl
émen
te le
s no
tions
sé
man
tique
sf)
Con
cevo
ir et
impl
émen
ter
un c
ompi
late
urtr
ansf
orm
ant
les
prog
ram
mes
DSL
en
une
séqu
ence
d’a
ppel
s à
la li
brai
rieU
seG
) Ec
rire
des
prog
ram
mes
DSL
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
Module Ingénierie des Modèles
Un
DSL
spé
cifiq
ue :
Sys
ML
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
8
Module Ingénierie des ModèlesL’
Ingé
nier
ie S
ystè
me
L'in
géni
erie
sys
tèm
e (I
S)
une
dém
arch
e m
étho
dolo
giqu
e
inte
rdis
cipl
inai
re
pour
maî
tris
er la
con
cept
ion
des
syst
èmes
com
plex
es
[AFI
S, W
IKI]
.
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
9
Module Ingénierie des ModèlesSy
stèm
e
Ense
mbl
e d'
élém
ents
hum
ains
et
mat
érie
lsEn
inte
ract
ion
entr
e eu
x et
ave
c l'e
nviro
nnem
ent
Inté
gré
pour
ren
dre
à so
n en
viro
nnem
ent
les
serv
ices
cor
resp
onda
nts
à sa
fin
alité
.Él
émen
ts m
atér
iels
de t
echn
olog
ies
vari
ées
: m
écan
ique
, éle
ctriq
ue, é
lect
roni
que,
mat
érie
ls in
form
atiq
ues,
logi
ciel
s,
rése
aux
de c
omm
unic
atio
n, …
Prop
riété
s no
uvel
les
résu
ltant
des
inte
ract
ion
s en
tre
ses
con
stit
uan
ts.
Doi
t : Atte
indr
e le
s co
mpo
rtem
ents
rec
her
chés
Mai
nten
ir le
s co
mpo
rtem
ents
ém
erge
nts
non
inte
ntio
nnel
s da
ns d
es
limite
s ac
cept
able
s.
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
10
Module Ingénierie des ModèlesD
émar
che
mét
hodo
logi
que
: un
pro
cess
us
itéra
tif
Expl
orat
ion
du p
robl
ème
Déf
initi
on d
e so
us-
syst
èmes
et c
onst
ituan
tsSo
us f
orm
e d'
ense
mbl
es d
'exi
gen
ces
Conc
eptio
n co
ndui
sant
à d
es m
odèl
es c
onst
ruct
ifsAr
chite
ctur
e fo
nctio
nnel
le e
t ar
chite
ctur
e de
con
stitu
ants
Exig
ence
s sp
écifi
ées
de r
éalis
atio
n, d
'inté
grat
ion,
de
vérif
icat
ion
et v
alid
atio
n ai
nsi q
ue d
e m
aint
enan
ce.
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
11
Module Ingénierie des ModèlesD
émar
che
mét
hodo
logi
que
: du
e à
la
com
plex
itéde
s sy
stèm
es
Impo
ssib
ilité
à d
éfin
ir d'
embl
ée l'
ense
mbl
e de
s be
soin
s et
co
ntra
inte
s de
tou
tes
les
part
ies
pren
ante
s co
nstit
uant
le
prob
lèm
e
Impo
ssib
ilité
à t
rouv
er d
irect
emen
t un
e so
lutio
n au
pr
oblè
me
glob
alD
écom
posi
tion
en s
ous
prob
lèm
es (
bloc
s co
nstit
utifs
)En
ten
ant
com
pte
de le
urs
inte
ract
ions
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
12
Module Ingénierie des ModèlesD
iffér
ents
niv
eaux
de
mod
élis
atio
n
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
13
Module Ingénierie des ModèlesM
odél
isat
ion
fonc
tionn
elle
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
14
Module Ingénierie des ModèlesM
odél
isat
ion
orie
ntée
obj
et
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
15
Module Ingénierie des ModèlesU
ML
1.x
une
prem
ière
app
roch
ePo
int
de d
épar
t de
la m
odél
isat
ion
IS :
le S
yste
mco
ntex
tdia
gram
Des
crip
tion
des
E/S
de f
lots
ent
re le
sys
tèm
e, le
s co
mpo
sant
s, le
s in
terf
aces
, et
les
élém
ents
de
l’env
ironn
emen
t.
Dep
loym
entd
iagr
amse
ul c
apab
le d
e m
odél
iser
les
nœud
s ph
ysiq
ues
Mai
s lim
ité à
la «
défin
ition
d’a
rchi
tect
ures
d’e
xécu
tion
qui r
epré
sent
ent
l’aff
ecta
tion
d’ar
téfa
cts
logi
ciel
s à
des
nœud
s. »
Lim
itatif
Obj
ectS
eque
nce
Dia
gram
sdi
ffic
iles
à ut
ilise
rPa
s m
oyen
de
les
lier
à d’
autr
es s
ous-
syst
èmes
Use
cas
eet
sta
te-m
achi
ne:
répé
titifs
Pas
de m
oyen
s de
lier
les
diag
ram
mes
réa
lisés
aux
exi
genc
es, n
i de
mod
élis
er d
es é
quat
ions
par
amét
rique
s
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
16
Module Ingénierie des ModèlesU
ML
2 :
des
prog
rès
impo
rtan
ts
Colla
bora
tion
entr
e l’I
Set
l’O
MG
Four
nit
des
moy
ens
de m
odél
iser
les
stru
ctur
es e
t le
s co
mpo
rtem
ent
hiér
arch
ique
men
tCo
mpo
site
str
uctu
re d
iagr
amU
n se
ul n
ivea
u hi
érar
chiq
uePa
s de
mod
élis
atio
n de
flo
ts e
ntre
sur
les
liens
Amél
iora
tion
des
Obj
ects
sequ
ence
sdi
agra
ms
Touj
ours
pas
de
moy
ens
pour
:Li
er le
s m
odèl
es a
ux e
xige
nces
Déc
rire
des
flots
…
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
17
Module Ingénierie des ModèlesEn
con
clus
ion
: U
ML
et l’
IS
UM
L bo
n po
int
de d
épar
tSt
anda
rd d
e fa
it da
ns le
mon
de lo
gici
elU
ML
2 fo
urni
t la
plu
part
des
con
cept
s et
dia
gram
mes
néc
essa
ires
pour
la d
escr
iptio
n d’
un s
ystè
me
com
plex
eM
ûr e
t ex
tens
ible
et
peut
-êtr
e ad
apté
pou
r le
s ex
igen
ces
de l’
ISN
ombr
eux
outil
s di
spon
ible
s
Mai
s …
Man
que
cert
ains
con
cept
s cl
és d
e l’I
SU
tilis
e de
s co
ncep
ts u
n pe
u tr
op «
info
rmat
ique
» p
our
être
ut
ilisé
s pa
r l’e
nsem
ble
des
inte
rven
ants
du
mon
de I
STr
op c
ompl
et (
13 t
ypes
de
diag
ram
mes
) po
ur l’
IS
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
18
Module Ingénierie des ModèlesD
e U
ML
àSy
sML
Intr
oduc
tion
aux
DSL
De
UM
L à
SysM
LPr
ésen
tatio
n gé
néra
le d
e Sy
sML
Mod
élis
atio
n st
ruct
urel
leM
odél
isat
ion
dyna
miq
ueM
odél
isat
ion
tran
sver
seCo
nclu
sion
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
19
Module Ingénierie des ModèlesO
bjec
tifs
de S
ysM
LBa
sé s
ur U
ML
2:
supp
ort
pour
la m
odél
isat
ion
d’un
larg
e pa
nel d
e sy
tèm
es(h
w, s
w, d
onné
es, f
abriq
ues…
)
Stan
dard
: fo
urni
r un
lang
age
de m
odél
isat
ion
stan
dard
pou
r l’I
Spo
ur Anal
yser
, spé
cifie
r, c
once
voir
et v
érifi
er le
s sy
stèm
es c
ompl
exes
Perm
ettr
e l’é
chan
ge d
’info
rmat
ions
à t
rave
rs d
es o
utils
Fran
chir
le p
as s
éman
tique
ent
re le
s di
scip
lines
tel
les
que
le s
ystè
me,
le
logi
ciel
et
les
autr
es d
isci
plin
es d
e l’I
S
Sim
ple
: êt
re f
acile
à a
ppre
ndre
pou
r de
s in
géni
eurs
sys
tèm
es e
t fa
cile
à im
plém
ente
r po
ur d
es f
ourn
isse
urs
d’ou
tils
Exte
nsib
le:
pour
les
dom
aine
s pa
rtic
ulie
rs (
auto
mob
ile, a
éros
patia
le
…)
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
20
Module Ingénierie des ModèlesLe
s pa
rtie
s pr
enan
tes
de S
ysM
L
Indu
strie
Amer
ican
Sys
tem
s, B
AE S
yste
ms,
Boe
ing,
Dee
re&
Com
pany
, EA
DS
Astr
ium
, Eur
oste
p, I
srae
lAirc
raft
Indu
strie
s, Lo
ckhe
ed
Mar
tin, M
otor
ola,
NIS
T, N
orth
rop
Gru
mm
an, o
ose.
de, R
ayth
eon,
Th
ales
Vend
eurs
d’o
utils
Artis
an, E
mbe
dded
Plus
, Gen
tlew
are,
IBM
, I-L
ogix
, Men
tor
Gra
phic
s, P
ivot
Poin
tTe
chno
logy
, Spa
rxSy
stem
s, T
elel
ogic
, vi
tech
Autr
es o
rgan
isat
ions
AP-2
33, I
NCO
SE, G
eorg
ia I
nstit
ute
ofTe
chno
logy
, AFI
S
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
21
Module Ingénierie des ModèlesH
isto
rique
UM
L fo
r Sy
stem
Engi
neer
ing
RFP
OM
G :
mar
s 20
03, s
ous
l’inf
luen
ce d
e l’I
NCO
SEet
AP2
33
Initi
al d
raft
: Ja
nvie
r 20
04
Sépa
ratio
n de
2 p
ropo
sitio
ns p
uis
regr
oupe
men
t
SysM
LSp
ecifi
catio
nv1
.0Ad
opté
e pa
r l’O
MG
en M
ai 2
006
Déc
laré
« a
vaila
ble
spec
ific
atio
n»
: Se
ptem
ber
19, 2
007
Doc
umen
t de
réf
éren
ce :
pt
c/07
-03-
19
http
://w
ww
.om
gsys
ml.o
rg/
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
22
Module Ingénierie des ModèlesU
ML
2 et
l’IS
Four
nit
déjà
bea
ucou
p de
con
stru
ctio
ns in
tére
ssan
tes
pour
l’IS
Déc
ompo
sitio
n st
ruct
urel
le e
t in
terc
onne
xion
Part
s, P
orts
, Con
nect
ors
Déc
ompo
sitio
n co
mpo
rtem
enta
leSé
quen
ces,
act
ivité
s, é
tats
Amél
iora
tion
du d
iagr
amm
e d’
activ
itéFl
ots
de d
onné
es, i
nput
/out
put
pin,
etx
Amél
iora
tion
des
diag
ram
mes
d’in
tera
ctio
nSé
quen
ces
alte
rnat
ives
, réf
éren
ces
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
23
Module Ingénierie des ModèlesSy
sML,
un
prof
il U
ML
2
UM
L 2
SysM
LPa
rtie
pro
pre
à Sy
sML
Part
ie q
ue S
ysM
Lré
utili
se
de U
ML
(UM
L4Sy
sML)
Part
ie d
e U
ML
non
utili
sée
parS
ysM
L
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
24
Module Ingénierie des ModèlesPr
ésen
tatio
n gé
néra
le d
e Sy
sML
Intr
oduc
tion
aux
DSL
De
UM
L à
SysM
LPr
ésen
tatio
n gé
néra
le d
e Sy
sML
Mod
élis
atio
n st
ruct
urel
leM
odél
isat
ion
dyna
miq
ueM
odél
isat
ion
tran
sver
seCo
nclu
sion
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
25
Module Ingénierie des ModèlesU
ML
2 :
13 d
iagr
amm
es
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
26
Module Ingénierie des ModèlesSy
sML
: de
13
à9
diag
ram
mes
Blo
ck D
efin
itio
nD
iagr
am
Inte
rnal
Blo
ckD
iagr
am
Par
amet
ric
Dia
gram
Req
uir
emen
tD
iagr
am
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
27
Module Ingénierie des ModèlesLe
s di
agra
mm
es S
ysM
L1.
0 Mêm
e qu
e U
ML
Mod
ifié
d’U
ML
Nou
veau
typ
e de
dia
gram
mes
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
28
Module Ingénierie des ModèlesM
odél
isat
ion
stru
ctur
elle
Intr
oduc
tion
aux
DSL
De
UM
L à
SysM
LPr
ésen
tatio
n gé
néra
le d
e Sy
sML
Mod
élis
atio
n st
ruct
urel
leM
odél
isat
ion
dyna
miq
ueM
odél
isat
ion
tran
sver
seCo
nclu
sion
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
29
Module Ingénierie des ModèlesLe
s di
agra
mm
es S
ysM
L1.
0
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
30
Module Ingénierie des ModèlesLe
s pa
ckag
es
Stru
ctur
atio
n de
s m
odèl
esSt
ruct
ure
arbo
resc
ente
Espa
ces
de n
oms
Fonc
tionn
emen
t co
llabo
ratif
(es
pace
s de
tra
vail
Org
anis
atio
n va
riabl
ePa
r dé
com
posi
tion
stru
ctur
elle
Syst
ème
–so
us-s
ystè
mes
–éq
uipe
men
ts
Par
vue
ou d
omm
aine
Exig
ence
s –
stru
ctur
e –
com
port
emen
t
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
31
Module Ingénierie des ModèlesPa
ckag
es
Exem
ple
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
32
Module Ingénierie des ModèlesD
iagr
amm
e de
pac
kage
s
Lien
s en
tre
pack
ages
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
33
Module Ingénierie des ModèlesLe
con
cept
de
Bloc
k
Conc
ept
unifi
é pe
rmet
tant
de
décr
ire la
str
uctu
re d
’un
élém
ent
du s
ystè
me
Har
dwar
e, s
oftw
are,
don
nées
, pro
cédu
re, f
abriq
ue, p
erso
nne,
…
Rem
plac
e le
s co
ncep
ts U
ML
:O
bjet
/cla
sse,
cla
sse
stru
ctur
ée, s
ous-
syst
ème,
com
posa
nt, n
œud
, …
Des
crip
tion
des
cara
ctér
istiq
ues
du b
loc
à tr
aver
s di
vers
co
mpa
rtim
ents
Prop
riété
s (p
arts
, réf
éren
ce, v
alue
), o
péra
tions
, con
trai
ntes
, al
loca
tions
du
bloc
k (d
iagr
amm
es d
’act
ivité
), e
xige
nce
que
le
bloc
k sa
tisfa
it
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
34
Module Ingénierie des ModèlesTy
pes
de p
ropr
iété
s de
blo
ckU
ne p
ropr
iété
est
un
élém
ent
stru
ctur
el d
’un
bloc
k
Prop
riété
par
t(ty
pée
par
un b
lock
)U
sage
d’u
n bl
ock
dans
un
cont
exte
de
vue
inte
rne
d’un
blo
ckEx
empl
e :
avan
t-dr
oit:
roue
Prop
riété
réf
éren
ce (
typé
e pa
r un
blo
ck)
Une
par
t non
con
ten
ue
dans
le b
lock
cou
rant
(pa
s un
e co
mpo
sitio
n)Ex
empl
e: in
terf
ace
logi
que
entr
e 2
part
s
Prop
riété
val
eur
(typ
ée p
ar u
n ty
pe d
e va
lue)
Déf
init
une
vale
ur a
vec
ses
unité
s, s
es d
imen
sion
s et
ses
pro
babi
lités
de
dist
ribut
ion
Exem
ple
: N
on-d
istr
ibut
edva
lue:
tire
Pres
sure
:psi
=30
Dis
trib
uted
valu
e: «
unifo
rm»
{min
=28
,max
=32
} tir
ePre
ssur
e:ps
i
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
35
Module Ingénierie des ModèlesU
tilis
atio
n de
s bl
ocks
Basé
sur
les
diag
ram
mes
de
clas
se e
t de
cla
sse
stru
ctur
éeÉl
imin
atio
n de
s cl
asse
s d’
asso
ciat
ion
Les
diag
ram
mes
de
défin
ition
de
bloc
k (B
DD
) dé
criv
ent
les
rela
tions
en
tre
les
bloc
ksAs
soci
atio
n, c
lass
ifica
tion,
com
posi
tion…
Les
diag
ram
mes
de
bloc
k in
tern
e (I
BD)
décr
iven
t la
str
uctu
re in
tern
e d’
un b
lock
en
term
es d
e pr
oprié
tés
et d
e co
nnec
teur
sO
n pe
ut a
ssoc
ier
des
com
port
emen
ts à
cha
que
bloc
k
Pour
la d
escr
iptio
n de
s h
iéra
rch
ies
et d
es in
terc
onn
exio
ns
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
36
Module Ingénierie des ModèlesD
éfin
ition
vs.
Str
uctu
re in
tern
e
Dia
gram
me
de D
éfin
ition
de
bloc
s (B
DD
)D
écrit
les
rela
tions
ent
re le
s bl
ocks
(co
mpo
sitio
n,
géné
ralis
atio
ns…
)
Dia
gram
me
Inte
rne
de b
loc
(IBD
) Déc
rit la
str
uctu
re in
tern
e d’
un
bloc
sou
s fo
rme
de p
arts
, po
rts
et c
onne
cteu
rs.
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
37
Module Ingénierie des ModèlesIn
tern
alBl
ock
Dia
gram
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
38
Module Ingénierie des ModèlesPo
rts
(1/2
)
Spéc
ifien
t de
s po
ints
d’in
tera
ctio
ns p
our
les
bloc
s et
les
part
s. Supp
orte
nt l’
inté
grat
ion
de c
ompo
rtem
ents
et
de s
truc
ture
s
Deu
x ty
pes
de p
orts
Stan
dard
s po
rts
Spéc
ifien
t un
ens
embl
e d’
opér
atio
ns e
t/ou
de
sign
aux
Typé
s pa
r un
e in
terf
ace
Flow
port
sSp
écifi
ent
ce q
ui c
ircul
e en
ent
rée
ou e
n so
rtie
d’u
n bl
oc o
u d’
une
part
Typé
s pa
r un
e sp
écifi
catio
n de
flo
t.
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
39
Module Ingénierie des ModèlesPo
rts
(2/2
)
Stan
dard
Por
t
Flow
Port
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
40
Module Ingénierie des ModèlesEx
empl
e pl
us c
ompl
et
Flot
hyd
raul
ique
Flot
éle
ctriq
ue
Inte
rfac
e lo
gici
elle
sign
al
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
41
Module Ingénierie des ModèlesD
iagr
amm
e pa
ram
étriq
ue
Perm
et d
’exp
rimer
des
con
trai
ntes
(éq
uatio
ns)
entr
e le
s va
leur
s de
par
amèt
res
syst
èmes
Perf
orm
ance
, fia
bilit
é, m
asse
etc
.
Spéc
ialis
atio
n du
dia
gram
me
de b
loc
inte
rne
Util
isat
ion
d’un
lang
age
form
el o
u in
form
elLe
s se
uls
bloc
s ut
ilisa
bles
son
t de
s co
ntra
inte
s en
tre
para
mèt
res
Perm
et d
e re
prés
ente
r gr
aphi
quem
ent
des
équa
tions
et
rela
tions
m
athé
mat
ique
s
Four
nit
un s
uppo
rt p
our
les
étud
es d
’ana
lyse
sys
tèm
e
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
42
Module Ingénierie des ModèlesEx
empl
e
Rem
arqu
e:Pa
s de
sen
s ->
mar
che
tout
le
tem
ps
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
43
Module Ingénierie des ModèlesM
odél
isat
ion
dyna
miq
ue
Intr
oduc
tion
aux
DSL
De
UM
L à
SysM
LPr
ésen
tatio
n gé
néra
le d
e Sy
sML
Mod
élis
atio
n st
ruct
urel
leM
odél
isat
ion
dyna
miq
ueM
odél
isat
ion
tran
sver
seCo
nclu
sion
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
44
Module Ingénierie des ModèlesM
odél
isat
ion
dyna
miq
ue
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
45
Module Ingénierie des ModèlesD
iagr
amm
e de
cas
d’u
tilis
atio
n
Idem
qu’
en U
ML
2.1
Peut
-êtr
e un
peu
plu
s d’
acte
urs
non
hum
ains
?
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
46
Module Ingénierie des ModèlesD
iagr
amm
e de
séq
uenc
e
Rep
rése
nten
t le
s él
émen
ts in
terv
enan
t da
ns u
n sc
énar
io a
insi
que
les
mes
sage
s et
les
flots
dan
s un
ord
re c
hron
olog
ique
Poss
ibili
té d
e de
scrip
tion
de s
céna
rios
com
plex
es a
vec
les
opér
ateu
rs a
lt, lo
op, o
pt, p
ar,…
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
47
Module Ingénierie des ModèlesD
iagr
amm
e de
séq
uenc
e
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
48
Module Ingénierie des ModèlesD
iagr
amm
e d’
état
/tra
nsiti
on
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
49
Module Ingénierie des ModèlesD
iagr
amm
es d
’act
ivité
Une
act
ivité
est
util
isée
pou
r sp
écifi
er le
s flo
ts e
t le
s co
ntrô
les
d’E/
S, in
clua
nt le
s sé
quen
ces
et c
ondi
tions
pou
r le
s ac
tivité
s co
ordo
nnée
s
Exte
nsio
ns S
ysM
Lau
x di
agra
mm
es d
’act
ivité
sSu
ppor
t po
ur la
mod
élis
atio
n de
flo
ts c
onti
nu
sou
dis
cret
s(c
arac
téris
atio
n de
la n
atur
e du
déb
it qu
i circ
ule
sur
le f
lot)
Intr
oduc
tion
d’op
érat
eurs
de
con
trôl
esca
pabl
es d
e dé
mar
rer
ou d
’arr
êter
d’a
utre
s ac
tions
Intr
oduc
tion
des
type
s de
por
ts O
verw
rite
et N
oBu
ffer
pour
tr
aite
r le
s flo
ts c
ontin
us.
Poss
ibili
té d
’ass
igne
r de
s pr
obab
ilité
sà
des
arcs
ou
des
ense
mbl
es d
e pa
ram
ètre
s.
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
50
Module Ingénierie des ModèlesAc
tivité
s
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
51
Module Ingénierie des ModèlesPi
ns v
s O
bjet
Nod
e
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
52
Module Ingénierie des ModèlesD
écom
posi
tion
d’ac
tivité
Déf
initi
onU
tilis
atio
n
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
53
Module Ingénierie des ModèlesM
odél
isat
ion
tran
sver
se
Intr
oduc
tion
aux
DSL
De
UM
L à
SysM
LPr
ésen
tatio
n gé
néra
le d
e Sy
sML
Mod
élis
atio
n st
ruct
urel
leM
odél
isat
ion
dyna
miq
ueM
odél
isat
ion
tran
sver
seCo
nclu
sion
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
54
Module Ingénierie des ModèlesLe
con
cept
d’a
lloca
tion
Rel
atio
n gé
néra
le e
ntre
un
élém
ent
d’un
mod
èle
et u
n au
tre.
Diff
éren
ts t
ypes
d’a
lloca
tion
Fonc
tionn
alité
-co
mpo
sant
Com
posa
nt lo
giqu
e -
com
posa
nt p
hysi
que
Soft
war
e –
hard
war
e…
Se r
etro
uve
dans
de
nom
breu
x ty
pes
de d
iagr
amm
e
Peuv
ent
égal
emen
t êt
re s
péci
fiées
sou
s fo
rme
tabu
laire
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
55
Module Ingénierie des ModèlesEx
empl
e de
not
atio
ns
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
56
Module Ingénierie des ModèlesAl
loca
tion
de s
oftw
are
au
hard
war
e
UM
L 2
le d
iagr
amm
e de
dép
loie
men
t es
t ut
ilisé
pou
r dé
ploy
er d
es a
rtéf
acts
à
des
nœud
s Sy
sML
l’allo
catio
n su
r le
s IB
D e
t BD
D e
st u
tilis
ée p
our
dépl
oyer
des
élé
men
ts
logi
ciel
s ou
des
don
nées
à d
es é
lém
ents
har
dwar
e
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
57
Module Ingénierie des ModèlesAl
loca
tion
expl
icite
de
com
port
emen
ts
Util
isat
ion
des
swim
lane
s(p
artit
ions
)
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
58
Module Ingénierie des ModèlesLe
dia
gram
me
d’ex
igen
ce
Stér
éoty
pe r
equi
rem
entq
ui p
erm
et d
e re
prés
ente
r de
s ex
igen
ces
et p
ropr
iété
tex
tuel
les
Incl
ut u
n id
entif
iant
idet
des
pro
prié
tés
text
uelle
sPe
rmet
d’a
jout
er d
es c
atég
orie
s d’
exig
ence
pro
pres
à l’
utili
sate
ur
(i.e.
fon
ctio
nnel
le, i
nter
face
, per
form
ance
…)
Les
requ
irem
ents
peuv
ent
être
déc
ompo
sées
Les
requ
irem
ents
peuv
ent
être
spé
cial
isés
On
peut
déf
inir
des
rela
tions
ent
re r
equi
rem
ents
: «
deriv
eRqt
»«
satis
fy»
« ve
rify
»«
refin
e»
« tr
ace
»«
copy
»
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
59
Module Ingénierie des ModèlesEx
empl
e
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
60
Module Ingénierie des ModèlesEx
empl
e de
dép
enda
nce
entr
ere
quire
men
ts
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
61
Module Ingénierie des ModèlesCo
nclu
sion
Intr
oduc
tion
aux
DSL
De
UM
L à
SysM
LPr
ésen
tatio
n gé
néra
le d
e Sy
sML
Mod
élis
atio
n st
ruct
urel
leM
odél
isat
ion
dyna
miq
ueM
odél
isat
ion
tran
sver
seCo
nclu
sion
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
62
Module Ingénierie des ModèlesCo
nclu
sion
Un
lang
age
spéc
ifiqu
e au
x sy
stèm
es c
ompl
exes
Fort
emen
t ba
sé U
ML
Plut
ôt a
xé s
ur la
pha
se d
’ana
lyse
Avan
cées
not
able
s su
r :
Lien
s en
tre
élém
ents
du
mod
èle
(exi
genc
es, r
éalis
atio
ns,
allo
catio
ns…
)M
odél
isat
ion
des
équa
tions
Mod
élis
atio
n de
s flo
ts c
ontin
us
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
63
Module Ingénierie des ModèlesLe
s pi
liers
de
SysM
L
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
64
Module Ingénierie des ModèlesLi
ens
entr
e le
s él
émen
ts
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
65
Module Ingénierie des ModèlesLe
s ou
tils
SysM
L
Artis
an S
oftw
are
/ Rea
l-tim
eSt
udio
http
://w
ww
.art
isan
sw.c
om/
Embe
dded
Plu
s /
SysM
LTo
olki
tfo
r R
SDP
http
://w
ww
.em
bedd
edpl
us.c
om/
I-Lo
gix
/ Rha
psod
yht
tp:/
/ww
w.il
ogix
.com
/sub
leve
l.asp
x?id
=53
Spar
xSys
tem
s/
Ente
rpris
eAr
chite
ctht
tp:/
/ww
w.s
parx
syst
ems.
com
/sys
ml
Tele
logi
c/
Tau
G2
http
://w
ww
.tel
elog
ic.c
om/p
rodu
cts/
tau/
inde
x.cf
m
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
66
Module Ingénierie des ModèlesQ
uest
ions
ouv
erte
s
Com
men
t pa
sser
de
SysM
Là
UM
L?Co
nser
vatio
n de
s lie
ns e
ntre
exi
genc
es e
t di
agra
mm
es le
s ré
alis
ant?
Tran
sfor
mat
ion
de m
odèl
es e
ntre
les
2?
Com
me
en U
ML,
il e
st n
éces
saire
d’a
ssoc
ier
une
mét
hode
à
l’util
isat
ion
de S
ysM
L
Gén
éric
ité d
e Sy
sML
: un
pro
blèm
e?
Stér
éoty
page
des
blo
cs, u
ne n
éces
sité
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
67
Module Ingénierie des ModèlesSo
urce
s
Site
s w
ebht
tp:/
/ww
w.o
mgs
ysm
l.org
/ht
tp:/
/ww
w.s
ysm
l.org
/ht
tp:/
/ww
w.a
fis.fr
Prés
enta
tions
OM
G S
yste
ms
Mod
elin
gLa
ngua
ge(O
MG
Sys
ML™
) Tu
toria
lPr
ésen
tatio
n Va
ltech
Trai
ning
, Pas
cal R
oque
s
Doc
umen
tatio
ns«
The
OM
G S
ysM
Lsp
ecifc
atio
nv1
.0 »
, OM
G p
arte
rs, p
tc-0
6-05
-04
« Th
eSy
stem
sM
odel
ing
Lang
uage
», M
atth
ewH
ause
and
Alan
Moo
re,
ARTi
SAN
Soft
war
e To
ols,
whi
tepa
per,
juin
200
6.«
An
Ove
rvie
wof
the
Syst
ems
Mod
elin
gLa
ngua
gefo
r Pr
oduc
tsan
dSy
stem
sD
evel
opm
ent
», L
aure
nt B
alm
elli,
Oct
' 200
6.
« M
odel
-driv
en s
yste
ms
deve
lopm
ent
»,L
. Bal
mel
li, D
. Bro
wn,
M.
Cant
or, M
. Mot
t, J
uly
' 200
6.
Mas
ter
Tech
nolo
gies
de
l'Int
erne
t -
2ièm
e an
née
Module Ingénierie des Modèles
Des
que
stio
ns?