Analysing Cognitive Behaviour using LOTOS and Mexitl
Howard Bowman, G. Faconti · Formal Aspects of Computing · 1999
Abstract. We argue that cognitive models should be used in analysing the usability of multi-modal human computer interfaces and further, that formal methods can be advantageously applied to such analysis. In pursuing this objective we specify the Interacting Cognitive Subsystems model formally using the process calculus LOTOS and then we verify that it satisfies certain behavioural goals formulated in the interval temporal logic Mexitl.