Multimedia data modeling based on temporal logic and XYZ System

Huadong Ma, Shenquan Liu

Abstract: This paper proposes a new approach to modeling multimedia data. The new approach is the multimedia data model based on temporal logic and XYZ System. It supports the formal specifications in a multimedia system. Using this model, we can not only specify information units but also design and script a multimedia title in an unified framework. Based on this model, an interactive multimedia authoring environment has been developed.