{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T17:40:43Z","timestamp":1773078043318,"version":"3.50.1"},"reference-count":26,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Multimedia Comput. Commun. Appl."],"published-print":{"date-parts":[[2011,1]]},"abstract":"<jats:p>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 \u201cbuild\u201d 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.<\/jats:p>","DOI":"10.1145\/1870121.1870123","type":"journal-article","created":{"date-parts":[[2011,2,1]],"date-time":"2011-02-01T15:50:21Z","timestamp":1296575421000},"page":"1-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["SMIL builder"],"prefix":"10.1145","volume":"7","author":[{"given":"Samia","family":"Bouyakoub","sequence":"first","affiliation":[{"name":"USTHB University, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdelkader","family":"Belkhir","sequence":"additional","affiliation":[{"name":"USTHB University, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,2,4]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Ayars J. and Bulterman D. 2001. Synchronized multimedia integration language (SMIL 2.0). W3C Recommendation. http:\/\/www.w3.org\/TR\/2005\/REC-smil20-20010807\/.  Ayars J. and Bulterman D. 2001. Synchronized multimedia integration language (SMIL 2.0). W3C Recommendation. http:\/\/www.w3.org\/TR\/2005\/REC-smil20-20010807\/."},{"key":"e_1_2_1_2_1","unstructured":"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\/.  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\/."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291233.1291256"},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of the 3rd International Conference on Web Information Systems and Technologies (WEBIST).","author":"Bouyakoub S.","unstructured":"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). 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)."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/UKSIM.2008.54"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the 7th International Conference on the World Wide Web. 519--529","author":"Bulterman D.","unstructured":"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 . 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."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1047936.1047943"},{"key":"e_1_2_1_8_1","unstructured":"Bulterman D. Grassel G. Jansen J. Koivisto A. Laya\u00efda 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\/.  Bulterman D. Grassel G. Jansen J. Koivisto A. Laya\u00efda 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\/."},{"key":"e_1_2_1_9_1","unstructured":"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\/.  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\/."},{"key":"e_1_2_1_10_1","unstructured":"Bulterman D. Rutledge L. W. and Lloyd W. 2008. SMIL 3.0: Flexible Multimedia for Web Mobile Devices and Daisy Talking Books. Springer.   Bulterman D. Rutledge L. W. and Lloyd W. 2008. SMIL 3.0: Flexible Multimedia for Web Mobile Devices and Daisy Talking Books. Springer."},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the International Symposium on Information Technology (ITCC'03)","author":"Chung S. M.","unstructured":"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. 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."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1166160.1166203"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/93.735872"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1019256924296"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009675809463"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/49.53017"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/944868.944892"},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the SMIL European Conference.","author":"Rosin C.","unstructured":"Rosin , C. , Kober , V. , Quint , V. , Geneves , P. and Navarro , P . 2003. Editing SMIL with timelines . In Proceedings of the SMIL European Conference. Rosin, C., Kober, V., Quint, V., Geneves, P. and Navarro, P. 2003. Editing SMIL with timelines. In Proceedings of the SMIL European Conference."},{"key":"e_1_2_1_20_1","volume-title":"Proceedings of the IEEE International Conference on Multimedia (ICME '00)","author":"Sampaio P.","unstructured":"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) . 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)."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1590\/S0104-65002004000100004"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/49.481696"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1030397.1030433"},{"key":"e_1_2_1_24_1","volume-title":"Proceedings of the Packet Video Conference.","author":"Sung M.Y.","unstructured":"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. 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."},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the International Computer Symposium Workshop on Computer Networks, Internet and Multimedia. 57--63","author":"Yang C. C.","year":"2000","unstructured":"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 . 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."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025770817293"},{"key":"e_1_2_1_27_1","volume-title":"Proceedings of the 4th International Symposium on Multimedia Software Engineering.","author":"Yu H.","unstructured":"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. 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."}],"container-title":["ACM Transactions on Multimedia Computing, Communications, and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1870121.1870123","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1870121.1870123","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:59:47Z","timestamp":1750244387000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1870121.1870123"}},"subtitle":["An incremental authoring tool for SMIL Documents"],"short-title":[],"issued":{"date-parts":[[2011,1]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,1]]}},"alternative-id":["10.1145\/1870121.1870123"],"URL":"https:\/\/doi.org\/10.1145\/1870121.1870123","relation":{},"ISSN":["1551-6857","1551-6865"],"issn-type":[{"value":"1551-6857","type":"print"},{"value":"1551-6865","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,1]]},"assertion":[{"value":"2009-01-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2009-07-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-02-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}