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

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00590891
Contributeur : Arnaud Blouin <>
Soumis le : jeudi 5 mai 2011 - 14:31:34
Dernière modification le : vendredi 25 mai 2018 - 01:29:00
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

618

Téléchargements de fichiers

337