Langages dédiés au développement de services de communications, Domain-Speci?c Languages for Developing Communication Services

Nicolas Palix

Description

Sous la direction de Charles Consel
Thèse soutenue le 17 septembre 2008: Bordeaux 1
Les services de téléphonie IP automatisent le traitement des stimuli de communication en utilisant des ressources réseaux. Cependant, l'ajout de services rend vulnérable le système de téléphonie car certaines propriétés de fonctionnement des services déployés ne sont pas garanties. Aucune solution de développement de services ne permet de simultanément garantir des propriétés de fonctionnement et d'exploiter des ressources réseaux. Cette thèse propose une approche fondée sur le concept des langages dédiés pour développer des services de communications. Deux nouveaux langages dédiés au domaine des communications ont été développés : SPL et Pantaxou. Le premier sert à router des messages de signalisation tandis que le second, plus généraliste, permet la coordination d'entités communicantes. Dans cette thèse, nous démontrons, grâce à SPL et Pantaxou, que les services de communications peuvent être développés avec un langage de programmation expressif tout en préservant des propriétés critiques du domaine.
-Langages dédiés
-Services de communications
-Téléphonie IP
-Génie logiciel
IP telephony services use network resources to automate communication stimuli processing. However, deploying services on a telephony system leads to safety issues and programmers need to ensure some safety properties on their services. Several approaches allowing service development have quickly emerged. However, none of them is both expressive and safe. This thesis proposes a new approach that relies on domain-specific languages (DSL) to develop communication services. Two new DSLs have been designed for communication services, namely SPL (Session Processing Language) and Pantaxou. The first one allows to route signaling messages while the second one, more generalist, enables to define coordination logics of communicating entities. In this thesis, we demonstrate thanks to SPL and Pantaxou that communication services could be developed with an expressive programming language that preserves some critical domain properties.
-Domain-Specific Languages
-Communication Services
-IP Telephony
-Software Engineering
Source: http://www.theses.fr/2008BOR13623/document

Sujets

• Langage dédié
• Voix sur réseau IP
• Génie logiciel

Informations

• Publié par: Thesee
• Nombre de lectures: 49
• Langue: Français
• Poids de l'ouvrage: 2 Mo

Extrait

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
té
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