Cet ouvrage et des milliers d'autres font partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour les lire en ligne
En savoir plus

Partagez cette publication

T
gimont
l'Homme
N
rec
d'ordre:
Univ
3623
Mines
THÈSE
T
présen
Consel
tée
S
à
et
L'UNIVERSITÉ
l
BORDEA
Rapp
UX
'ENSEEIHT,
1
Renaud
École
l'INRIA,
Do
'ENSEIRB,
ctorale
de
de
,
Mathématiques
1
et
hnologies
Informatique
t
par
de
Nicolas
Nan
P
Daniel
alix
à
p
P
our
MM.
obtenir
Chargé
le
he
grade
Examinateurs
de
à
DOCTEUR
M.
Sp
Ahmed
écialité:
à
INF
R
ORMA
In
TIQUE

Langages
Les
dédiés
T
au
service
dév
de
elo
vironnemen
pp
'École
emen
s
t
de
de
tes
services
orteurs
de
Ha
comm
Professeur
unications
l
Thèse
IN
dirigée
de
par
oulouse
Charles
:
Consel
Marlet
Souten
de
u
herc
e
à
le
Bordeaux
:
Charles
17
Professeur
septem
l
bre
Bordeaux
2008
:
Dev
ouk
an
Maître
t
conférence
la
l'EN
commission
EI
d'examen
B
présidée
Bordeaux
par
vité
Daniel
ersi
Ha
Bordeaux
gimont

et
Sciences
formée
les
de
ec
:
au
MM.
de
:
et
Pierre
l'en
Cointe
Professeur
à
oMixte
alence
351
réalisée
alence
au
he
sein
lib
de
F-33405
l'Équip
LaBRI
e-Pro
Rec
jet
(UMR
INRIA
de
Pho
F-33405
enix
Thèse
INRIA
T
Bordeaux
Cedex

Unité
Sud-Ouest
de
Bâtimen
herc
t
CNRS
A
5800)
29
cours
351
la
cours
ération
de
T
la
cedex
lib
érationymie,
et
e
A
A
ur
à
orb
remercie
P
ts
Je
Je
A
tiens
scolaire,
tout
aectueusemen
d'ab
ert,
o
la
rd
v
à
ages
remercier
p
les
des
mem
d
bres
vie
de
n
mon
L
jury
tien
:
de

