lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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.ORCID iD: 0000-0002-4146-9062
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, p. 110-119Conference 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. p. 110-119
Series
International Conference on Self-Adaptive and Self-Organizing Systems, ISSN 1949-3673
Keywords [en]
self-adaptation, executable formal models, assurances
National Category
Computer Sciences
Research subject
Computer Science, Software Technology
Identifiers
URN: urn:nbn:se:lnu:diva-39431DOI: 10.1109/SASO.2014.23ISI: 000361021200012Scopus ID: 2-s2.0-84936876697ISBN: 978-1-4799-5367-7 (print)OAI: oai:DiVA.org:lnu-39431DiVA, id: 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: 2025-05-07Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopusIEEE full text

Authority records

Weyns, DannyShevtsov, StepanPllana, Sabri

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 255 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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