SMIL builder: An incremental authoring tool for SMIL Documents

We present in this article a temporal SMIL editor with incremental verification capabilities, based on a formal Petri Net--based model. Our authoring tool, named SMIL Builder, allows the author to “build” his document step by step, while insuring at every stage the validity of the current state of the document. These incremental authoring and consistency checking features are based on the H-SMIL-Net model (Hierarchical SMIL Petri Net), a temporal extension of Petri Nets. Our aim is to propose an easy-to-use temporal environment which can satisfy a wide range of users; so we opted for an interface combining simplicity and ergonomics.

[1]  Celso A. S. Santos,et al.  About the semantic verification of SMIL documents , 2000, 2000 IEEE International Conference on Multimedia and Expo. ICME2000. Proceedings. Latest Advances in the Fast Changing World of Multimedia (Cat. No.00TH8532).

[2]  D. Bulterman,et al.  SMIL 3.0: Flexible Multimedia for Web, Mobile Devices and Daisy Talking Books , 2004 .

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

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

[5]  Cécile Roisin,et al.  The limsee3 multimedia authoring model , 2006, DocEng '06.

[6]  Dick C. A. Bulterman.  SMIL 3.0 , 2008 .

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

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

[9]  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..

[10]  Abdelkader Belkhir,et al.  H-SMIL-Net: A Hierarchical Petri Net Model for SMIL Documents , 2008, Tenth International Conference on Computer Modeling and Simulation (uksim 2008).

[11]  Newton Lee,et al.  ACM Transactions on Multimedia Computing, Communications and Applications (ACM TOMCCAP) , 2007, CIE.

[12]  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.

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

[14]  C. Ramchandani,et al.  Analysis of asynchronous concurrent systems by timed petri nets , 1974 .

[15]  Chun-Chuan Yang,et al.  SMILAuthor: An Authoring System for SMIL-Based Multimedia Presentations , 2003, Multimedia Tools and Applications.

[16]  Vincent Quint,et al.  Editing SMIL with Timelines , 2003 .

[17]  Muriel Jourdan,et al.  A Scalable Toolkit for Designing Multimedia Authoring Environments , 2000, Multimedia Tools and Applications.

[18]  Dick C. A. Bulterman,et al.  Structured multimedia authoring , 2005, TOMCCAP.

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

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

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

[22]  Jin Hee Jang,et al.  A SMIL-based Multimedia Presentation Authoring System and Some Remarks on Future Extension of SMIL , 2002 .

[23]  Lloyd Rutledge,et al.  GRiNS: A GRaphical INterface for Creating and Playing SMIL Documents , 1998, Comput. Networks.

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

[25]  Philipp Hoschka,et al.  An Introduction to the Synchronized Multimedia Integration Language , 1998, IEEE Multim..

[26]  Rogério Ferreira Rodrigues,et al.  NCL 2.0: integrating new concepts to XML modular languages , 2004, DocEng '04.