Formal description and evaluation of user-adapted interfaces

✍ Scribed by FIORELLA DE ROSIS; SEBASTIANO PIZZUTILO; BERARDINA DE CAROLIS

• Publisher: Elsevier Science
• Year: 1998
• Tongue: English
• Weight: 478 KB
• Volume: 49
• Category: Article
• ISSN: 1071-5819
• DOI: 10.1006/ijhc.1998.0196

✦ Synopsis

This paper describes a visual formalism and a tool to support design and evaluation of human-computer interaction in context-customized systems. The formalism is called XDM (for ''context-sensitive dialogue modelling'') and combines extended Petri nets with Card, Moran and Newell's KLM operators theory to describe static and dynamic aspects of interaction in every context in which the system should operate, and to make evaluations of interface correctness and usability easier or automatic. The method was developed in the scope of a European Community Project to iteratively prototype a knowledge-based medical system. It has been subsequently employed in several research projects and in teaching activities.