Vers un déploiement sûr et flexible des composants logiciels

Meriem Belguidoum (1) , Fabien Dagnat (2)

1 UMC - Université Frères Mentouri – Constantine 1 = Constantine 1 – Frères Mentouri University
2 INFO - Département informatique

Les applications deviennent de plus en plus complexes. Pour faciliter leur gestion elles sont représentées par des collections de composants qui sont partagés. Ainsi, une opération de déploiement concernant une application aura un effet sur toutes les applications qui l'utilisent. Une telle opération nécessite la connaissance préalable de toutes les dépendances de ces applications. Les approches de gestion du déploiement actuelles sont ad hoc et ne permettent pas de gérer correctement ces dépendances. Il est donc crucial de maîtriser et de vérifier le bon déroulement du déploiement.Pour cela, nous proposons un méta-modèle générique pour le déploiement automatique et flexible des composants ainsi qu'une description formelle de ce modèle pour vérifier et garantir le bon déroulement du déploiement.Enfin, nous proposons un système formel intégrant les propriétés non fonctionnelles dans la gestion du déploiement.L'intérêt est de pouvoir personnaliser le déploiement en fonction des exigences et des besoins pour le rendre plus flexible.

Mots clés: Composants logiciels; Déploiement sûr; Gestion des dépendances; Modélisation; Preuve formelle

Domaines: Calcul parallèle, distribué et partagé [cs.DC]; Génie logiciel [cs.SE]

Meriem Belguidoum, Fabien Dagnat. Vers un déploiement sûr et flexible des composants logiciels. NOTERE 2009 : neuvième conférence internationale sur les nouvelles technologies de la répartition, Jun 2009, Montréal, Canada. ⟨hal-02061819⟩