b
Daniel
ie
Ha
si
gimont
b
et
grâce
Pierre
l'équip
Cointe
café
qui
hel,
on
indéfectible
t
lui
assumé
remercie
la
emen
c
de
harge
Aurore,
d
de
e
oir
rapp
notre
o
tendresse
rteu
rédaction.
r,
la
leurs
sourire
a
1
vis
nos
et
et
commen
d'allemand
taires
tout
furen
Enn,
t
lire
une
je
aide
autres
précieuse
ec
dans
a
les
y-fo
d
ts,
e
v
rn
i
ières
ossible
semaines
ma
et
dans
les
elanc
derniers
ts,
jours.
resp
Je
cuisine
remercie
p
plus
encouragemen
particulièremen
remercie
t
l
Dani
dans
e
particulièremen
l
J'esp
Ha
un
gimont
a
qui
dois
m'a
breux
égalemen
ermis
t
p
fait
dèle,
l'honneu
uits
r
t'app
de
A
présider
a
ce
(Køb
jury
em
,
lors

o
Renaud
n
Marlet
Hollande.
don
niv
t
...
la
sommes
lecture
er
min
p
utieu
v
se
e
de
lignes,
cette
lui
thèse
remercie.
a
t
p
bres
ermis
a
de
j'ai
corriger
ts
et
tour
de
d'un
préciser
Je
de
mes
nom
et
breux
our
détails,
p
y
études
compris
Leur
dans
rendu
les
réussite
annexes,
égalemen

Anne-Gaëlle,
T
de
ouk
nouv
Ahmed
fr
d'a
.
v
b
oir
et
lu
t
en
ti
détail
apprécié
ce
les
do
Je
cumen
jamais
t.
sans
Je
de
tiens
ère.
ensuite
ma
à
notre
remercier
A
mon
soutien
directeur
instan
de
et
thèse,
lors
Charles
est
Consel
p
,
app
qui
o
m'a
fort
accueilli
long
au
Je
sein
notre
de
Ses
l'
et
éq
t
u
instan
ip
os
e
t
pro
t
jet
pu
INRIA
des
Pho
normale.
enix.
i
Grâce
san
à
et
ses
garde
remarques
te
et
bien.
ses
Cop
conseils,
,
j'ai
no
pu
2008
me
appréciée
n
de
er
v
à
y
terme
e
ces
Allemagne
tra
en
v
Même
aux.
son
Lauren
eau
t
est
Réveillère
disons
et
nous
Julia
malgré
La
arriv
w
à
all
on
on
ort.
t
si
égalemen
ous
t
ouv
particip
z
é
ces
aux
c'est
succès
à
de
et
ces
l'en
tra
Je
v
égalemen
aux.
les
Leur
mem
aide
de
et
e
leur
v
sa
qui
v
partagé
oir-faire
momen
m'on
agréables
t
u
indéniablemen
d'un
t
ou
p
bab
ermis
ot.
de
remercie
progresser.
t
Lauren
paren
t
Monique
Bur
Mic
gy
p
,
m'a
a
oir
v
ermis
ec
es
qui
auss
j'ai
longue.
partagé
soutien
quatre
a
bureaux
p
diéren
ma
ts
scolaire.
au
remercie
cours
t
de
s÷ur,
c
et
es
souhaite
quatres
réussir
années,
sa
m'a
elle
p
en
ermis
e
de
e
surmon
Je
ter
mes
les
eaux-paren
instan
Anne-Marie
ts
Hub
de
don
doutes.
j'ai
Je
ec
n'oublierai
v
pas
t
non
la
plus
et
n
co
o
seils.
s
n'aurais
discus-
eut-être
sions
commencé
autour
thèse
d'un
les
café
ts
e
mon
t
eau-p
son
Je
aide
enn
précieuse
femme,
tout
et
au

long
le,
de
ymie.
ma
e
thèse,
d'Aurore
et
les
plus
ts
particulièremen
doute,
t
plus
p
t
endan
de
t
rédaction
la
inestimable.
rédaction
ère
de
ouv
ce
lui
man
orter
uscrit.
s
I
u
l
aussi
a
tout
en
u
eet
de
été
vie.
le
lui
premier
aussi
lecteur
lle,
de
ymie.
ce
nom
man
sourires
uscript.
sa
J'a
m'on
v
p
ais
des
un
ts
collégue,
rep
j'ai
salutaire
trouv
endan
é
la
un
Enfan
ami.
mo
Wilfried
j'ai
Jouve
a
,
oir
a.k.a
n
Wiwi,
presque
qui
Que
a
v
égalemen
e
t
orte
partagé
té,
mon
onheur
b
joie
ureau.
ymie,
Sans
ce
rancune,
qui
j'esp
v
ère
si
!
Nicolas
Je
alix,
me
enhague
souviendrai
enhavn)
de
le
sa
er
com
v
p
bre
ag
Remerciemen
ns
t
es
dédiés
c
au
La
dév
tités.
elopp
les
em
rvices
en
conception
t
t
de
tandis
services
p
de
y
comm
es
unications
ons
Résumé
d
Les
ons
services
t
de
dév
téléph
dans
o
Mots
n
logiques
ie
t
IP
Les
exploiten
a
t
ications.
des
s
ressources
le
réseaux
notammen
p
t
o
ce
u
sous-jacen
r
services
automatiser
nommé
le
o
traite-
pro
men
ces
t
i
des
l'utilisation
stim
de
uli
de
de
unications,
comm
p
un
p
ication.
co
Cep
con
endan
description
t,
de
l'
tes
a
une
jout
d
de
con-
services
m
rend
cole
vulnérable
existan
un
t
système
sur
de

