Skip to Main content Skip to Navigation
Theses

Approche langage au développement logiciel : application au domaine des systèmes d'informatique ubiquitaire

Julien Mercadal 1
1 Phoenix - Programming Language Technology For Communication Services
EA4136 - Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux], Inria Bordeaux - Sud-Ouest, LaBRI - Laboratoire Bordelais de Recherche en Informatique
Résumé : Face à l'augmentation de la taille et de la complexité des systèmes logiciels, il convient de les décrire à un plus haut niveau d'abstraction (\ie au-delà du code) avant de concrètement les implémenter. Toutefois, l'utilisation de ces descriptions de haut niveau dans les processus de construction et de vérification des systèmes reste très rudimentaire, ne permettant pas de véritablement guider et faciliter le développement logiciel. Cette thèse propose une nouvelle approche pour rendre plus simple et plus sûr le développement de systèmes logiciels. Cette approche repose sur l'utilisation de langages dédiés et sur un couplage fort entre une couche de spécification et d'architecture et une couche d'implémentation. Elle consiste tout d'abord à décrire à un haut niveau d'abstraction différents aspects, à la fois fonctionnels et non fonctionnels, d'un système dans la couche de spécification et d'architecture. Ces descriptions sont ensuite analysées et utilisées pour personnaliser la couche d'implémentation, afin de faciliter la construction et la vérification du système logiciel. Nous illustrons notre approche dans le domaine de l'informatique ubiquitaire. À la suite d'une analyse complète du domaine, nous avons conçu deux langages dédiés à l'orchestration d'objets communicants, Pantaxou et Pantagruel.
Complete list of metadatas

Cited literature [147 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00654268
Contributor : Julien Mercadal <>
Submitted on : Wednesday, December 21, 2011 - 2:34:48 PM
Last modification on : Tuesday, February 5, 2019 - 3:26:04 PM
Document(s) archivé(s) le : Monday, December 5, 2016 - 6:48:50 AM

Identifiers

  • HAL Id : tel-00654268, version 1

Collections

Citation

Julien Mercadal. Approche langage au développement logiciel : application au domaine des systèmes d'informatique ubiquitaire. Langage de programmation [cs.PL]. Université Sciences et Technologies - Bordeaux I, 2011. Français. ⟨tel-00654268⟩

Share

Metrics

Record views

1211

Files downloads

3875