Composition d'Interfaces Homme-Machine : Opérateurs de composition et propriétés de composabilité

Résumé : 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.
Type de document :
Communication dans un congrès
27ème conférence francophone sur l'Interaction Homme-Machine., Oct 2015, Toulouse, France. ACM, IHM-2015, pp.a13, 2015, <10.1145/2820619.2820632>
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-01218656
Contributeur : Conférence Ihm'15 <>
Soumis le : mercredi 21 octobre 2015 - 15:13:06
Dernière modification le : vendredi 23 octobre 2015 - 09:06:36
Document(s) archivé(s) le : samedi 23 janvier 2016 - 00:37:02

Fichier

a13-gabillon.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

Citation

Yoann Gabillon. Composition d'Interfaces Homme-Machine : Opérateurs de composition et propriétés de composabilité. 27ème conférence francophone sur l'Interaction Homme-Machine., Oct 2015, Toulouse, France. ACM, IHM-2015, pp.a13, 2015, <10.1145/2820619.2820632>. <hal-01218656>

Partager

Métriques

Consultations de
la notice

102

Téléchargements du document

162