Abstract
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.
- Ayars, J. and Bulterman, D. 2001. Synchronized multimedia integration language (SMIL 2.0). W3C Recommendation. http://www.w3.org/TR/2005/REC-smil20-20010807/.Google Scholar
- Ayars, J. and Bulterman, D. 2005. Synchronized multimedia integration language (SMIL 2.0) {Second Edition}. W3C Recommendation. http://www.w3.org/TR/2005/REC-SMIL2-20050107/.Google Scholar
- Bossi, A. and Gaggi, O. 2007. Enriching SMIL with assertions for temporal validation In Proceedings of the 15th International Conference on Multimedia. Google Scholar
Digital Library
- Bouyakoub, S. and Belkhir, A. 2007. Formal design of SMIL documents. In Proceedings of the 3rd International Conference on Web Information Systems and Technologies (WEBIST).Google Scholar
- Bouyakoub, S. and Belkhir, A. 2008. H-SMIL-Net: A hierarchical Petri net model for SMIL documents. In Proceedings of the 10th International Conference on Computer Modeling and Simulation (UKSIM'08). 106--111. Google Scholar
Digital Library
- Bulterman, D., Hardman, L., Jansen, J. Mullender, K., and Rutledge, L. 1998. GRiNS: A graphical interface for creating and playing SMIL documents. In Proceedings of the 7th International Conference on the World Wide Web. 519--529. Google Scholar
Digital Library
- Bulterman, D. and Hardman, L. 2005. Structured multimedia authoring. ACM Trans. Multimed. Comput. Commun. Appl. 1, 1, 89--109. Google Scholar
Digital Library
- Bulterman, D., Grassel, G., Jansen, J., Koivisto, A., Layaïda, N., Michel, T., Mullender, S., and Zucker, D. 2005. Synchronized multimedia integration language (SMIL 2. I). W3C Recommendation. http://www.w3.org/TR/2005/REC-SMIL2-20051213/.Google Scholar
- Bulterman, D. and Jansen, J. 2008. Synchronized multimedia integration language (SMIL 3.0). W3C Recommendation. Online at: http://www.w3.org/TR/2008/REC-SMIL3-20081201/.Google Scholar
- Bulterman, D., Rutledge, L. W., and Lloyd, W. 2008. SMIL 3.0: Flexible Multimedia for Web, Mobile Devices and Daisy Talking Books. Springer. Google Scholar
Digital Library
- Chung, S. M. and Pereira, A. L. 2003. Timed Petri net representation of the synchronized multimedia integration language (SMIL) of XML. In Proceedings of the International Symposium on Information Technology (ITCC'03).711--716. Google Scholar
Digital Library
- Del Tour, R. and Roisin, C. 2006. The Limsee3 multimedia authoring model. In Proceedings of the ACM Symposium on Document Engineering. Google Scholar
Digital Library
- Hoschka, P. 1998. Synchronized multimedia integration language (SMIL) 1.0. W3C Recommendation. http://www.w3.org/TR/1998/REC-smil-19980615. Google Scholar
Digital Library
- Jourdan, M., Rosin, C., Tardif, L., and Villard, L. 1999. Authoring SMIL documents by direct manipulation during presentation. World Wide Web J. 2, 4. Google Scholar
Digital Library
- Jourdan, M., Rosin, C., and Tardif, L. 2000. Kaomi: A scalable toolkit for designing multimedia authoring environments. Multimed. Tools Appl. 12, 2--3, 257--279. Google Scholar
Digital Library
- Little, T. D. C. and Ghafoor, A. 1990. Synchronization and storage models for multimedia objects. IEEE J. Select. Areas Comm. 8, 3.Google Scholar
Digital Library
- Newman, R. M. and Gaura, E. I. 2003. Formal design of SMIL presentations. In Proceedings of the 21st Annual International Conference on Documentation (SIGDOC'03). Google Scholar
Digital Library
- Ramchandani, C. 1974. Analysis of asynchronous concurrent systems by timed Petri nets. Ph.D. thesis, MIT.Google Scholar
- Rosin, C., Kober, V., Quint, V., Geneves, P. and Navarro, P. 2003. Editing SMIL with timelines. In Proceedings of the SMIL European Conference.Google Scholar
- Sampaio, P., Santos, C., and Courtiat, J.-P. 2000. About the semantic verification of SMIL documents. In Proceedings of the IEEE International Conference on Multimedia (ICME '00).Google Scholar
- Sampaio, P. and Courtiat, J.-P. 2004. An approach for the automatic generation of RT-LOTOS specifications from SMIL 2.0 documents. J. Brazil. Comput. Soc., 39--51.Google Scholar
Cross Ref
- Sénac, P., Diaz, M., Leger, A., and De Saqui-Sannes, P. 1996. Modeling logical and temporal synchronization in Hypermedia Systems. IEEE J. Select. Areas Comm. 14, 1, 84--103. Google Scholar
Digital Library
- Silva, H. V., Rodrigues, R. F., Soares, L. F., and Muchaluat Saade, D. C. 2004. NCL 2.0: Integrating new concepts to XML modular languages. In Proceedings of the ACM Symposium on Document Engineering. Google Scholar
Digital Library
- Sung, M.Y., Rho, S. J., and Jang, J. H. 2002. A SMIL-based multimedia presentation authoring system and some remarks on future extension of SMIL. In Proceedings of the Packet Video Conference.Google Scholar
- Yang, C. C. 2000. Detection of the time conflicts for SMIL-based multimedia presentations. In Proceedings of the International Computer Symposium Workshop on Computer Networks, Internet and Multimedia. 57--63.Google Scholar
- Yang, C. C. and Yang, Y. Z. 2003. SMIL Author: An Authoring System for SMIL-based Multimedia Presentations. Multimedia Tools and Applications, Kluwer Academic Publishers: 243--260. Google Scholar
Digital Library
- Yu, H., Xudong, H., Shu, G., and Yi, D. 2002. Modeling and analyzing SMIL Documents in SAM. In Proceedings of the 4th International Symposium on Multimedia Software Engineering. Google Scholar
Digital Library
Index Terms
SMIL builder: An incremental authoring tool for SMIL Documents
Recommendations
H-SMIL-Net: A Hierarchical Petri Net Model for SMIL Documents
UKSIM '08: Proceedings of the Tenth International Conference on Computer Modeling and SimulationWe 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 ...
Soter: an automatic safety verifier for erlang
AGERE! 2012: Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractionsThis paper presents Soter, a fully-automatic program analyser and verifier for Erlang modules. The fragment of Erlang accepted by Soter includes the higher-order functional constructs and all the key features of actor concurrency, namely, dynamic and ...
Modeling and Analyzing SMIL Documents in SAM
MSE '02: Proceedings of the Fourth IEEE International Symposium on Multimedia Software EngineeringA composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaining the time-ordered relations among the component media is vital to ...






Comments