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

De
Publié par

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
Publié le : mardi 25 octobre 2011
Lecture(s) : 47
Nombre de pages : 236
Voir plus Voir moins

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,

Soyez le premier à déposer un commentaire !

17/1000 caractères maximum.

Diffusez cette publication

Vous aimerez aussi