Towards a requirements specification multi-view framework for self-adaptive systems - Université Paris 1 Panthéon-Sorbonne Access content directly
Journal Articles CLEI electronic journal Year : 2015

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


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.
Fichier principal
Vignette du fichier
CLEI-Journal.pdf (3.67 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01215245 , version 1 (02-11-2015)


  • 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⟩
130 View
178 Download


Gmail Facebook X LinkedIn More