Formal modelling techniques in human-computer interaction

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

    Research output: Contribution to journalArticle

    • 14 Citations

    Abstract

    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.
    LanguageUndefined
    Pages27-67
    Number of pages41
    JournalActa psychologica
    Volume0
    Issue number78
    DOIs
    StatePublished - 1991

    Keywords

    • METIS-148764
    • IR-34072

    Cite this

    de Haan, G. ; de Haan, G. ; van der Veer, Gerrit C. ; van Vliet, J.C./ Formal modelling techniques in human-computer interaction. In: Acta psychologica. 1991 ; Vol. 0, No. 78. pp. 27-67
    @article{f5338a332aab450f8aaaddac91789824,
    title = "Formal modelling techniques in human-computer interaction",
    abstract = "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.",
    keywords = "METIS-148764, IR-34072",
    author = "{de Haan}, G. and {de Haan}, G. and {van der Veer}, {Gerrit C.} and {van Vliet}, J.C.",
    year = "1991",
    doi = "10.1016/0001-6918(91)90004-J",
    language = "Undefined",
    volume = "0",
    pages = "27--67",
    journal = "Acta psychologica",
    issn = "0001-6918",
    publisher = "Elsevier",
    number = "78",

    }

    de Haan, G, de Haan, G, van der Veer, GC & van Vliet, JC 1991, 'Formal modelling techniques in human-computer interaction' Acta psychologica, vol 0, no. 78, pp. 27-67. DOI: 10.1016/0001-6918(91)90004-J

    Formal modelling techniques in human-computer interaction. / de Haan, G.; de Haan, G.; van der Veer, Gerrit C.; van Vliet, J.C.

    In: Acta psychologica, Vol. 0, No. 78, 1991, p. 27-67.

    Research output: Contribution to journalArticle

    TY - JOUR

    T1 - Formal modelling techniques in human-computer interaction

    AU - de Haan,G.

    AU - de Haan,G.

    AU - van der Veer,Gerrit C.

    AU - van Vliet,J.C.

    PY - 1991

    Y1 - 1991

    N2 - 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.

    AB - 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.

    KW - METIS-148764

    KW - IR-34072

    U2 - 10.1016/0001-6918(91)90004-J

    DO - 10.1016/0001-6918(91)90004-J

    M3 - Article

    VL - 0

    SP - 27

    EP - 67

    JO - Acta psychologica

    T2 - Acta psychologica

    JF - Acta psychologica

    SN - 0001-6918

    IS - 78

    ER -