Formal specification in software reuse designs: An object-oriented database example

Huan Chao Keh, Timothy K. Shih

研究成果: 雜誌貢獻期刊論文同行評審


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.

頁(從 - 到)97-113
期刊Tamkang Journal of Science and Engineering
出版狀態已出版 - 12月 1998


深入研究「Formal specification in software reuse designs: An object-oriented database example」主題。共同形成了獨特的指紋。