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

• 作者: ZHAO Chen 赵琛 马华东
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 编著系统 时序逻辑 超文本
• 年，卷（期）: 1999,（6）
• 所属期刊栏目: 多媒体技术
• 页码范围: 547-550
• 页数: 4页
• 分类号: TP317
• 字数: 5208字
• 语种: 中文
• DOI: 10.3321/j.issn:1003-9775.1999.06.017

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	ZHAO Chen	中国科学院软件研究所	1	4	1.0	1.0