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

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

請使用永久網址來引用或連結此文件: 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	532	檢視/開啟
310904400-4858.doc		32Kb	Microsoft Word	339	檢視/開啟

在ASIAIR中所有的資料項目都受到原著作權保護.