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
LaBRI - Laboratoire Bordelais de Recherche en Informatique, Inria Bordeaux - Sud-Ouest, EA4136 - Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
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.
Type de document :
Thèse
Langage de programmation [cs.PL]. Université Sciences et Technologies - Bordeaux I, 2011. Français
Liste complète des métadonnées

Littérature citée [147 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00654268
Contributeur : Julien Mercadal <>
Soumis le : mercredi 21 décembre 2011 - 14:34:48
Dernière modification le : mercredi 9 septembre 2015 - 16:35:12
Document(s) archivé(s) le : lundi 5 décembre 2016 - 06:48:50

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

910

Téléchargements de fichiers

1663