Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Journal articles

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.
Complete list of metadata

Cited literature [33 references]  Display  Hide  Download
Contributor : Juan Carlos Muñoz Fernández Connect in order to contact the contributor
Submitted on : Monday, November 2, 2015 - 4:38:44 PM
Last modification on : Friday, April 29, 2022 - 10:12:49 AM
Long-term archiving on: : Wednesday, February 3, 2016 - 10:22:53 AM


Files produced by the author(s)


  • HAL Id : hal-01215245, version 1



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). ⟨hal-01215245⟩



Record views


Files downloads