User Interface Composition: Operators and Composability Checking
Composition d'Interfaces Homme-Machine : Opérateurs de composition et propriétés de composabilité
Résumé
The automatic User Interface (UI) composition of UI components thanks to UI composition operators (composers) is one of the approaches to improve the UI development, to produce adaptive UI and to master the development of large scale UI. In this setting, the verification concern of UI component composition is still a challenge. This work addresses the composability of components and their services depending on proposed UI composition operators defined according to standard abstraction levels. The main contributions of this paper are a component model to carry on a containing UI composition, the identification of the main aspects of the UI composition, the proposition of some new UI composers including semantic and temporal aspects and the checking of composability properties of composers to verify the correctness of the UI composition.
La composition automatique d'Interfaces Homme-Machine (IHM) à l'aide d'opérateurs de composition est une des approches qui permet d'améliorer le développement d'IHM, de produire une IHM adaptative et de maîtriser le développement d'IHM de grande taille. Dans cet objectif, la vérification de la correction d'une composition d'IHM est un challenge important. Ce travail s'intéresse à la vérification de propriétés de composabilité de composants IHM et de leurs services selon des opérateurs de composition définis à différents niveaux d'abstraction. Les principales contributions de cet article sont la proposition d'un modèle de composants permettant de réaliser une composition hiérarchique, l'identification des principaux aspects intervenant dans la composition d'IHM, la formalisation de nouveaux opérateurs et la vérification de propriétés de composition.
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...