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 -