Formal Specification in Software Reuse Designs: an Object-Oriented Database Example

ASIA unversity > 資訊學院 > 資訊工程學系 > 期刊論文 > Item 310904400/4858

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://asiair.asia.edu.tw/ir/handle/310904400/4858

题名:	Formal Specification in Software Reuse Designs: an Object-Oriented Database Example
作者:	Huan-Chao Keh;Timothy K. Shih
关键词:	Multimedia Database;Object Reuse;Multimedia Presentation;Z Notation;Formal Specification
日期:	1998
上传时间:	2009-12-03 08:32:03 (UTC+0)
出版者:	Asia University
摘要:	The advantages of using a formal specification are in its precise definition of object properties and its declarative description of operations of a system. The Z notation is used widely in the literature of formal system designs and the research of language semantics. In line with the rapid growth of multimedia omputation research, we use the Z notation to describe a multimedia database that supports the reuse of multimedia presentations. The database consists of two layers: the frame layer and the resource layer. A frame group in the first layer is the basic presentation unit to be reused. A resource group in the second layer is a collection of resources to be used by a frame, or a frame group. In the hierarchy, we use four types of links to group frames and/or resources. The main contribution of this paper is in its reuse mechanism of multimedia objects in a multimedia database.
關聯:	Tamkang Journal of Science and Engineering 1(2):97-113
显示于类别:	[資訊工程學系] 期刊論文

文件中的档案:

档案	描述	大小	格式	浏览次数
		0Kb	Unknown	531	检视/开启
310904400-4858.doc		32Kb	Microsoft Word	339	检视/开启

在ASIAIR中所有的数据项都受到原著作权保护.