Formalisation de l'expression d'un plan de déploiement autonomique à base de contraintes - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

Formalisation de l'expression d'un plan de déploiement autonomique à base de contraintes

Abstract

Les systèmes ambiants sont devenus massivement distribués. Le nombre d'appareils hétérogènes, et la variété de composants logiciels à déployer sur ces systèmes pour en assurer le bon fonctionnement ne cessent de croître. Leur topologie est en évolution constante, liée à l'apparition et la disparition des dispositifs mobiles. De ce fait, le déploiement de logiciel dans ces systèmes est un problème ouvert. Notre approche pour diminuer la complexité de cette opération, est le déploiement autonomique. Dans cet article, nous partons d'un langage dédié (DSL) nommé MuScADeL, pour lequel nous proposons une formalisation de l'expression du déploiement autonomique. Ensuite, nous montrons comment traduire les propriétés de déploiement en un problème de satisfaction de contraintes, et comment nous obtenons un plan de déploiement conforme qui sera enfin interprété par un intergiciel de déploiement autonomique.
Fichier principal
Vignette du fichier
Boujbel_13091.pdf (428.75 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01135234 , version 1 (25-03-2015)

Identifiers

  • HAL Id : hal-01135234 , version 1
  • OATAO : 13091

Cite

Raja Boujbel, Sébastien Leriche, Jean-Paul Arcangeli, Oudom Kem. Formalisation de l'expression d'un plan de déploiement autonomique à base de contraintes. Journées francophones Mobilité et Ubiquité - UBIMOB 2014, Jun 2014, Nice, France. pp. 1-8. ⟨hal-01135234⟩
159 View
182 Download

Share

Gmail Facebook X LinkedIn More