High-level Language Support for the Control of Reconfiguration in Component-based Architectures

Frederico Alvares de Oliveira Jr. 1 Eric Rutten 1 Lionel Seinturier 2
2 SPIRALS - Self-adaptation for distributed services and large software systems
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
Abstract : Architecting in the context of variability has become a real need in nowadays software development. Modern software systems and their architecture must adapt dynamically to events coming from the environment (e.g., workload requested by users, changes in functionality) and the execution platform (e.g., resources availability). Component-based architectures have shown to be very suited for self-adaptation purposes, not only because of their intrinsic characteristics like reusability and modularity, but also as virtue of their dynamical reconfiguration capabilities. The issue, nevertheless, remains that adaptation behaviors are generally conceived by means of fine-grained reconfiguration actions from the very initial configurations. This way, besides the complexity in managing large-sized architectures, the space of reachable configurations is not know in advance, which prevents ensuring well-mastered adaptive behaviours. This paper presents Ctrl-F, a domain-specific language whose objective is to provide high-level support for describing adaptation behaviours and policies in component-based architectures. The proposed language lies on synchronous reactive programming, which means that it benefits of an entire environment and formal tooling allowing for the verification and control of reconfigurations. We show the applicability of Ctrl-F by first integrating it to FraSCAti, a Service Component Architecture middleware platform, and then by applying it to Znn.com, a well known self-adaptive case study.
Type de document :
Rapport
[Research Report] RR-8669, INRIA Grenoble - Rhône-Alpes; INRIA Lille - Nord Europe; Laboratoire d'Informatique Fondamentale de Lille; INRIA. 2015
Liste complète des métadonnées


https://hal.inria.fr/hal-01103548
Contributeur : Frederico Alvares de Oliveira Jr. <>
Soumis le : mercredi 14 janvier 2015 - 22:40:11
Dernière modification le : vendredi 16 septembre 2016 - 15:15:08
Document(s) archivé(s) le : samedi 15 avril 2017 - 18:57:37

Fichier

RR-8669.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01103548, version 1

Citation

Frederico Alvares de Oliveira Jr., Eric Rutten, Lionel Seinturier. High-level Language Support for the Control of Reconfiguration in Component-based Architectures. [Research Report] RR-8669, INRIA Grenoble - Rhône-Alpes; INRIA Lille - Nord Europe; Laboratoire d'Informatique Fondamentale de Lille; INRIA. 2015. <hal-01103548>

Partager

Métriques

Consultations de
la notice

371

Téléchargements du document

260