Skip to Main content Skip to Navigation
Journal articles

A Domain-specific Language for The Control of Self-adaptive Component-based Architecture

Frederico Alvares 1, 2, 3 Eric Rutten 4, 5 Lionel Seinturier 6
2 ASCOLA - Aspect and Composition Languages
Inria Rennes – Bretagne Atlantique , LS2N - Laboratoire des Sciences du Numérique de Nantes
5 CTRL-A - Control for Autonomic computing systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble [2007-2015]
6 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 (CRIStAL) - UMR 9189
Abstract : Self-adaptive behaviors in the context of Component-based Architecture are generally designed based on past monitoring events, configurations (component assemblies) as well as behavioural programs defining the adaptation logics and invariant properties. Providing assurances on the navigation through the configuration space remains a challenge. That requires taking decisions on predictions on the possible futures of the system in order to avoid going into branches of the behavioural program leading to bad configurations. We propose the design of self-adaptive software components based on logical discrete control approaches, in which the self-adaptive behavioural models enrich component controllers with a knowledge not only on events, configurations and past history, but also with possible future configurations. This article provides the description, implementation and discussion of Ctrl-F, a Domain-specific Language whose objective is to provide high-level support for describing these control policies. Ctrl-F is formally defined by translation to Finite State Automata models, which allow for the exploration of behavioural programs by verification or Discrete Controller Synthesis, i.e., by automatically generating a controller to enforce correct self-adaptive behaviours. We integrate Ctrl-F with FraSCAti, a Service Component Architecture middleware platform and we illustrate the use of Ctrl-F by applying it to two case studies.
Document type :
Journal articles
Complete list of metadatas

Cited literature [38 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01450517
Contributor : Frederico Alvares de Oliveira Junior <>
Submitted on : Wednesday, February 15, 2017 - 3:09:56 PM
Last modification on : Thursday, July 9, 2020 - 9:44:51 AM

File

JSS16.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01450517, version 1

Citation

Frederico Alvares, Eric Rutten, Lionel Seinturier. A Domain-specific Language for The Control of Self-adaptive Component-based Architecture. Journal of Systems and Software, Elsevier, 2017. ⟨hal-01450517⟩

Share

Metrics

Record views

1288

Files downloads

787