Formalization and Verification of a Live Multimedia Presentation Model

As the complement of the stored multimedia presentation, live multimedia presentation (LMP) is similar to the stored multimedia presentation except for the process of selecting, authoring, constructing and playing out the multimedia elements are done during presentation time. Unfortunately, there...

Full description

Saved in:
Bibliographic Details
Main Authors: Asnawi, Rustam, Wan Ahmad, Wan Fatimah, Awang Rambli, Dayang Rohaya
Format: Citation Index Journal
Published: Foundation of Computer Science 2011
Subjects:
Online Access:http://eprints.utp.edu.my/7049/1/pxc3873198.pdf
http://eprints.utp.edu.my/7049/
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:As the complement of the stored multimedia presentation, live multimedia presentation (LMP) is similar to the stored multimedia presentation except for the process of selecting, authoring, constructing and playing out the multimedia elements are done during presentation time. Unfortunately, there is no established model of LMP as well as in stored multimedia presentation with its SMIL. This paper proposes some basic concepts for developing any LMP application, and then from such concept we design a model of LMP using formal definition. Finally, to verify the model we used scenario-based and developed an application as a tool to accomplish the verification process.