{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:53:45Z","timestamp":1750308825177,"version":"3.41.0"},"reference-count":38,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2018,10,30]],"date-time":"2018-10-30T00:00:00Z","timestamp":1540857600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002322","name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002322","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004586","name":"Funda\u00e7\u00e3o Carlos Chagas Filho de Amparo \u00e0 Pesquisa do Estado do Rio de Janeiro","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004586","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100012950","name":"Institut national de recherche en informatique et en automatique","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100012950","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Multimedia Comput. Commun. Appl."],"published-print":{"date-parts":[[2018,11,30]]},"abstract":"<jats:p>Declarative multimedia documents represent the description of multimedia applications in terms of media items and relationships among them. Relationships specify how media items are dynamically arranged in time and space during runtime. Although a declarative approach usually facilitates the authoring task, authors can still make mistakes due to incorrect use of language constructs or inconsistent or missing relationships in a document. In order to properly support multimedia application authoring, it is important to provide tools with validation capabilities. Document validation can indicate possible inconsistencies in a given document to an author so that it can be revised before deployment. Although very useful, multimedia validation tools are not often provided by authoring tools.<\/jats:p>\n          <jats:p>\n            This work proposes a multimedia validation approach that relies on a formal model called\n            <jats:italic>Simple Hypermedia Model<\/jats:italic>\n            (\n            <jats:italic>SHM<\/jats:italic>\n            ).\n            <jats:italic>SHM<\/jats:italic>\n            is used for representing a document for the purpose of validation. An\n            <jats:italic>SHM<\/jats:italic>\n            document is validated using a hybrid approach based on two complementary techniques. The first one captures the document\u2019s spatio-temporal layout in terms of its state throughout its execution by means of a rewrite theory, and validation is performed through\n            <jats:italic>model-checking<\/jats:italic>\n            . The second one captures the document\u2019s layout in terms of intervals and event occurrences by means of\n            <jats:italic>Satisfiability Modulo Theories<\/jats:italic>\n            (SMT) formulas, and validation is performed through SMT solving. Due to different characteristics of both approaches, each validation technique complements the other in terms of expressiveness of\n            <jats:italic>SHM<\/jats:italic>\n            and tests to be checked.\n          <\/jats:p>\n          <jats:p>We briefly present validation tools that use our approach. They were evaluated with real NCL documents and by usability tests.<\/jats:p>","DOI":"10.1145\/3267127","type":"journal-article","created":{"date-parts":[[2018,10,30]],"date-time":"2018-10-30T12:11:00Z","timestamp":1540901460000},"page":"1-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A Hybrid Approach for Spatio-Temporal Validation of Declarative Multimedia Documents"],"prefix":"10.1145","volume":"14","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7234-613X","authenticated-orcid":false,"given":"Joel A. F. Dos","family":"Santos","sequence":"first","affiliation":[{"name":"School of Computing and Informatics - CEFET\/RJ, Rio de Janeiro, Brazil"}]},{"given":"D\u00e9bora C.","family":"Muchaluat-Saade","sequence":"additional","affiliation":[{"name":"M\u00eddiaCom Lab, Univ. Federal Fluminense, Niter\u00f3i, Brazil"}]},{"given":"C\u00e9cile","family":"Roisin","sequence":"additional","affiliation":[{"name":"Univ. Grenoble Alpes, Inria, LIG, Grenoble, France"}]},{"given":"Nabil","family":"Laya\u00efda","sequence":"additional","affiliation":[{"name":"Inria, LIG, Univ. Grenoble Alpes, Grenoble, France"}]}],"member":"320","published-online":{"date-parts":[[2018,10,30]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"ABNT. 2011. Digital terrestrial television - Data coding and transmission specification for digital broadcasting - Part 2: Ginga-NCL for fixed and mobile receivers - XML application language for application coding. (2011). ABNT NBR 15606-2:2011 standard.  ABNT. 2011. Digital terrestrial television - Data coding and transmission specification for digital broadcasting - Part 2: Ginga-NCL for fixed and mobile receivers - XML application language for application coding. (2011). ABNT NBR 15606-2:2011 standard."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-27671-7_54"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976796.2988167"},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the ICAPS 2012 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS","author":"Belouaer L.","year":"2012","unstructured":"L. Belouaer and F. Maris . 2012. SMT spatio-temporal planning . In Proceedings of the ICAPS 2012 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS 2012 ). 6--15. L. Belouaer and F. Maris. 2012. SMT spatio-temporal planning. In Proceedings of the ICAPS 2012 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS 2012). 6--15."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICME.2005.1521489"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/49.481691"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/UKSIM.2008.54"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1870121.1870123"},{"key":"e_1_2_1_10_1","first-page":"4","article-title":"SUS-A quick and dirty usability scale","volume":"189","author":"Brooke John","year":"1996","unstructured":"John Brooke . 1996 . SUS-A quick and dirty usability scale . Usability Evaluation in Industry 189 , 194 (1996), 4 -- 7 . John Brooke. 1996. SUS-A quick and dirty usability scale. Usability Evaluation in Industry 189, 194 (1996), 4--7.","journal-title":"Usability Evaluation in Industry"},{"key":"e_1_2_1_11_1","unstructured":"M. Clavel S. Eker F. Dur\u00e1n P. Lincoln N. Mart\u00ed-Oliet and J. Meseguer. 2007. All About Maude - A High-performance Logical Framework: How to Specify Program and Verify Systems in Rewriting Logic. Vol. 4350. Springer-Verlag.   M. Clavel S. Eker F. Dur\u00e1n P. Lincoln N. Mart\u00ed-Oliet and J. Meseguer. 2007. All About Maude - A High-performance Logical Framework: How to Specify Program and Verify Systems in Rewriting Logic. Vol. 4350. Springer-Verlag."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1995376.1995394"},{"key":"e_1_2_1_14_1","volume-title":"SLE (Doctoral Symposium)","author":"dos Santos Joel A. F.","year":"2012","unstructured":"Joel A. F. dos Santos , Christiano Braga , and D\u00e9bora C Muchaluat-Saade . 2012 . A model-driven approach for the analysis of multimedia document . In SLE (Doctoral Symposium) . Dresden, Germany, 37--44. Joel A. F. dos Santos, Christiano Braga, and D\u00e9bora C Muchaluat-Saade. 2012. A model-driven approach for the analysis of multimedia document. In SLE (Doctoral Symposium). Dresden, Germany, 37--44."},{"volume-title":"Formal Methods: Foundations and Applications, Juliano Iyoda and Leonardo de Moura (Eds.)","author":"dos Santos Joel A. F.","key":"e_1_2_1_15_1","unstructured":"Joel A. F. dos Santos , Christiano Braga , and D\u00e9bora C Muchaluat-Saade . 2013. An executable semantics for a multimedia authoring language . In Formal Methods: Foundations and Applications, Juliano Iyoda and Leonardo de Moura (Eds.) , Vol. 8195 . Springer , Bras\u00edlia, Brazil , 67--82. Joel A. F. dos Santos, Christiano Braga, and D\u00e9bora C Muchaluat-Saade. 2013. An executable semantics for a multimedia authoring language. In Formal Methods: Foundations and Applications, Juliano Iyoda and Leonardo de Moura (Eds.), Vol. 8195. Springer, Bras\u00edlia, Brazil, 67--82."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.04.006"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2682571.2797060"},{"volume-title":"Proceedings of the 18th Brazilian Symposium on Multimedia and the Web - Workshop of Tools and Applications. ACM","author":"dos Santos Joel A. F.","key":"e_1_2_1_18_1","unstructured":"Joel A. F. dos Santos , Julia V. Silva , Renan R. Vasconcelos , Wagner Schau , Cl\u00e1udia Werner , and D\u00e9bora C . Muchaluat-Saade. 2012. aNa: API for NCL authoring . In Proceedings of the 18th Brazilian Symposium on Multimedia and the Web - Workshop of Tools and Applications. ACM , S\u00e3o Paulo, Brazil. Joel A. F. dos Santos, Julia V. Silva, Renan R. Vasconcelos, Wagner Schau, Cl\u00e1udia Werner, and D\u00e9bora C. Muchaluat-Saade. 2012. aNa: API for NCL authoring. In Proceedings of the 18th Brazilian Symposium on Multimedia and the Web - Workshop of Tools and Applications. ACM, S\u00e3o Paulo, Brazil."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_49"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141596"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00530-011-0233-1"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.1996.0009"},{"key":"e_1_2_1_25_1","volume-title":"Programming in Lua","author":"Ierusalimschy Roberto","unstructured":"Roberto Ierusalimschy . 2006. Programming in Lua ( 2 nd ed.). Roberto Ierusalimschy . Roberto Ierusalimschy. 2006. Programming in Lua (2nd ed.). Roberto Ierusalimschy.","edition":"2"},{"key":"e_1_2_1_26_1","unstructured":"ITU. 2009. Nested Context Language (NCL) and Ginga-NCL for IPTV services. http:\/\/www.itu.int\/rec\/T-REC-H.761-200904-S. (2009). ITU-T Recommendation H.761.  ITU. 2009. Nested Context Language (NCL) and Ginga-NCL for IPTV services. http:\/\/www.itu.int\/rec\/T-REC-H.761-200904-S. (2009). ITU-T Recommendation H.761."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/290747.290780"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382636.2382685"},{"volume-title":"Spatiotemporal specification 8 verification of multimedia scenarios","author":"Kostalas Ioannis","key":"e_1_2_1_29_1","unstructured":"Ioannis Kostalas , T. Sellis , and Michalis Vazirgiannis . 1999. Spatiotemporal specification 8 verification of multimedia scenarios . In Database Semantics, Zahir Tari and Scott Stevens (Eds.), Vol. 11 . Springer , 169--188. Ioannis Kostalas, T. Sellis, and Michalis Vazirgiannis. 1999. Spatiotemporal specification 8 verification of multimedia scenarios. In Database Semantics, Zahir Tari and Scott Stevens (Eds.), Vol. 11. Springer, 169--188."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11042-010-0552-9"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2526188.2526238"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TMM.2004.830807"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2012.06.003"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_2_1_35_1","volume-title":"Cohn","author":"Randell David A.","year":"1992","unstructured":"David A. Randell , Zhan Cui , and Anthony G . Cohn . 1992 . A spatial logic based on regions and connection. Principles of Knowledge Representation and Reasoning ( 1992), 165--176. David A. Randell, Zhan Cui, and Anthony G. Cohn. 1992. A spatial logic based on regions and connection. Principles of Knowledge Representation and Reasoning (1992), 165--176."},{"key":"e_1_2_1_36_1","unstructured":"L. F. G. Soares and R. F. Rodrigues. 2005. Nested Context Model 3.0 Part 1 - NCM Core. Technical Report. Informatics Department PUC-Rio Rio de Janeiro.  L. F. G. Soares and R. F. Rodrigues. 2005. Nested Context Model 3.0 Part 1 - NCM Core. Technical Report. Informatics Department PUC-Rio Rio de Janeiro."},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11042-010-0478-2"},{"volume-title":"Synchronized Multimedia Integration Language - SMIL 3.0 Specification","author":"C.","key":"e_1_2_1_38_1","unstructured":"W3 C. 2008. Synchronized Multimedia Integration Language - SMIL 3.0 Specification . World-Wide Web Consortium Working Recommendation . Retrieved from http:\/\/www.w3c.org\/TR\/SMIL3. W3C. 2008. Synchronized Multimedia Integration Language - SMIL 3.0 Specification. World-Wide Web Consortium Working Recommendation. Retrieved from http:\/\/www.w3c.org\/TR\/SMIL3."},{"volume-title":"Scalable Vector Graphics (SVG) 1.1","author":"C.","key":"e_1_2_1_39_1","unstructured":"W3 C. 2011. Scalable Vector Graphics (SVG) 1.1 . World-Wide Web Consortium Working Recommendation Retrieved from http:\/\/www.w3.org\/TR\/SVG11. W3C. 2011. Scalable Vector Graphics (SVG) 1.1. World-Wide Web Consortium Working Recommendation Retrieved from http:\/\/www.w3.org\/TR\/SVG11."},{"key":"e_1_2_1_40_1","volume-title":"HTML5: A vocabulary and associated APIs for HTML and XHTML","author":"C.","year":"2014","unstructured":"W3 C. 2014. HTML5: A vocabulary and associated APIs for HTML and XHTML . World-Wide Web Consortium Candidate Recommendation . https:\/\/www.w3.org\/TR\/ 2014 \/REC-html5-20141028. W3C. 2014. HTML5: A vocabulary and associated APIs for HTML and XHTML. World-Wide Web Consortium Candidate Recommendation. https:\/\/www.w3.org\/TR\/2014\/REC-html5-20141028."},{"key":"e_1_2_1_41_1","unstructured":"W3C. 2014. Web Animations 1.0. World-Wide Web Consortium Working Draft. Retrieved from http:\/\/www.w3.org\/TR\/web-animations\/.  W3C. 2014. Web Animations 1.0. World-Wide Web Consortium Working Draft. Retrieved from http:\/\/www.w3.org\/TR\/web-animations\/."}],"container-title":["ACM Transactions on Multimedia Computing, Communications, and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3267127","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3267127","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:26:52Z","timestamp":1750278412000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3267127"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,30]]},"references-count":38,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,11,30]]}},"alternative-id":["10.1145\/3267127"],"URL":"https:\/\/doi.org\/10.1145\/3267127","relation":{},"ISSN":["1551-6857","1551-6865"],"issn-type":[{"type":"print","value":"1551-6857"},{"type":"electronic","value":"1551-6865"}],"subject":[],"published":{"date-parts":[[2018,10,30]]},"assertion":[{"value":"2017-05-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-08-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-10-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}