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.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received September 1998 / Accepted in revised form July 1999
Rights and permissions
About this article
Cite this article
Bowman, H., Faconti, G. Analysing Cognitive Behaviour using LOTOS and Mexitl. Formal Aspects of Computing 11, 132–159 (1999). https://doi.org/10.1007/s001650050045
Issue Date:
DOI: https://doi.org/10.1007/s001650050045