Publications

A Bisimulation-Based Approach to the Analysis of Human-Computer Interaction

Authors
Sébastien Combéfis, Charles Pecheur
Tags
, , , ,
Title
A Bisimulation-Based Approach to the Analysis of Human-Computer Interaction
Authors
Sébastien Combéfis, Charles Pecheur
FM2018 Δ   0Kb   28 May 2020
Fmics2013 Δ   0Kb   28 May 2020
GandALF2017 Δ   0Kb   28 May 2020
HMI2011 Δ   0Kb   28 May 2020
LVLPrivate Δ   0Kb   28 May 2020
LVLPrivateNews Δ   0Kb   28 May 2020
Main Δ   0Kb   28 May 2020
Members Δ   0Kb   28 May 2020
Publications Δ   4Kb   28 May 2020
Site Δ   0Kb   28 May 2020
Talks Δ   4Kb   28 May 2020
Tools Δ   0Kb   28 May 2020
Type
In Proceedings
Book title
ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2009, Pittsburgh, PA
Pages
101--110
Publisher
ACM
Editor
G. Calvary and {T. N.} Graham and P. Gray
Year
2009

Abstract

This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the system is doing something while it is in fact doing another thing. We consider two kinds of models: the system model describes the actual behaviour of the system and the mental model represents the user's knowledge of the system. The user interface is modelled as a subset of system transitions that the user can control or observe. We formalize a full-control property which holds when a mental model and associated user interface are complete enough to allow proper control of the system. This property can be verified using model-checking techniques on the parallel composition of the two models. We propose a bisimulation-based equivalence relation on the states of the system and show that, if the system satisfies a determinism condition with respect to that equivalence, then minimization modulo that equivalence produces a minimal mental model that allows full-control of the system. We enrich our approach to take operating modes into account. We give experimental results obtained by applying a prototype implementation of the proposed techniques to a simple model of an air-conditioner.

Tags Tags: , , , ,

BibTeX Record
  @INPROCEEDINGS{lvl-2009-4,
    TITLE = {A Bisimulation-Based Approach to the Analysis of Human-Computer Interaction},
    AUTHOR = {Sébastien Combéfis and Charles Pecheur},
    YEAR = {2009},
    PAGES =  {101--110},
    PUBLISHER = {ACM},
    EDITOR = {G. Calvary and {T. N.} Graham and P. Gray},
    URL = {https://lvl.info.ucl.ac.be/Publications/ABisimulation-BasedApproachToTheAnalysisOfHuman-ComputerInteraction},
  }