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 metadatas

Cited literature [33 references]  Display  Hide  Download

https://hal-paris1.archives-ouvertes.fr/hal-01215245
Contributor : Juan Carlos Muñoz Fernández <>
Submitted on : Monday, November 2, 2015 - 4:38:44 PM
Last modification on : Monday, March 21, 2016 - 5:34:17 PM
Long-term archiving on : Wednesday, February 3, 2016 - 10:22:53 AM

File

CLEI-Journal.pdf
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

195

Files downloads

212