Equivalence Checking for Comparing User Interfaces

Raquel Oliveira 1, 2 Sophie Dupuy-Chessa 2 Gaëlle Calvary 2
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
2 LIG Laboratoire d'Informatique de Grenoble - IIHM
LIG - Laboratoire d'Informatique de Grenoble, Inria - Institut National de Recherche en Informatique et en Automatique
Abstract : Plastic User Interfaces (UIs) have the capacity to adapt to changes in their context of use while preserving usability. This exposes users to different versions of UIs that can diverge from each other at several levels, which may cause loss of consistency. This raises the question of similarity between UIs. This paper proposes an approach to comparing UIs by measuring to what extent UIs have the same interaction capabilities and appearance. We use the equivalence checking formal method. The approach verifies whether two UI models are equivalent or not. When they are not equivalent, the UI divergences are listed, thus providing the possibility of leaving them out of the analysis. In this case, the two UIs are said equivalent modulo such divergences. Furthermore, the approach shows that one UI can contain at least all interaction capabilities of another. We apply the approach to a case study in the nuclear power plant domain in which several UI versions are analyzed, and the equivalence and inclusion relations are demonstrated.
Type de document :
Communication dans un congrès
7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems EICS'2015, Jun 2015, Duisburg, Germany. ACM, Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems EICS'2015, 2015, 〈10.1145/2774225.2774844〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01247496
Contributeur : Radu Mateescu <>
Soumis le : mardi 22 décembre 2015 - 11:01:27
Dernière modification le : mercredi 11 avril 2018 - 01:55:34

Identifiants

Collections

Citation

Raquel Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary. Equivalence Checking for Comparing User Interfaces. 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems EICS'2015, Jun 2015, Duisburg, Germany. ACM, Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems EICS'2015, 2015, 〈10.1145/2774225.2774844〉. 〈hal-01247496〉

Partager

Métriques

Consultations de la notice

324