FORMAL APPROACH TO HYPERTEXT SYSTEM BASED ON OBJECT-ORIENTED DATABASE SYSTEM

P Hitchcock, B Wang

Research output: Contribution to journalArticlepeer-review

Abstract

InterSect is a prototype hypertext system designed to meet the requirements of complex documentation environments. It differs from conventional hypertext systems in that its nodes can behave like records in a database, as well as participating in normal hypertext links. This helps to overcome some of the problems, such as getting lost in hyperspace, exhibited by first-generation hypertext systems. The object-oriented database DAMOKLES is used in the prototype. The paper describes the use of the formal language Z to specify the InterSect system.

Original languageEnglish
Pages (from-to)573-592
Number of pages20
JournalInformation and Software Technology
Volume34
Issue number9
Publication statusPublished - Sept 1992

Keywords

  • FORMAL METHOD
  • HYPERTEXT
  • OBJECT-ORIENTED DATABASE

Cite this