Towards a requirements specification multi-view framework for self-adaptive systems

Abstract : The analysis of self-adaptive systems (SAS) requirements involves addressing uncertainty from several sources. Despite advances in requirements for SAS, uncertainty remains an extremely difficult challenge. In this paper, we propose REFAS, a framework to model the requirements of self-adaptive software systems. Our aim with REFAS is to address and reduce uncertainty and to provide a language with sufficient power of expression to specify the different aspects of self-adaptive systems, relative to functional and non-functional requirements. The REFAS modeling language includes concepts closely related to these kind of requirements and their fulfillment, such as context variables, claims, and soft dependencies. Specifically, the paper's contribution is twofold. First, REFAS supports different viewpoints and concerns related to requirements modeling, with key associations between them. Moreover, the modeler can define additional models and views by exploiting the REFAS meta-modeling capability, in order to capture additional aspects contributing to reduce uncertainty. Second, REFAS promotes in-depth analysis of all of the modeled concerns with aggregation and association capabilities, especially with context variables. Furthermore, we also define a process that enforces modeling requirements , considering different aspects of uncertainty. We demonstrate the applicability of REFAS by using the VariaMos software tool, which implements the REFAS meta-model, views, and process.
Type de document :
Article dans une revue
CLEI electronic journal, 2015, Best Papers from CLEI 2014 Special Issue, 18 : 2015 (2, August 2015), 〈http://www.clei.org/cleiej/volume.php〉
Liste complète des métadonnées

Littérature citée [33 références]  Voir  Masquer  Télécharger

https://hal-paris1.archives-ouvertes.fr/hal-01215245
Contributeur : Juan Carlos Muñoz Fernández <>
Soumis le : lundi 2 novembre 2015 - 16:38:44
Dernière modification le : lundi 21 mars 2016 - 17:34:17
Document(s) archivé(s) le : mercredi 3 février 2016 - 10:22:53

Fichier

CLEI-Journal.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01215245, version 1

Collections

Citation

Juan C Muñoz-Fenández, Gabriel Tamura, Raúl Mazo, Camille Salinesi. Towards a requirements specification multi-view framework for self-adaptive systems. CLEI electronic journal, 2015, Best Papers from CLEI 2014 Special Issue, 18 : 2015 (2, August 2015), 〈http://www.clei.org/cleiej/volume.php〉. 〈hal-01215245〉

Partager

Métriques

Consultations de la notice

113

Téléchargements de fichiers

125