Towards formal measures of usability for visual interactive systems

Usability is the most important feature of a computer program from the user's point of society. Even if carious techniques for evaluating usability have been proposed, formal methods are still lacking. A good indication of program usability is given by the agreement between the mental model of the system, as conceived by the user, and the model of the user, as understood by the designer and implemented in the system We extend here the usual sentence theory we have developed in the last years by introducing the concept of relation system. This provides a means for describing both the user's and the program's models Based on this formalism, we can also define some measurable properties for usability, and develop experimental protocols for their measurement.