Formal description and evaluation of use
โ
FIORELLA DE ROSIS; SEBASTIANO PIZZUTILO; BERARDINA DE CAROLIS
๐
Article
๐
1998
๐
Elsevier Science
๐
English
โ 478 KB
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 the