School of Computing

Towards integrated cognitive and interface analysis

H. Bowman, G. Faconti, and M. Massink

Technical Report 1-99, University of Kent at Canterbury, January 1999.

Abstract

Using cognitive architectures to analyse the usability of human-computer interfaces is an extensively investigated strategy. A particularly powerful way to perform such analysis is through syndetic modelling, where both the interface and the chosen cognitive model are described in the same specification framework; allowing the combined behaviour of the two to be analysed.

This paper proposes LOTOS as a syndetic modelling language. We highlight four reasons why syndetic modelling is so difficult and show how the LOTOS notation addresses each of the four.

Download publication 342 kbytes (PostScript)

Bibtex Record

@techreport{694,
author = {H. Bowman and G. Faconti and M. Massink},
title = {Towards Integrated Cognitive and Interface Analysis},
month = {January},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/694},
    institution = {University of Kent at Canterbury},
    number = {1-99},
    type = {Technical Report},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014