Formal Usability Evaluation of Interactive Systems

Abstract This paper describes a new tool for the generation and analysis of normative user models based on the GOMS theory for the evaluation of interactive systems and the analysis of the usability. Furthermore, a comparison of user models and generated action protocols is facilitated. Additionally, design alternatives can be compared. The results of the analysis are visualised in various ways. The introduced tool supports the system engineer in a considerable way to evaluate interactive systems and produces suitable analysis data as a base for decisions while the systems are developed.