[Previous [1] [2] [3] [4] [5] [6] [7] [8] [9] [10]

Journal of Inforamtion Science and Engineering, Vol.15 No.1, pp.107-129 (January 1999)
Temporal Properties Underlying Multimedia
Presentations with Z Notations

Timothy K. Shih, Huan-Chao Keh, Ying-Hong Wang and Ying-Feng Kuo*
Department of Computer Science and Information Engineering
Tamkang University
Tamsui, Taiwan 251, R.O.C.
* Department of Electrical Engineering
China Junior College of Technology and Commerce
Taipei, Taiwan 115, R.O.C.

Formal specifications use mathematical notations to precisely describe what properties a system need to have instead of how these properties are implemented. The Z notation is a formal specification language widely used in Europe. In this paper, we use the Z notation to analyze the temporal knowledge underlying a multimedia presentation. We then present a system based on the four temporal specification statements that we propose in this paper. The system visualizes the design of a multimedia presentation. Our early experience in using the system shows that it is feasible to use logic inference rules to assist the design of good multimedia presentations.

Keywords: Z notations, multimedia presentations, logic inference rules

Full Text () Retrieve PDF document (199901_08.pdf : 815,405 bytes)

Received June 11, 1996; accepted March 19, 1998.
Communicated by Shing-Tsaan Huang.