Conception d'une infrastructure pour un déploiement sûr et flexible des composants logiciels

Le deploiement de logiciels est une tâche complexe car elle necessite la realisation de nombreuses actions ayant de fortes contraintes de dependance. Il recouvre toutes les activites qui composent le cycle de vie du logiciel depuis son developpement jusqu’a son utilisation. Dans le cadre de ce travail, nous nous interessons aux activites d’installation, de desinstallation et de mise a jour. En parallele, les applications deviennent de plus en plus complexes, ce qui provoque une explosion de leur taille. Pour faciliter leur gestion et leur reutilisation, elles sont representees par des collections de composants qui sont partages entre plusieurs applications. Ainsi, une operation de deploiement concernant une application aura un effet sur toutes les applications qui l’utilisent. Une telle operation, necessite la connaissance prealable de l’architecture sur laquelle repose les applications avec toutes leurs dependances. Les approches de gestion du deploiement actuelles sont souvent ad-hoc et se basent sur l’intervention d’experts pour resoudre les problemes et mener a bien le deploiement. De plus, il n’existe pas de moyens efficaces pour garantir le bon deroulement du deploiement. Il est donc crutial de changer ces approches en des approches plus structurees, plus flexibles et plus sures afin de maitriser et de verifier le deploiement. Pour cela, nous proposons un meta-modele generique pour le deploiement automatique des composants ainsi qu’un systeme formel pour verifier et garantir le bon deroulement du deploiement. Le meta-modele permet d’abstraire tous les concepts necessaires au deploiement ainsi, il peut etre reutilisable dans plusieurs contextes. Le systeme formel est une formalisation mathematique du modele generique. Il permet de demontrer et de prouver la reussite (le bon deroulement) et la surete (maintien de la coherence du systeme) des operations de deploiement. Enfin, nous proposons un systeme formel integrant les proprietes non fonctionnelles (version, niveau de securite, performance, etc. ) dans la gestion du deploiement. L’interet est de pouvoir prendre en compte plusieurs instances d’un meme composant ou d’un meme service selon la plate-forme visee afin de personnaliser le deploiement.