Title :
Providing Assurances for Self-Adaptation in a Mobile Digital Storytelling Application Using ActivFORMS
Author :
Weyns, Danny ; Shevtsov, Stepan ; Pllana, Sabri
Author_Institution :
Dept. of Comput. Sci., Linnaeus Univ., Vaxjo, Sweden
Abstract :
Self-adaptability enables a system to adapt itself to changes in its execution conditions and user requirements in order to achieve particular quality goals. However, assuring that the adaptation goals are satisfied poses complex challenges. We recently developed the ActivFORMS approach that aims to tackle some of these challenges, but further research is required to evaluate the approach. This paper presents the results of a study in which we applied ActivFORMS to a mobile storytelling application that employs a social recommender. The initial version of the application used a static recommender that could not deal with changing environment conditions, or take into account preferences of users. To that end, we added a self-adaptive layer on top of the application. The study results show that self-adaptation significantly increases the quality of recommendations compared to the initial version by: (1) enabling the social recommender to adapt to the quality of user input and unavailability of the GPS service, and (2) making the recommender adaptive to user preferences. Providing guarantees for these adaptation goals is crucial in this domain from a business perspective. The study results show the feasibility and effectiveness of ActivFORMS for a practical application, but they also underpin the need for an integrated verification approach for self-adaptive systems that combines offline with online verification.
Keywords :
Global Positioning System; formal verification; recommender systems; ActivFORMS approach; GPS service; business perspective; execution conditions; integrated verification approach; mobile digital storytelling application; offline verification; online verification; self-adaptability; self-adaptive layer; self-adaptive systems; social recommender; static recommender; user requirements; Adaptation models; Global Positioning System; Heuristic algorithms; Monitoring; Probes; Unified modeling language; Virtual machining; assurances; executable formal models; self-adaptation;
Conference_Titel :
Self-Adaptive and Self-Organizing Systems (SASO), 2014 IEEE Eighth International Conference on
Conference_Location :
London
DOI :
10.1109/SASO.2014.23