Structured Authoring in a Unified Net-based Hypertext Model

基于网络的统一超文本模型中的结构化创作

• 批准号: 9007746
• 负责人: Richard Furuta
• 金额: $ 15.37万
• 依托单位: University of Maryland, College Park
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1990
• 资助国家: 美国
• 起止时间: 1990-08-15 至 1995-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9007746&HistoricalAwards=false
• 关键词: Structured; Authoring; Unified; Net; based

The authors have previously developed a model of hypertext, called Trellis, based on the formalism of Petri nets. As in other hypertext models, Trellis represents information fragments and the relationships that tie the fragments together. An important premise underlying Trellis is the claim that the actions of browsing a hypertext should be formally represented. A formal description of browsing not only permits analysis and verification of the dynamic properties of a document, but also standardizes the semantics of browsing by providing a succinct, unambiguous, and implementation-independent definition of behavior. Within its notational framework, Trellis provides the ability to synchronize simultaneous traversals of separate paths through the hypertext and the ability to incorporate access considerations into the hypertext, specifyingnodes that can be proven to be visible only to certain classes of browsers. Trellis is a timed model, permitting specification of event delays and durations as well as system-generated invocations. The investigators conduct two main projects under this research. Both are based on the Trellis hypertext work already accomplished. The first is the development of abstract representation methods that permit the mapping of a single unified hypertext specification into documents suitable for each of many different hypertext systems. This, in turn, can reesult in interchange methods for different hypertext systems based on translation into and out of the unified model. The second is an authoring language "laboratory" to allow the rapid specification and evaluation of hypertext authoring languages. The projects will produce results of both theoretical and practical interest.

作者之前已经开发了一种超文本模型， 叫做网格，基于Petri网的形式。 如在 其他超文本模型，网格表示信息片段， 把这些片段联系在一起的关系 一个重要 Trellis的基本前提是， 超文本应该被正式地表示。 一种形式化描述 不仅允许分析和验证的浏览 动态属性，但也会将 通过提供一个简洁、明确、 独立于实现的行为定义。 在其 标记框架，Trellis提供同步功能 通过超文本同时遍历不同的路径， 将访问考虑纳入超文本的能力， 指定可以被证明仅对某些 浏览器的类。 网格是一个定时模型，允许 事件延迟和持续时间的规范，以及 系统生成的调用。 研究人员在这项研究中进行了两个主要项目。 两者都是基于已经完成的Trellis超文本工作。 首先是抽象表示方法的发展， 允许将单个统一的超文本规范映射到 适用于许多不同的超文本系统中的每一个的文档。 这反过来又会导致不同的交换方法 超文本系统的基础上翻译成和出的统一 模型 第二个是一个创作语言“实验室”， 超文本创作的快速规范和评估 语言 这些项目将产生理论上的成果， 实际的兴趣。