Keywords: Z notations, multimedia presentations, logic inference rules
Retrieve PDF document (199901_08.pdf : 815,405 bytes)
Received June 11, 1996; accepted March 19, 1998.
Communicated by Shing-Tsaan Huang.
| [Previous | [1] | [2] | [3] | [4] | [5] | [6] | [7] | [8] | [9] | [10] |
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
Received June 11, 1996; accepted March 19, 1998.
Retrieve PDF document (199901_08.pdf : 815,405 bytes)
Communicated by Shing-Tsaan Huang.