Modèles comportementaux pour le contrôle de composants logiciels autonomes - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

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

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01224291 , version 1

Cite

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⟩
283 View
216 Download

Share

Gmail Mastodon Facebook X LinkedIn More