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.
Type de document :
Communication dans un congrès
ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Jun 2011, Pise, Italy. pp.85--94, 2011, <10.1145/1996461.1996500>
Liste complète des métadonnées


https://hal.inria.fr/inria-00590891
Contributeur : Arnaud Blouin <>
Soumis le : jeudi 5 mai 2011 - 14:31:34
Dernière modification le : vendredi 13 janvier 2017 - 14:20:59
Document(s) archivé(s) le : vendredi 9 novembre 2012 - 10:46:02

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

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, 2011, <10.1145/1996461.1996500>. <inria-00590891>

Partager

Métriques

Consultations de
la notice

539

Téléchargements du document

288