RELAXing Claims: Coping With Uncertainty While Evaluating Assumptions at Run Time

Abstract : Self-adaptation enables software systems to respond to changing environmental contexts that may not be fully understood at design time. Designing a dynamically adaptive system (DAS) to cope with this uncertainty is challenging, as it is impractical during requirements analysis and design time to anticipate every environmental condition that the DAS may encounter. Previously, the RELAX language was proposed to make requirements more tolerant to environmental uncertainty, and Claims were applied as markers of uncertainty that document how design assumptions affect goals. This paper integrates these two techniques in order to assess the validity of Claims at run time while tolerating minor and unanticipated environmental conditions that can trigger adaptations. We apply the proposed approach to the dynamic reconfiguration of a remote data mirroring network that must diffuse data while minimizing costs and exposure to data loss. Results show RELAXing Claims enables a DAS to reduce adaptation costs.
Type de document :
Communication dans un congrès
MODELS 2012 - ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems, Sep 2012, InnsBruck, Austria. Springer, LNCS, 7590, pp.53-69, 2012, MODELS 2012: Model Driven Engineering Languages and Systems. 〈10.1007/978-3-642-33666-9_5〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00718997
Contributeur : Nelly Bencomo <>
Soumis le : mercredi 18 juillet 2012 - 16:36:33
Dernière modification le : vendredi 25 mai 2018 - 12:02:02

Lien texte intégral

Identifiants

Collections

Citation

Andres Ramirez, Betty H.C. Cheng, Nelly Bencomo, Pete Sawyer. RELAXing Claims: Coping With Uncertainty While Evaluating Assumptions at Run Time. MODELS 2012 - ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems, Sep 2012, InnsBruck, Austria. Springer, LNCS, 7590, pp.53-69, 2012, MODELS 2012: Model Driven Engineering Languages and Systems. 〈10.1007/978-3-642-33666-9_5〉. 〈hal-00718997〉

Partager

Métriques

Consultations de la notice

198