摘要
将基于时序逻辑的多媒体脚本描述模型从线性顺序时空关系描述推广到非线性时空关系的超文本描述，提出了一种新的超文本模型．通过该模型可将超文本的结点、链和超文本结构的逐步求精过程在一个统一的框架内描述．使用该模型设计的一个超文本标注语言已经实现，并基于该语言开发了一个交互式超文本编著环境．
A hypertext model based on temporal logic is proposed. This model extends the linear temporal spatial specification of multimedia script into the non linear temporal spatial specification of hypertext structure. By using this model, we can specify nodes, links and step wise refinement authoring procedure of hypertext in a unified framework. A new hypertext markup language based on this model is implemented, and a visual interactive hypertext system based on this language has been developed.
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
1999年第6期547-550,共4页
Journal of Computer-Aided Design & Computer Graphics
基金
国家自然科学基金
邮电部中青年教师科学基金
