期刊論文
| 學年 | 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 |
| 語言 | en_US |
| ISSN | 1560-6686 |
| 期刊性質 | 國內 |
| 收錄於 | |
| 產學合作 | |
| 通訊作者 | |
| 審稿制度 | 否 |
| 國別 | TWN |
| 公開徵稿 | |
| 出版型式 | ,紙本 |
| 相關連結 |
機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/59917 ) |