Abstract
In this paper we propose an approach of multimedia scenarios management in an object-relational database system that considers three main aspects: an object-oriented method for multimedia scenarios modeling, time-interval and causal relations models for the specification of multimedia objects with fixed or unknown playout durations, and interactive and dependency temporal relations. Based on the user's temporal specification, a time Petri net (PN) is automatically generated and translated to the formalism of the verification tool Tina, which allows analyzing multimedia scenarios specification. Finally, we evaluate our approach with an experimental system prototype.
The originality of the approach proposed is to consider: a temporal specification that combines interval-based model and temporal dependency (causality) between intervals; temporal specification based on PN, that extracts errors that are too difficult to extract manually; and finally temporal intervals with known or unknown time.