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

Filip Krikava 1, * Philippe Collet 2 Robert France 3
* Corresponding author
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
Laboratoire I3S - 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [35 references]  Display  Hide  Download

https://hal.inria.fr/hal-00951798
Contributor : Krikava Filip <>
Submitted on : Wednesday, February 26, 2014 - 9:37:15 AM
Last modification on : Thursday, February 21, 2019 - 10:52:55 AM
Long-term archiving on : Monday, May 26, 2014 - 11:10:36 AM

File

dads14-paper.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-00951798⟩

Share

Metrics

Record views

653

Files downloads

851