lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Providing Assurances for Self-Adaptation in a Mobile Digital Storytelling Application Using ActivFORMS
Linnaeus University, Faculty of Technology, Department of Computer Science. (AdaptWise)ORCID iD: 0000-0002-1162-0817
Linnaeus University, Faculty of Technology, Department of Computer Science. (AdaptWise)ORCID iD: 0000-0003-0098-9376
Linnaeus University, Faculty of Technology, Department of Computer Science.
2014 (English)In: 2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems (SASO): DateĀ 8-12 Sept. 2014 / [ed] IEEE, IEEE conference proceedings, 2014, 110-119 p.Conference paper, Published paper (Refereed)
Abstract [en]

Self-adaptability enables a system to adapt itself tochanges in its execution conditions and user requirements in orderto achieve particular quality goals. However, assuring that theadaptation goals are satisfied poses complex challenges. Werecently developed the ActivFORMS approach that aims to tacklesome of these challenges, but further research is required toevaluate the approach. This paper presents the results of a study inwhich we applied ActivFORMS to a mobile storytelling applicationthat employs a social recommender. The initial version of theapplication used a static recommender that could not deal withchanging environment conditions, or take into account preferencesof users. To that end, we added a self-adaptive layer on top of theapplication. The study results show that self-adaptationsignificantly increases the quality of recommendations comparedto the initial version by: (1) enabling the social recommender toadapt to the quality of user input and unavailability of the GPSservice, and (2) making the recommender adaptive to userpreferences. Providing guarantees for these adaptation goals iscrucial in this domain from a business perspective. The studyresults show the feasibility and effectiveness of ActivFORMS for apractical application; but they also underpin the need for anintegrated verification approach for self-adaptive systems thatcombines offline with online verification.

Place, publisher, year, edition, pages
IEEE conference proceedings, 2014. 110-119 p.
Series
International Conference on Self-Adaptive and Self-Organizing Systems, ISSN 1949-3673
Keyword [en]
self-adaptation, executable formal models, assurances
National Category
Computer Science
Research subject
Computer Science, Software Technology
Identifiers
URN: urn:nbn:se:lnu:diva-39431DOI: 10.1109/SASO.2014.23ISI: 000361021200012ISBN: 978-1-4799-5367-7 (print)OAI: oai:DiVA.org:lnu-39431DiVA: diva2:783521
Conference
Self-Adaptive and Self-Organizing Systems (SASO), 8-12 Sept. 2014, London
Available from: 2015-01-26 Created: 2015-01-26 Last updated: 2017-04-24Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textIEEE full text

Search in DiVA

By author/editor
Weyns, DannyShevtsov, StepanPllana, Sabri
By organisation
Department of Computer Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 149 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf