Combining Aspect-Oriented Modeling with Property-Based Reasoning to Improve User Interface Adaptation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

Combining Aspect-Oriented Modeling with Property-Based Reasoning to Improve User Interface Adaptation

Abstract

User interface adaptations can be performed at runtime to dynamically reflect any change of context. Complex user interfaces and contexts can lead to the combinatorial explosion of the number of possible adaptations. Thus, dynamic adaptations come across the issue of adapting user interfaces in a reasonable time-slot with limited resources. In this paper, we propose to combine aspect-oriented modeling with property-based reasoning to tame complex and dynamic user interfaces. At runtime and in a limited time-slot, this combination enables efficient reasoning on the current context and on the available user interface components to provide a well suited adaptation. The proposed approach has been evaluated through EnTiMid, a middleware for home automation.
Fichier principal
Vignette du fichier
main.pdf (291.85 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

inria-00590891 , version 1 (05-05-2011)

Identifiers

Cite

Arnaud Blouin, Brice Morin, Olivier Beaudoux, Grégory Nain, Patrick Albers, et al.. Combining Aspect-Oriented Modeling with Property-Based Reasoning to Improve User Interface Adaptation. ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Jun 2011, Pise, Italy. pp.85--94, ⟨10.1145/1996461.1996500⟩. ⟨inria-00590891⟩
339 View
388 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More