- 著者
- P. D. Stotts, R. Furuta
- タイトル
- Temporal hyperprogramming
- ページ
- 237-53
- 日時
- September 1990
- 概要
- The visual programming aspects of Trellis hypertext
documents are described. A hypertext is a
nonlinearly organized, browsable information
structure. The importance of browsing distinguishes
hypertext from other network information systems.
The possible experiences a user may have when
interacting with a hypertext are as important as its
form. Further, these browsing semantics should be an
inherent characteristic of a document, not of the
implementation that allows browsing. In essence, a
hypertext is an active entity that has a visible
behavior, not a static entity that is manipulated by
external means. The Trellis model employs the dual
nature of Petri nets to formally express both
aspects of a hypertext in one structure. A Petri net
is a bipartite graph, so it captures the link
structure of relationships among information
elements. It is also an automaton, having an
execution state and state transition rules, thereby
formally capturing the interactions between reader
and document. The authors define the temporal
semantics of the Trellis model and illustrate them
with a prototype hypertext system called alpha
Trellis. This environment joins timed events and
active computing engines into a dynamic, parallel
browsing structure. In alpha Trellis, hypertext
authoring is visual programming for a
temporally-synchronized, visual outcome-temporal
hyperprogramming.
- カテゴリ
- AuthoringSystem
Category: AuthoringSystem
Organization: Department of Computer Science, Maryland
University, College Park, MD, USA
Journal: Journal of Visual Languages and Computing
Abstract: The visual programming aspects of Trellis hypertext
documents are described. A hypertext is a
nonlinearly organized, browsable information
structure. The importance of browsing distinguishes
hypertext from other network information systems.
The possible experiences a user may have when
interacting with a hypertext are as important as its
form. Further, these browsing semantics should be an
inherent characteristic of a document, not of the
implementation that allows browsing. In essence, a
hypertext is an active entity that has a visible
behavior, not a static entity that is manipulated by
external means. The Trellis model employs the dual
nature of Petri nets to formally express both
aspects of a hypertext in one structure. A Petri net
is a bipartite graph, so it captures the link
structure of relationships among information
elements. It is also an automaton, having an
execution state and state transition rules, thereby
formally capturing the interactions between reader
and document. The authors define the temporal
semantics of the Trellis model and illustrate them
with a prototype hypertext system called alpha
Trellis. This environment joins timed events and
active computing engines into a dynamic, parallel
browsing structure. In alpha Trellis, hypertext
authoring is visual programming for a
temporally-synchronized, visual outcome-temporal
hyperprogramming.
Number: 3
Bibtype: Article
Author: P. D. Stotts
R. Furuta
Pages: 237-53
Month: sep
Title: Temporal hyperprogramming
Year: 1990
Volume: 1
Keyword: computer graphics, formal logic, hypermedia, Petri
nets, programming, user interfaces, visual
programming, Trellis hypertext documents, browsable
information structure, network information systems,
Petri nets, bipartite graph, temporal semantics,
alpha Trellis, timed events, active computing
engines, parallel browsing structure, hypertext
authoring, temporal hyperprogramming