Show simple item record

dc.contributor.advisorConsel, Charles
dc.contributor.authorPALIX, Nicolas
dc.contributor.otherConsel, Charles
dc.contributor.otherCointe, Pierre
dc.contributor.otherHagimont, Daniel
dc.contributor.otherMarlet, Renaud
dc.date2008-09-17
dc.date.accessioned2020-12-14T21:10:33Z
dc.date.available2020-12-14T21:10:33Z
dc.identifier.urihttp://ori-oai.u-bordeaux1.fr/pdf/2008/PALIX_NICOLAS_2008.pdf
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/21629
dc.identifier.nnt2008BOR13623
dc.description.abstractLes 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.
dc.description.abstractEnIP 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.
dc.language.isofr
dc.subjectLangages dédiés
dc.subjectServices de communications
dc.subjectTéléphonie IP
dc.subjectGénie logiciel
dc.subject.enDomain-Specific Languages
dc.subject.enCommunication Services
dc.subject.enIP Telephony
dc.subject.enSoftware Engineering
dc.titleLangages dédiés au développement de services de communications
dc.title.enDomain-Speci?c Languages for Developing Communication Services
dc.typeThèses de doctorat
bordeaux.hal.laboratoriesThèses de l'Université de Bordeaux avant 2014*
bordeaux.institutionUniversité de Bordeaux
bordeaux.type.institutionBordeaux 1
bordeaux.thesis.disciplineInformatique
bordeaux.ecole.doctoraleÉcole doctorale de mathématiques et informatique (Talence, Gironde)
star.origin.linkhttps://www.theses.fr/2008BOR13623
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.title=Langages%20d%C3%A9di%C3%A9s%20au%20d%C3%A9veloppement%20de%20services%20de%20communications&rft.atitle=Langages%20d%C3%A9di%C3%A9s%20au%20d%C3%A9veloppement%20de%20services%20de%20communications&rft.au=PALIX,%20Nicolas&rft.genre=unknown


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record