ACTRESS: Domain-Specific Modeling of Self-Adaptive Software Architectures

Filip Krikava 1, * Philippe Collet 2 Robert France 3
* Auteur correspondant
1 SPIRALS - Self-adaptation for distributed services and large software systems
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
2 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MODALIS
SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
Abstract : A common approach for engineering self-adaptive software systems is to use Feedback Control Loops (FCLs). Advances have led to more explicit and safer design of some control architectures, however, there is a need for more integrated and systematic approaches that support end-to-end integration of FCLs into software systems. In this paper, we propose a tooled approach that enables researchers and engineers to design and integrate adaptation mechanisms into software systems through FCLs. It consists of a domain-specific modeling language that raises the level of abstraction on which FCLs are defined, making them amenable to automated analysis and implementation code synthesis. The language supports composition, distribution and reflection, thereby enabling coordination and composition of multiple distributed FCLs. Its use is facilitated by a modeling environment, ACTRESS, that provides support for modeling, verification and complete code generation. We report on its application to a concrete adaptation case study and also discuss resulting properties.
Type de document :
Communication dans un congrès
Symposium On Applied Computing, Mar 2014, Gyeongju, South Korea. 2014


https://hal.inria.fr/hal-00951798
Contributeur : Krikava Filip <>
Soumis le : mercredi 26 février 2014 - 09:37:15
Dernière modification le : mardi 19 janvier 2016 - 01:07:24
Document(s) archivé(s) le : lundi 26 mai 2014 - 11:10:36

Fichier

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

Identifiants

  • HAL Id : hal-00951798, version 1

Citation

Filip Krikava, Philippe Collet, Robert France. ACTRESS: Domain-Specific Modeling of Self-Adaptive Software Architectures. Symposium On Applied Computing, Mar 2014, Gyeongju, South Korea. 2014. <hal-00951798>

Partager

Métriques

Consultations de
la notice

436

Téléchargements du document

521