DocumentCode :
643850
Title :
Self-adaptive systems requirements modelling: Four related approaches comparison
Author :
Ahmad, Mohiuddin ; Araujo, Jean ; Belloir, Nicolas ; Bruel, Jean-Michel ; Gnaho, Christophe ; Laleau, Regine ; Semmak, Farida
Author_Institution :
Univ. de Toulouse, Toulouse, France
fYear :
2013
fDate :
16-16 July 2013
Firstpage :
37
Lastpage :
42
Abstract :
When developing Self Adaptive Systems (SAS), their highly adaptiveness has to be taken into account as early as the requirements elicitation. Because such systems modify their behaviour at run-time in response to changing environmental conditions, Non Functional Requirements (NFR´s) play an important role. One has to identify as early as possible the requirements that are adaptable. Because of the inherent uncertainty in these systems, goal based approaches can help in the development of their requirements. In order to cope with this purpose, we have defined a combined approach based on several requirements modelling techniques. In this paper we use a common case study and well defined comparison criteria to illustrate the way those techniques can benefit from each other. This submission is a synthesis and hence make some reference of more specific requirements models submissions.
Keywords :
formal specification; formal verification; self-adjusting systems; nonfunctional requirements; requirements elicitation; self-adaptive systems requirements modelling; Adaptation models; Adaptive systems; Conferences; Context; Context modeling; Uncertainty;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Comparing Requirements Modeling Approaches Workshop (CMA@RE), 2013 International
Conference_Location :
Rio de Janeiro
Type :
conf
DOI :
10.1109/CMA-RE.2013.6664183
Filename :
6664183
Link To Document :
بازگشت