Développement logiciel orienté paradigme de conception : la programmation dirigée par la spécification

Damien Cassou 1, 2
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é : Nombre d'applications ont pour comportement principal l'attente d'un événement venant d'un environnement extérieur, la préparation d'un résultat et l'exécution d'actions sur cet environnement. Les interfaces graphiques et les systèmes avioniques en sont des exemples. Le paradigme SCC, pour Sense--Compute--Control, est particulièrement adapté à la description de ces applications. Le développement d'applications suivant ce paradigme est cependant rendu difficile par le manque de cadre conceptuel et d'outils de support. Cette thèse propose un cadre conceptuel dédié au paradigme SCC et se concrétise par un langage de description d'architectures nommé DiaSpec. Ce langage fournit un cadre de travail pour guider le développement d'une application SCC en assignant des rôles aux membres du projet et en proposant une séparation des préoccupations. En plus de fournir un cadre de conception, cette thèse fournit un support de programmation. En effet, à partir de descriptions écrites en DiaSpec, un framework de programmation dédié est généré dans un langage cible. Ce framework de programmation guide l'implémentation d'une application SCC en exposant les mêmes abstractions que le langage DiaSpec. Ce framework de programmation est conçu de façon à assurer que l'implémentation d'une application est conforme à l'architecture décrite en DiaSpec, en s'appuyant sur le système de types du langage cible. Les contributions de cette thèse sont évaluées suivant des critères d'expressivité, d'utilisabilité et de productivité.
Type de document :
Thèse
Génie logiciel [cs.SE]. Université Sciences et Technologies - Bordeaux I, 2011. Français
Liste complète des métadonnées


https://tel.archives-ouvertes.fr/tel-00583246
Contributeur : Damien Cassou <>
Soumis le : lundi 5 mars 2012 - 20:41:46
Dernière modification le : jeudi 10 septembre 2015 - 01:08:35
Document(s) archivé(s) le : mercredi 14 décembre 2016 - 10:41:52

Fichier

Identifiants

  • HAL Id : tel-00583246, version 6

Collections

Citation

Damien Cassou. Développement logiciel orienté paradigme de conception : la programmation dirigée par la spécification. Génie logiciel [cs.SE]. Université Sciences et Technologies - Bordeaux I, 2011. Français. <tel-00583246v6>

Partager

Métriques

Consultations de
la notice

487

Téléchargements du document

624