A grammatical specification of human-computer dialogue

Albert Nymeyer

    Research output: Contribution to journalArticleAcademicpeer-review

    4 Citations (Scopus)
    48 Downloads (Pure)

    Abstract

    The Seeheim Model of human-computer interaction partitions an interactive application into a user-interface, a dialogue controller and the application itself. One of the formal techniques of implementing the dialogue controller is based on context-free grammars and automata. In this work, we modify an off-the-shelf compiler generator (YACC) to generate the dialogue controller. The dialogue controller is then integrated into the popular X-window system, to create an interactive-application generator. The actions of the user drive the automaton, which in turn controls the application.
    Original languageEnglish
    Pages (from-to)1-16
    JournalComputer languages
    Volume21
    Issue number1
    DOIs
    Publication statusPublished - 1995

    Fingerprint

    Specifications
    Controllers
    Context free grammars
    Human computer interaction
    User interfaces

    Keywords

    • Compiler generators
    • Dialogue models
    • Human computer interaction (HCI)
    • Formal techniques

    Cite this

    Nymeyer, Albert. / A grammatical specification of human-computer dialogue. In: Computer languages. 1995 ; Vol. 21, No. 1. pp. 1-16.
    @article{05649e9c64954aabb4a111a629afcb30,
    title = "A grammatical specification of human-computer dialogue",
    abstract = "The Seeheim Model of human-computer interaction partitions an interactive application into a user-interface, a dialogue controller and the application itself. One of the formal techniques of implementing the dialogue controller is based on context-free grammars and automata. In this work, we modify an off-the-shelf compiler generator (YACC) to generate the dialogue controller. The dialogue controller is then integrated into the popular X-window system, to create an interactive-application generator. The actions of the user drive the automaton, which in turn controls the application.",
    keywords = "Compiler generators, Dialogue models, Human computer interaction (HCI), Formal techniques",
    author = "Albert Nymeyer",
    year = "1995",
    doi = "10.1016/0096-0551(94)00016-J",
    language = "English",
    volume = "21",
    pages = "1--16",
    journal = "Computer Languages, Systems and Structures",
    issn = "1477-8424",
    publisher = "Elsevier",
    number = "1",

    }

    A grammatical specification of human-computer dialogue. / Nymeyer, Albert.

    In: Computer languages, Vol. 21, No. 1, 1995, p. 1-16.

    Research output: Contribution to journalArticleAcademicpeer-review

    TY - JOUR

    T1 - A grammatical specification of human-computer dialogue

    AU - Nymeyer, Albert

    PY - 1995

    Y1 - 1995

    N2 - The Seeheim Model of human-computer interaction partitions an interactive application into a user-interface, a dialogue controller and the application itself. One of the formal techniques of implementing the dialogue controller is based on context-free grammars and automata. In this work, we modify an off-the-shelf compiler generator (YACC) to generate the dialogue controller. The dialogue controller is then integrated into the popular X-window system, to create an interactive-application generator. The actions of the user drive the automaton, which in turn controls the application.

    AB - The Seeheim Model of human-computer interaction partitions an interactive application into a user-interface, a dialogue controller and the application itself. One of the formal techniques of implementing the dialogue controller is based on context-free grammars and automata. In this work, we modify an off-the-shelf compiler generator (YACC) to generate the dialogue controller. The dialogue controller is then integrated into the popular X-window system, to create an interactive-application generator. The actions of the user drive the automaton, which in turn controls the application.

    KW - Compiler generators

    KW - Dialogue models

    KW - Human computer interaction (HCI)

    KW - Formal techniques

    U2 - 10.1016/0096-0551(94)00016-J

    DO - 10.1016/0096-0551(94)00016-J

    M3 - Article

    VL - 21

    SP - 1

    EP - 16

    JO - Computer Languages, Systems and Structures

    JF - Computer Languages, Systems and Structures

    SN - 1477-8424

    IS - 1

    ER -