Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Systems and Software Année : 2015

Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems

Résumé

Self-Adaptive Systems modify their behavior at run-time in response to changing environmental conditions. For these systems, Non-Functional Requirements play an important role, and one has to identify as early as possible the requirements that are adaptable. We propose an integrated approach for modeling and verify- ing the requirements of Self-Adaptive Systems using Model Driven Engineering techniques. For this, we use Relax, which is a Requirements Engineering language which introduces flexibility in Non-Functional Require- ments. We then use the concepts of Goal-Oriented Requirements Engineering for eliciting and modeling the requirements of Self-Adaptive Systems. For properties verification, we use OMEGA2/IFx profile and toolset. We illustrate our proposed approach by applying it on an academic case study.
Fichier principal
Vignette du fichier
Ahmad_15015.pdf (4.73 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01278903 , version 1 (25-02-2016)

Identifiants

Citer

Manzoor Ahmad, Nicolas Belloir, Jean-Michel Bruel. Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems. Journal of Systems and Software, 2015, vol. 107, pp. 50-70. ⟨10.1016/j.jss.2015.05.028⟩. ⟨hal-01278903⟩
300 Consultations
516 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More