• 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