Extending the Verification of Multimedia Presentation Consistency to Resource Requirements.

We propose in this paper to extend the consistency verification of multimedia presentations to environment resource constraints. These are characterized by the bandwidth rate and the buffer capacity available at the client side. The verification is performed by using a formal methodology that uses the TSPN model to specify the resource constraints as well as the time and the synchronization requirements of the presentation. A graph is then built from this specification, to check over its consistency. Hence, it becomes possible to manage more efficiently the resource availability, and to adapt the content of the presentation so that it can be performed consistently under a resource-limited environment.