REFAS: A PLE Approach for Simulation of Self-Adaptive Systems Requirements

Juan C Muñoz-Fernández 1, 2 Gabriel Tamura 2 Irina Raicu 1, 3 Raúl Mazo 1 Camille Salinesi 1
1 CRI - Centre de Recherche en Informatique de Paris 1
2 Department of Information and Communications Technologies
3 Bucharest University of Economic Studies
Abstract : Model simulation has demonstrated its usefulness in evaluation and decision-making for improving preliminary versions of artefacts before production. Particularly, one of the main goals of simulation is to verify model properties based on data collected from its execution. In this paper, we present the simulation capabilities of our REFAS framework for specifying requirements models for dynamic software products lines and self-adaptive systems. The simulation is controlled by a feedback loop and a reasoning engine that operates on the functional and non-functional requirements. The paper contribution is threefold. First, REFAS allows developers to evaluate and improve requirements models through their simulation capabilities. Second, REFAS provides rich feedback in its interactive simulations for the human modeller to make informed decisions to improve her model. Third, REFAS automates the generation of simulation scenarios required to verify the model adequacy and correctness. We evaluate our contribution by comparing the application of REFAS to a case study used in other approaches.
Keywords : Requirements engineering dynamic software product lines dynamic adaptation simulation MAPE-K loops
Type de document :
Communication dans un congrès
SPLC 2015, Jul 2015, Nashville, United States. 1, pp.444, 2015, Proceedings 19th International Software Product Line Conference. 〈www.splc2015.net〉. 〈10.1145/2791060.2791102〉
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger
https://hal-paris1.archives-ouvertes.fr/hal-01185791
Contributeur : Juan Carlos Muñoz Fernández <>
Soumis le : vendredi 21 août 2015 - 15:15:59
Dernière modification le : lundi 21 mars 2016 - 17:43:32
Document(s) archivé(s) le : mercredi 26 avril 2017 - 10:11:42

Fichier

REFAS paper SPLCv27.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

UNIV-PARIS1 | CRI | TDS-MACS

Citation

Juan C Muñoz-Fernández, Gabriel Tamura, Irina Raicu, Raúl Mazo, Camille Salinesi. REFAS: A PLE Approach for Simulation of Self-Adaptive Systems Requirements. SPLC 2015, Jul 2015, Nashville, United States. 1, pp.444, 2015, Proceedings 19th International Software Product Line Conference. 〈www.splc2015.net〉. 〈10.1145/2791060.2791102〉. 〈hal-01185791〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

127

Téléchargements de fichiers

130

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD