H-SMIL-Net: A Hierarchical Petri Net Model for SMIL Documents

We propose in this paper a hierarchical and temporal extension of Petri Nets for the incremental authoring of SMIL multimedia documents. The complexity of these documents can lead authors, in some cases, to specify synchronization relations which could not be satisfied during the presentation of the document, what characterizes the occurrence of inconsistencies; a consistency checking mechanism is then necessary. This new model, named H-SMIL-Net (Hierarchical SMIL-Petri Net) proposes a technique for the incremental verification of temporal consistency. The originality of the solution resides in the modular aspect of the modelling, and the local approach of verification, what optimizes the verification time after each editing operation. This formal approach has been integrated in an incremental authoring tool for SMIL presentations.

[1]  Paulo Nazareno Maia Sampaio.  Conception formelle de documents multimédia interactifs: une approche s' appuyant sur RT-LOTOS , 2005 .

[2]  Abdelkader Belkhir,et al.  A Hierarchical Petri Net Model for SMIL Documents , 2010 .

[3]  Arif Ghafoor,et al.  Synchronization and Storage Models for Multimedia Objects , 1990, IEEE J. Sel. Areas Commun..

[4]  Soon Myoung Chung,et al.  Timed Petri net representation of the Synchronized Multimedia Integration Language (SMIL) of XML , 2003, Proceedings ITCC 2003. International Conference on Information Technology: Coding and Computing.

[5]  Yi Deng,et al.  Modeling and analyzing SMIL documents in SAM , 2002, Fourth International Symposium on Multimedia Software Engineering, 2002. Proceedings..

[6]  Jean-Pierre Courtiat,et al.  An Approach for the Automatic Generation of RT-LOTOS Specifications from SMIL 2.0 Documents , 2004, J. Braz. Comput. Soc..

[7]  Muriel Jourdan,et al.  Authoring SMIL documents by direct manipulations during presentation , 1999, World Wide Web.

[8]  Patrick Sénac,et al.  Modeling Logical and Temporal Synchronization in Hypermedia Systems , 1996, IEEE J. Sel. Areas Commun..

[9]  Ombretta Gaggi,et al.  Enriching SMIL with assertions for temporal validation , 2007, ACM Multimedia.

[10]  Chun-Chuan Yang.  DETECTION OF THE TIME CONFLICTS FOR SMIL-BASED MULTIMEDIA PRESENTATIONS , 2000 .

[11]  Arjeh M. Cohen,et al.  Synchronized Multimedia Integration Language (SMIL) 2.0 , 1998 .

[12]  Robert M. Newman,et al.  Formal design of SMIL presentations , 2003, SIGDOC '03.

[13]  Abdelkader Belkhir,et al.  Formal Design of SMIL Documents , 2007, WEBIST.