Langues : English français
Accueil > Manifestations > Thèses et HDR > HDR > HDR Mario Südholt

HDR Mario Südholt

Résumé

Dans des applications de grande taille, on observe très fréquemment
des fonctionnalités transverses, c.-à-d. des fonctionnalités qui ne
peuvent pas être raisonnablement séparées en modules à l’aide de
moyens traditionnels de structuration, comme des composants.
L’identification de ces fonctionnalités et des problèmes qu’elles
posent constitue une des contributions clés récentes du génie
logiciel. Récemment, le développement de logiciels par aspects
(Aspect-Oriented Software Development, AOSD en anglais) s’est
imposé comme le domaine de recherche sur ce sujet. L’AOSD bénéficie
actuellement d’une position de choix dans le domaine du génie logiciel
parce qu’elle se place au carrefour d’un grand nombre de domaines
connexes de recherche, en particulier la conception des langages de
programmation et le développement à base de composants.

L’ensemble des travaux concernant l’AOSD a révélé plusieurs problèmes
qui ne peuvent pas être résolus d’une manière adéquate par les
approches habituelles. Ces problèmes concernent aussi bien la
fondation théorique du domaine que l’expression concise de
fonctionnalités complexes, la composition d’aspects et la synergie
entre aspects et composants logiciels pour la construction de systèmes
logiciels à grande échelle, en particulier pour la modularisation des
programmes répartis et concurrents.

Le leitmotiv des travaux rapportés dans cette HDR a été la recherche
de solutions à ces problèmes pour arriver à la modularisation concise
et correcte de fonctionnalités transverses non triviales dans des
systèmes logiciels de grande taille. Cet objectif a été abordé (i) par
la conception et l’implémentation de langages d’aspects expressifs (au
sens de langages d’aspects supportant la formulation explicite de
relations entre événements d’exécution au niveau des aspects) et (ii)
par l’élaboration de cadres formels pour la définition rigoureuse
d’aspects et de propriétés de programmes développés à l’aide
d’aspects.

Dernière modification : vendredi 13 janvier 2012