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