UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Demonstrating the cognitive plausibility of interactive system specifications

Butterworth, R; Blandford, A; Duke, D; (2000) Demonstrating the cognitive plausibility of interactive system specifications. Formal Aspects of Computing , 12 (4) pp. 237-259. 10.1007/s001650070021.

Full text not available from this repository.


Much of the behaviour of an interactive system is determined by its user population. This paper describes how assumptions about the user can be brought into system models in order to reason about their behaviour. We describe a system model containing reasonable assumptions about the user as being 'cognitively plausible'. Before asserting the plausibility of a model however we must first be able to make the assumptions made in that model inspectable. There is a tension between the inspectability of user assumptions and the tractability of models; inspectable models tend to not be very tractable and vice versa. We describe how we can get round this tension, by deriving tractable models from explicit user assumptions. The resulting models may not of themselves be very inspectable to human-factors workers, but the process by which they are derived is inspectable. Hence we claim that we can have both tractability and inspectability. We exemplify our claims using a simple cognitive model and 'Meeting Maker', an interactive electronic diary system.

Type: Article
Title: Demonstrating the cognitive plausibility of interactive system specifications
DOI: 10.1007/s001650070021
URI: http://discovery.ucl.ac.uk/id/eprint/5127
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item