JISE

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

Journal of Information Science and Engineering, Vol. 15 No. 1, pp. 107-129

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 howthese 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

Retrieve PDF document (JISE_199901_08.pdf)