Analyse des dépendances pour le déploiement automatique de composants

Resume Le developpement constant des systemes informatiques et reseaux ambiants rend leur construction de plus en plus complexe. La diversite des equipements utilises concerne aussi bien les terminaux d’acces que les infrastructures de communication. Les applications doivent pouvoir etre accedees de maniere permanente depuis ces terminaux, possedant des caracteristiques differentes, tout en preservant la qualite de service qu’elles requierent. L’objectif de ce travail est d’etudier les differents types de dependances en terme de contraintes logicielles, materielles, environnementales et des besoins de l’utilisateur. Ces contraintes doivent etre decrites explicitement afin de concevoir un modele de deploiement automatique pour ces applications. Les modeles de deploiement existants (CCM, OSGI, InstallShield, etc.) ne sont pas vraiment autonomes, il est donc necessaire d’avoir des approches d’administration structurees et systematiques. Pour cela, nous voulons d’une part augmenter le degre d’expressivite de la description de ces dependances et d’autre part les formaliser. La formalisation choisie est representee par un systeme logique qui decrit les dependances liees a l’installation des composants logiciels. Dans le systeme etudie, nous utilisons deux types de regles, des regles logiques de verification de l’installabilite et des regles d’installation effective. Le choix de formaliser le deploiement se justifie par l’apport des techniques de verification et validation dans le deploiement au sein des systemes informatiques.