基于时序逻辑的超文本描述

摘要：

将基于时序逻辑的多媒体脚本描述模型从线性顺序时空关系描述推广到非线性时空关系的超文本描述,提出了一种新的超文本模型.通过该模型可将超文本的结点、链和超文本结构的逐步求精过程在一个统一的框架内描述.使用该模型设计的一个超文本标注语言已经实现,并基于该语言开发了一个交互式超文本编著环境.

关键词：编著系统、时序逻辑、超文本

所属期刊栏目：11

分类号：TP317(计算技术、计算机技术)

资助基金：中国科学院资助项目69603008;邮电部中青年科研项目

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：547-550