教師資料查詢 | 類別: 期刊論文 | 教師: 葛煥昭 Keh Huan-chao (瀏覽個人網頁)

標題:Formal Specification in Software Reuse Designs: an Object-Oriented Database Example
學年87
學期1
出版(發表)日期1998/12/01
作品名稱Formal Specification in Software Reuse Designs: an Object-Oriented Database Example
作品名稱(其他語言)
著者Keh, Huan Chao; Shi, Timothy K.
單位淡江大學資訊工程學系
出版者Taipei: Tamkang University
著錄名稱、卷期、頁數淡江理工學刊=Tamkang Journal of Science and Engineering 1(2), pp.97-114
摘要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.
關鍵字Multimedia Database;Object Reuse;Multimedia Presentation;Z Notation;Formal Specification
語言英文(美國)
ISSN1560-6686
期刊性質國內
收錄於
產學合作
通訊作者
審稿制度
國別中華民國
公開徵稿
出版型式,紙本
相關連結
Google+ 推薦功能,讓全世界都能看到您的推薦!