Des protocoles de métaobjets aux noyaux versatiles pour la programmation par aspects

L'avènement des systèmes logiciels complexes nécessite une amélioration de la modularisation et de l'adaptation des logiciels. Cette thèse traite de deux approches axées sur les langages de programmation, la réflexion et la programmation par aspects (PPA). La réflexion est une approche très générale, initialement centrée sur l'adaptation, qui souffre de problèmes de coûts et de complexité. Par ailleurs, la réflexion est rendue accessible par les protocoles de métaobjets qui, paradoxalement, sont rigides et donc lus ou moins adaptés à une situation donnée. Face à ces problèmes, la PPA a été proposée comme une alternative dont la spécificité contraste vec la généralité de la réflexion. Bien que la PPA fournisse un upport plus adéquat de modularisation, par le biais de l'utilisation de langages d'aspects dédiés, la plupart des propositions compromettent la flexibilité et l'extensibilité. Cette thèse réconcilie les deux approches en proposant un modèle de réflexion qui supporte à la fois la généralité des systèmes réflexifs et la spécificité de la PPA. Le modèle promeut au statut d'entités de première classe les liens associant les programmes de bases et les métaobjets. La définition précise des liens améliore l'efficacité en appliquant la réflexion seulement aux endroits appropriés, implémentant ainsi une forme de réflexion partielle. Elle résout également le problème de complexité en permettant la spécialisation détaillée des protocoles de métaobjets et une structuration souple du métaniveau. Nous proposons ensuite un substrat versatile pour la PPA basé sur la réflexion partielle, étendue avec des capacités de composition. Une implémentation ouverte, ajustable et flexible, est développée pour Java. Elle est ensuite étendue en un noyau versatile pour la PPA supportant les langages d'aspects (éventuellement spécifiques à des domaines), et la composition d'aspects définis dans des langages différents. Par conséquent, nos travaux comblent le vide entre les protocoles de métaobjets et la PPA d'une manière mutuellement profitable. Des applications significatives de notre prototype dans différents contextes, comme la programmation de systèmes distribués et concurrents, valident de manière empirique notre proposition.NANTES-BU Sciences (441092104) / SudocNANTES-ENS Mines (441092314) / SudocSudocFranceF