| 基于时序逻辑的超文本描述 |
| |
| 引用本文： | 马华东,ZHAO Chen,赵琛.基于时序逻辑的超文本描述[J].计算机辅助设计与图形学学报,1999,11(6):547-550. |
| |
| 作者姓名： | 马华东 ZHAO Chen 赵琛 |
| |
| 作者单位： | 1. 北京邮电大学计算机科学与技术学院,北京,100876;中国科学院计算技术研究所CAD开放实验室,北京,100080
2. 中国科学院软件研究所,北京,100080 |
| |
| 基金项目： | 国家自然科学基金，邮电部中青年教师科学基金 |
| |
| 摘 要： | 将基于时序逻辑的多媒体脚本描述模型从线性顺序时空关系描述推广到非线性时空关系的文本描述，提出了一种新的超文本模型，通过该模型可将超文本的观点，链和超文本结构的逐步求精过程在一个统一的框架内描述，使用该模型设计的一个超文本标注语言已经实现，并基于该语言开发了一个交互式超文本编著环境。
|
| 关 键 词： | 编著系统 时序逻辑 超文本 |
| 修稿时间： | 1998-07-09 |
TEMPORAL LOGIC BASED HYPERTEXT SPECIFICATION |
| |
| ZHAO Chen.TEMPORAL LOGIC BASED HYPERTEXT SPECIFICATION[J].Journal of Computer-Aided Design & Computer Graphics,1999,11(6):547-550. |
| |
| Authors: | ZHAO Chen |
| |
| Abstract: | |
| |
| Keywords: | authoring system temporal logic hypertext |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
