Formal modelling techniques in human-computer interaction

G. de Haan, Gerrit C. van der Veer, J.C. van Vliet

    Research output: Contribution to journalArticleAcademicpeer-review

    17 Citations (Scopus)
    246 Downloads (Pure)


    This paper is a theoretical contribution, elaborating the concept of models as used in Cognitive Ergonomics. A number of formal modelling techniques in human-computer interaction will be reviewed and discussed. The analysis focusses on different related concepts of formal modelling techniques in human-computer interaction. The label `model¿ is used in various ways to represent the knowledge users need to operate interactive computer systems, to represent user-relevant aspects in the design of interactive systems, and to refer to methods that generate evaluative and predictive statements about usability aspects of such systems. The reasons underlying the use of formal models will be discussed. A review is presented of the most important modelling approaches, which include External-Internal Task Mapping Analysis; Action Language; Task-Action Grammar; the Goals, Operators, Methods and Selection model; Command Language Grammar and Extended Task-Action Grammar. The problems associated with applying the present formal modelling techniques are reviewed, and possibilities to solve these problems are presented. Finally, we conclude with a discussion of the future work that needs to be done, i.e., the development of a general design approach for usable systems, and the need to focus attention on the practice of applying formal modelling techniques in design.
    Original languageEnglish
    Pages (from-to)27-67
    Number of pages41
    JournalActa psychologica
    Issue number1-3
    Publication statusPublished - 1991
    Event5th European Conference on Cognitive Ergonomics, ECCE 1991 - Urbino, Italy
    Duration: 3 Sep 19916 Sep 1991
    Conference number: 5


    Dive into the research topics of 'Formal modelling techniques in human-computer interaction'. Together they form a unique fingerprint.

    Cite this