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.
More recent works on knowledge modeling have focused on a visual formalism and an evaluation tool, XDM, context-sensitive dialogue modeling, to model user-adapted interface based on extended Petri nets REF .
Formal description and evaluation of user-adapted interfaces
Int. J. Hum. Comput. Stud.
Int. J. Hum. Comput. Stud.
Computer Science