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 language | English |
---|---|
Pages (from-to) | 573-592 |
Number of pages | 20 |
Journal | Information and Software Technology |
Volume | 34 |
Issue number | 9 |
Publication status | Published - Sept 1992 |
Keywords
- FORMAL METHOD
- HYPERTEXT
- OBJECT-ORIENTED DATABASE