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.
Liste complète des métadonnées

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/inria-00590891
Contributor : Arnaud Blouin <>
Submitted on : Thursday, May 5, 2011 - 2:31:34 PM
Last modification on : Wednesday, December 19, 2018 - 3:26:06 PM
Document(s) archivé(s) le : Friday, November 9, 2012 - 10:46:02 AM

File

main.pdf
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

669

Files downloads

410