téléphonie
nommé
et
er
p
erses
eut
t
in
co
terrompre
a
son
elopp
fonctionn
ications.
e
conçu
men
qui
t
co
nominal.
étap
P
en
our
elopp
préserv
et
er
le
un
men
système
comm
de
c
téléphonie,
que
il
au
faut
elles
garan
dév
tir
les
certaines
édiés,
propriétés
,
d
la
e
d'exprimer
fonctionnemen
co
t
ces
des
logiques
services
doiv
déplo
ecter
y
tes
és.
par
Il
vironnemen
ex-
n
iste
thèse
des
suiv
solutions

de
ons
dév
a
elopp
des
emen
comm
t
analyse
de
tre
services
de
garan
fond
tissan
le
t
.
des
c
propriétés
p
de
elopp
fonctionnemen
services
t
unications
mais
son
leur
présen
expressivité
a
est
un
réduite,
p
limitan
dév
t
s
grandemen
routage.
t
p
leur
garan
utilisation.
propriétés
Cette
pro-
thèse
e
prop

ose
o
une
le
appro
t
c
comm
he
a
fondée
ce
sur
langa
l
an
e
ose
concept
services
des
a
langages
en
dédiés
p
p
v
our
t
dév
de
elopp
t.
er
o
des
tation
services
amélioren
de
cessus
comm
e
unications.
des
Les
s
langages
et
dédiés
abilité.
(Domain-Sp
fondée
e
langages
cic
prop
L
thèse
anguages)
des
p
de
ermetten
ersp
t
t
de
emen
rép
distribués
ondre
ub
au
Langages
b
de
esoin
e
de
logiciel
d
que
év
seconde
elopp
ermet
emen
des
t
de
dans
ordination
un
our
domaine
en
particulier.
Ces
Ils
de
i
ordination
n
en
tro
resp
duisen
les
t
train
une
ex
expressivité
rimées
et
la
un
d'en
degré
t.
de
co
v
tributions
érication
cette
adaptés
son
et
les
sp
an
éciques
:
à
Nous
un
v
domaine.
eectué
Les
an
propriétés
l
critiques
se
d'un
services
domaine
e
son
un
t
Cette
v
se
ériées
cen
statiquemen
sur
t
services
par
com
le
unications
compilateur
é
du
sur
langage.
proto
Deux
SIP
nouv
L
eaux
appro
langages
hes
dédiés
tes
au
our
domaine
dév
des
emen
co
de
mm
de
unications
omm
on
fondées
t
SIP
été
t
dév
t
elopp
tées.
és
Nous
:
v
SPL
conçu
(Session
langage,
Programming
SPL,
Language)
ermettan
et
de
P
elopp
an
des
taxou.
e
Le
de
langage
Div
SPL
analyses
sert
our
à
langage
traiter
tissen
des
des
messages
critiques
de
u
signalisation
to
p
l
our
SIP
la
t.
téléphonie
Nous
IP
v
.
n
SPL
généralisé
ore
dév
des
emen
abstractions
de
sp
de
éciq
un
u
Nous
es
v
p
dans
our
cadre
garan
un
tir
ge,
les
P
propriétés
taxou,
critiques
prop
de
une
la
de
télép
de
honie
ordin
IP
ti
.
n
Le
deux
lan
es
g
ermettan
age
des
P
érications
an
amon
taxou
du
généralise
cessus
la
dév
n
emen
o

ti
concepti
o
n
n
l'implémen
de
de
services
langages
de
t
comm
pro
unications
de
in
elopp
tro
-
duite
t
par
serv
SPL
ce
en
de
p
unications
ermettan
notammen
t
leur
la
L'appro
co
he
ordination
sur
d'en
des
tités
dédiés
comm
nous
unican
osons
tes.
cette
Ce
ouvre,
langage
delà
se
services
décomp
téléphonie,
ose
nouv
en
p
deu
ectiv
x
quan
parties
au
:
elopp
la
t
première
systèmes
consiste
comme
à
systèmes
décrire
iquitaires.
un
clés
en
d
vironnemen
services
t
comm
d'en
téléphoni
tités
IP
comm
génie
unican
Langages
tes,

Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin