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.
Type de document :
Communication dans un congrès
Stephan Merz and Jean-François Pétin. MSR 2015 - Modélisation des Systèmes Réactifs, Nov 2015, Nancy, France. 10è Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR’15
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01224291
Contributeur : Stephan Merz <>
Soumis le : mercredi 4 novembre 2015 - 14:50:43
Dernière modification le : samedi 18 novembre 2017 - 01:02:56
Document(s) archivé(s) le : vendredi 5 février 2016 - 11:12:42

Fichier

paper 14.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01224291, version 1

Citation

Frederico Alvares de Oliveira, Eric Rutten, Lionel Seinturier. Modèles comportementaux pour le contrôle de composants logiciels autonomes. Stephan Merz and Jean-François Pétin. MSR 2015 - Modélisation des Systèmes Réactifs, Nov 2015, Nancy, France. 10è Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR’15. 〈hal-01224291〉

Partager

Métriques

Consultations de
la notice

245

Téléchargements du document

143