School of Computing

Towards integrated cognitive and interface analysis

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

In Howard Bowman, editor, Proceedings of Formal Methods Elsewhere 2000, Pisa, Italy, volume 43 of Electronic Notes in Theoretical Computer Science, pages 182-196. Elsevier Science, October 2000 Available at http://www.elsevier.nl/gej-ng/31/29/23/72/23/show/Products/notes/index.htt.

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 these four reasons.

Download publication 351 kbytes (PostScript)

Bibtex Record

@inproceedings{1155,
author = {H. Bowman and G. Faconti and M. Massink},
title = {Towards Integrated Cognitive and Interface Analysis},
month = {October},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Available at http://www.elsevier.nl/gej-ng/31/29/23/72/23/show/Products/notes/index.htt},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1155},
    booktitle = {Proceedings of Formal Methods Elsewhere 2000, Pisa, Italy},
    editor = {Howard Bowman},
    publication_type = {inproceedings},
    publisher = {Elsevier Science},
    refereed = {yes},
    submission_id = {11540_980339646},
    volume = {43 of Electronic Notes in Theoretical Computer Science},
}

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

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

Last Updated: 21/03/2014