Formal Specification of an Object-Oriented database for Intelligent Multimedia Presentation

ASIAIR > College of Computer Science > Department of Computer Science and Information Engineering > Journal Artical > Item 310904400/4854

Please use this identifier to cite or link to this item: http://asiair.asia.edu.tw/ir/handle/310904400/4854

Title:	Formal Specification of an Object-Oriented database for Intelligent Multimedia Presentation
Authors:	Huan-Chao Keh;Timothy K. Shih;Ching-Sheng Wang
Keywords:	Multimedia Database;Object Reuse;Multimedia Presentation;Z Notation;Formal Specification
Date:	1999
Issue Date:	2009-12-03 08:32:02 (UTC+0)
Publisher:	Asia University
Abstract:	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.
Relation:	International Journal of Applied Software Technology 4(4):181-213
Appears in Collections:	[Department of Computer Science and Information Engineering] Journal Artical

Files in This Item:

File	Description	Size	Format
index.html		0Kb	HTML	472	View/Open