Plasticity of User Interfaces: Formal Verification of Consistency

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 have the capacity of adapting themselves to their context of use while preserving usability. This property gives rise to several versions of the same UI. This paper addresses the problem of verifying UI adaptation by means of formal methods. It proposes three approaches, all of them supported by the CADP toolbox and LNT formal language. The first approach permits the reasoning over the adaptation output, i.e. the UI versions: some properties are verified over the UI models thanks to model checking. The second solution proposes to verify the plasticity engine. The last approach compares UI versions thanks to equivalence checking. These approaches are discussed and compared on an example of a system in the nuclear power plant domain.
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.2775078〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01247489
Contributeur : Radu Mateescu <>
Soumis le : mardi 22 décembre 2015 - 10:53:42
Dernière modification le : jeudi 11 janvier 2018 - 06:23:43

Identifiants

Collections

Citation

Raquel Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary. Plasticity of User Interfaces: Formal Verification of Consistency. 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.2775078〉. 〈hal-01247489〉

Partager

Métriques

Consultations de la notice

184