University of Hertfordshire

Formal dialogue specification for hypertext and multimedia systems

Research output: Book/ReportOther report


  • L. Jacob
  • S. Jones
View graph of relations
Original languageEnglish
PublisherUniversity of Hertfordshire
Publication statusPublished - 1994

Publication series

NameUH Computer Science Technical Report
PublisherUniversity of Hertfordshire


We discuss issues relating to the use of CSP, a process-based formal notation, in the specification of human-computer dialogue with hypertext and multimedia systems. We illustrate our discussion with a small example and describe how this demonstrates important features of three systems: a simple bibliographic database; a multimedia information system; and a hypermedia exhibition guide. We consider the way in which CSP dialogue specifications can be used in the design and development of such systems and identify some areas for further work.

ID: 89480