Skip to Main content Skip to Navigation
New interface
Reports (Research report)

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 
1 CTRL-A - Control for Autonomic computing systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
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, a well known self-adaptive case study.
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download
Contributor : Frederico Alvares De Oliveira Jr. Connect in order to contact the contributor
Submitted on : Wednesday, January 14, 2015 - 10:40:11 PM
Last modification on : Tuesday, November 22, 2022 - 2:26:16 PM
Long-term archiving on: : Saturday, April 15, 2017 - 6:57:37 PM


Files produced by the author(s)


  • HAL Id : hal-01103548, version 1


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⟩



Record views


Files downloads