Abstract
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.
Index Terms
- Analysing Cognitive Behaviour using LOTOS and Mexitl
Recommendations
Mexitl: Multimedia in Executable Interval Temporal Logic
This paper explores a formalism for describing a wide class of multimedia document constraints, based on an interval temporal logic. We describe the requirements that arise from the multimedia documents application area, and we illustrate these ...
Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions
The integration of different formal description techniques is an important feature in the design of communication protocols and concurrent systems. In this paper we address the problem of translating Petri nets with inhibitor arcs into basic LOTOS ...
Analysing user behaviour through dynamic population models
CHI EA '13: CHI '13 Extended Abstracts on Human Factors in Computing SystemsWe apply a statistical modelling-based approach to exploring, analysing and predicting behavioural patterns of users of mobile software. The technique employed represents the behaviour of each user through a weighted mixture over data-generating ...
Comments