A time Petri net-based approach for synchronization, analysis and management of multimedia scenarios

  • Authors:
  • A. Ghomari;M. K. Rahmouni

  • Affiliations:
  • Department of Computer Science, University of Es-Senia Oran, Oran, Algeria;Department of Computer Science, University of Es-Senia Oran, Oran, Algeria

  • Venue:
  • International Journal of Parallel, Emergent and Distributed Systems
  • Year:
  • 2007

Quantified Score

Hi-index 0.04

Visualization

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.