A Commutative Model Composition Operator to Support Software Adaptation

Abstract : The adaptive software paradigm supports the definition of software systems that are continuously adapted at run-time. An adaptation activates multiple features in the system, according to the current execution context (e.g., CPU consumption, available bandwidth). However, the underlying approaches used to implement adaptation are ordered, i.e., the order in which a set of features are turned on or off matters. Assuming feature definition as etched in stone, the identification of the right sequence is a difficult and time-consuming problem. We propose here a composition operator that intrinsically supports the commutativ-ity of adaptations. Using this operator, one can minimize the number of ordered compositions in a system. It relies on an action-based approach, as this representation can support preexisting composition operators as well as our contribution in an uniform way. This approach is validated on the Service-Oriented Architecture domain, and is implemented using first-order logic.
Type de document :
Communication dans un congrès
ECMFA 2012 - 8th European Conference on Modelling Foundations and Applications, Jul 2012, Lyngby, Denmark. Springer, pp.4-19, 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00689706
Contributeur : Laurence Duchien <>
Soumis le : mardi 30 octobre 2018 - 08:56:43
Dernière modification le : mercredi 14 novembre 2018 - 11:06:06

Fichier

ecmfa2012.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00689706, version 1

Collections

Citation

Sébastien Mosser, Mireille Blay-Fornarino, Laurence Duchien. A Commutative Model Composition Operator to Support Software Adaptation. ECMFA 2012 - 8th European Conference on Modelling Foundations and Applications, Jul 2012, Lyngby, Denmark. Springer, pp.4-19, 2012. 〈hal-00689706〉

Partager

Métriques

Consultations de la notice

281