• DocumentCode
    1835130
  • Title

    Reasoning about adaptive requirements for self-adaptive systems at runtime

  • Author

    Qureshi, Nauman A. ; Liaskos, Sotirios ; Perini, Anna

  • Author_Institution
    Fondazione Bruno Kessler - CIT, Trento, Italy
  • fYear
    2011
  • fDate
    30-30 Aug. 2011
  • Firstpage
    16
  • Lastpage
    22
  • Abstract
    Increasing proliferation of mobile applications challenge the role of requirements engineering (RE) in developing customizable and adaptive software applications for the end-users. Such adaptive applications need to alter their behavior while monitoring and evaluating the changes in the environment at runtime by being aware of their end-user´s needs, context and resources. More specifically, these applications should be able to: (i) reason about their own requirements and refine and validate them at run-time by involving end-users, if necessary; (ii) provide solutions for the refined or changed requirements at runtime, for instance by exploiting available services. In this position paper we focus on the first issue. We propose to extend our previous work on adaptive requirements with preference-based reasoning and automated planning to enable a continuous adaptive reasoning of requirements at runtime. We describe this vision using a navigation system example and highlight challenges.
  • Keywords
    formal verification; mobile computing; RE; adaptive reasoning; adaptive requirements; automated planning; mobile applications; requirements engineering; self adaptive systems; Adaptation models; Cognition; Context; Humans; Monitoring; Planning; Runtime; Feedback; Planning; Requirements Engineering; Self-Adaptive Systems;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Requirements@Run.Time (RE@RunTime), 2011 2nd International Workshop on
  • Conference_Location
    Trento
  • Print_ISBN
    978-1-4577-0942-5
  • Electronic_ISBN
    978-1-4577-0944-9
  • Type

    conf

  • DOI
    10.1109/ReRunTime.2011.6046243
  • Filename
    6046243