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
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;
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
DOI :
10.1109/ReRunTime.2011.6046243