Formalization and Verification of a Live Multimedia Presentation Model

Abstract

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.

A framework for developing general live multimedia presentation applications

“…The A WR only support sequential synchronization with simple temporal relationships (as temporal constraint) i. e meet and meet inverse [6].…”

“…Thus, as inspired by such framework and our previous results, a framework which is especially intended for developing the general LMP application, should be developed and proposed. According to [6], there has been proposed four items of LMP concept. In this paper, we derive and extend such LMP concept towards a framework for developing general live multimedia presentation applications as follow.…”

“…In this paper, we did further analysis to our previous model development of a LMP application [3][4][5][6]. Based on those previous works, thus a packages library of media displayer classes has been developed and a framework for developing general live multimedia presentation has been proposed.…”