Multimedia Data Modeling Based on TemporalLogic and XYZ System

This paper proposes a new approach to modeling multimedia data. The new approach is the multimedia data model bued on temporal logic and XYZ System. lt supports the formal specifications in a multimedia system. Using this model, we can not only speci. information units but also design and script a multi. media title ia an unified framework. Based on this model, an interactive multimedia authoring environment has beea developed .