OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Ahmad, Manzoor and Belloir, Nicolas and Bruel, Jean-Michel Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems. (2015) Journal of Systems and Software, 107. 50-70. ISSN 0164-1212

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://dx.doi.org/10.1016/j.jss.2015.05.028


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.

Item Type:Article
Additional Information:Thanks to Elsevier editor. The definitive version is available at http://www.sciencedirect.com The original PDF of the article can be found at Journal of Systems and Software website : http://www.sciencedirect.com/science/journal/01641212
HAL Id:hal-01278903
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Université de Pau et des Pays de l'Adour - UPPA (FRANCE)
Laboratory name:
Deposited On:02 Feb 2016 13:14

Repository Staff Only: item control page