Adaptations dynamiques et orthogonales de composants logiciels distribués
Résumé
L'évolution logicielle de systèmes distribués en cours de fonctionnement, aujourd'hui peu maîtrisée, devra être prise en charge dans les plates-formes intergicielles de demain. Nous explorons cette direction dans le cadre d'une plate-forme componentielle exploratoire, Comet, en expérimentant le support dynamique de services distribués nommés protocoles. Les changements locaux nécessaires pour opérationnaliser ces protocoles sont décrits de façon orthogonale --- indépendamment des composants applicatifs déjà déployés --- sous la forme de rôles. Nous distinguons trois familles principales d'adaptations via les notions de rôles fonctionnels, de crochets et de filtres. L'application d'un protocole, par assignation dynamique des rôles le définissant, permet la mise à jour incrémentale des systèmes. Les protocoles que nous présentons dans cette étude concernent le déboguage adaptatif et la synchronisation du flux de communication dans le cadre d'une application simple de client/serveur multimédia. Les vérifications associées aux adaptations dynamiques présentées se divisent en trois catégories: contrats de typage, d'accès et de sécurité. Nous proposons également une première évaluation en conditions réelles de ce moteur adaptatif, dans le cadre de notre exemple applicatif.