頁籤選單縮合
題 名 | Formal Specification in Software Reuse Designs: an Object-Oriented Database Example |
---|---|
作 者 | Keh,Huan-chao; Shih,Timothy K.; | 書刊名 | 淡江理工學刊 |
卷 期 | 1:2 1998.12[民87.12] |
頁 次 | 頁97-113 |
分類號 | 440.11 |
關鍵詞 | Multimedia database; Object reuse; Multimedia presentation; Z notation; Formal specification; |
語 文 | 英文(English) |
英文摘要 | 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. |
本系統中英文摘要資訊取自各篇刊載內容。