Modèles comportementaux pour le contrôle de composants logiciels autonomes - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2015

Modèles comportementaux pour le contrôle de composants logiciels autonomes

Résumé

Les systèmes logiciels modernes et leur architecture doivent s'adapter dynamiquement de façon réactive aux événements provenant de l'environnement (p. ex. la charge de travail demandée par les utilisateurs, les modifications apportées aux fonctionnalités) et de la plate-forme d'exécution (p. ex. les ressources disponibles). Les architectures à base de composants ont montré leur adéquation pour l'auto-adaptation, non seulement en raison de leurs caractéristiques intrinsèques, comme la réutilisation et la modularité, mais aussi en raison de leurs capacités de reconfiguration dynamique. Cependant, les solutions existantes sont basées souvent sur des langages de bas niveau, impératifs, et sans modèle comportemental. Cet article présente Ctrl-F, un langage dédié pour le support de haut niveau pour la spécification des comportements et des politiques d'adaptation dans les système à base de composants logiciels. Nous nous appuyons sur la programmation réactive pour la vérification et le contrôle des reconfigurations. Nous intégrons Ctrl-F avec FraSCAti, une plate-forme intergicielle pour les architectures réparties orientées services.
Fichier principal
Vignette du fichier
paper 14.pdf (600.54 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01224291 , version 1 (04-11-2015)

Identifiants

  • HAL Id : hal-01224291 , version 1

Citer

Frederico Alvares de Oliveira, Eric Rutten, Lionel Seinturier. Modèles comportementaux pour le contrôle de composants logiciels autonomes. MSR 2015 - Modélisation des Systèmes Réactifs, Nov 2015, Nancy, France. ⟨hal-01224291⟩
366 Consultations
232 Téléchargements

Partager

More