摘要
本文采用VDM技术描述了一种基本的超文本的数据模型,在该模型中,形式地定义了超文本中几种主要的抽象数据类型,如节点、链、网与结构等。超文本的数据模型是超文本标准化的基础,且超文本应用的表现与浏览语义应从超文本数据库的数据对象中分离出来。
In this paper a formal specification of a data model of hypertext is presented. The Vienna Development Method (VDM) is used in this specification. In the data model three main abstract data types of hypertext are formally defined: nodes,networks and structures. The data model is the basis of hypertext standardization. The presentation and the browsing semantics of the hypertext applications should be separated from the data objects in the hyperbase.
出处
《广西工学院学报》
CAS
1996年第4期13-17,共5页
Journal of Guangxi University of Technology
基金
自治区科委青年科学基金