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

Résumé : 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.
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01135234
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Wednesday, March 25, 2015 - 9:20:26 AM
Last modification on : Wednesday, November 20, 2019 - 1:22:58 AM
Long-term archiving on: Thursday, July 2, 2015 - 6:22:11 AM

File

Boujbel_13091.pdf
Files produced by the author(s)

Identifiers

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

Collections

Citation

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⟩

Share

Metrics

Record views

227

Files downloads

245