Spatio-temporal Validation of Multimedia Documents

International audienceA multimedia document authoring system should provide analysis and validation tools that help authors find and correct mistakes before document deployment. Although very useful, multimedia validation tools are not often provided. Spatial validation of multimedia documents may be performed over the initial position of media items before presentation starts. However, such an approach does not lead to ideal results when media item placement changes over time. Some document authoring languages allow the definition of spatio-temporal relationships among media items and they can be moved or resized during runtime. Current validation approaches do not verify dynamic spatio-temporal relationships. This paper presents a novel approach for spatio-temporal validation of multimedia documents. We model the document state, extending the Simple Hyperme-dia Model (SHM), comprising media item positioning during the whole document presentation. Mapping between document states represent time lapse or user interaction. We also define a set of atomic formulas upon which the author's expectations related to the spatio-temporal layout can be described and analyzed

A brief review: Multimedia authoring modeling

Multimedia Authoring is a way to develop a multimedia presentation. Multimedia content includes images, sounds, videos, texts, and animations. The Kernel Mechanism of Multimedia Authoring consists of the Multimedia Authoring Programming Language and the Multimedia Authoring Model. Multimedia Authoring modeling is designed to enable the Multimedia Authoring function appropriately. Since the beginning of designing multimedia authoring tools, various studies were conducted to create a multimedia authoring model. Multimedia Authoring models that have been studied in existing research are Petri Nets, Hoare Logic, and LOTOS. The three models use different approaches. Petri Net uses a model based on graph calculations, Hoare logic uses mathematical logic, and LOTOS uses a formal specification language. Each of these models has been developed and modified to have higher capabilities. This model modification has advantages over the original model. This review article discusses the development and modifications of these models

Uma metodologia e um ambiente MDE para a verificação de aplicações hipermídia

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2016No desenvolvimento de aplicações hipermídia, o projetista pode erroneamente inserir comportamentos indesejados. Metodologias baseadas em teste ou análise de linha temporal para verificar a corretude de aplicações são limitadas, por não serem exaustivas e serem consumidoras de tempo. Outra alternativa é a utilização de metodologias baseadas em verificação formal, que permitem uma análise exaustiva e mais rápida da aplicação. A verificação formal requer que a aplicação e os comportamentos a serem verificados estejam representados em linguagens formais, de difícil aprendizagem por um projetista de aplicação hipermídia. O presente trabalho propõe uma metodologia baseada no uso de verificação formal por model-checking, a partir de uma representação da aplicação, das propriedades a serem verificadas e do diagnostico de eventuais erros, ambos em linguagens e representações de fácil uso e entendimento para o projetista destas aplicações. Essa metodologia é dividida em quatro fases: Modelagem, Transformação, Verificação e Diagnóstico/Correção. Inicialmente, o projetista codifica sua aplicação em alguma linguagem de domínio específico (por exemplo, NCL ou SMIL), e especifica os comportamentos desejados a serem verificados numa linguagem de descrição simples, proposta neste trabalho. A seguir, essas descrições das aplicações e comportamentos são transformadas, seguindo a abordagem MDE (Model Driven Engineering), nos modelos formais utilizados na verificação. Em caso de algum comportamento desejado não ser satisfeito, a ferramenta de model-checking oferece um contraexemplo que, após transformação, é apresentado na forma de uma linha de tempo, permitindo diagnosticar a origem do erro e fornecer informações para a sua correção. Para apoiar a metodologia proposta, foi construído um protótipo de um ambiente de desenvolvimento, no qual o projetista pode verificar o comportamento de sua aplicação. As avaliações da metodologia e de seu ambiente, realizadas em diversas aplicações hipermídia mostram suas potencialidades de uso para aplicações mais complexas e no caso de edição "ao vivo".Abstract : In the development of hypermedia applications, the designer can mistakenly insert undesirable behaviors. Methodologies based on tests or timeline analysis to verify the correctness of applications are limited because they are not exhaustive and are time consuming. Another alternative is the use of methodologies based on formal verification, allowing an exhaustive and more fast analysis of the application. Formal verification requires that the application and behavior to be verified are represented in formal languages, which are difficult to learn by a hypermedia application designer. This work proposes a methodology based on the use of formal verification by model-checking, from an application representation, the properties to be verified and the diagnosis of errors, both in languages and representations of easy use and understanding by designer of these applications. This methodology is divided into four phases: Modeling, Transformation, Verification and Diagnosis/Correction. Initially, the designer encodes his application in any domain specific language (eg, NCL or SMIL), and specifies the desired behaviors to be checked in a simple description language proposed in this work. Then these descriptions of applications and behaviors are transformed, following the MDE approach (Model Driven Engineering), in formal models used for verification. If some desired behavior is not satisfied, the model-checking tool provides a counterexample that, after processing, is presented as a timeline, allowing to diagnose the source of the error and provide information for its correction. To support the proposed methodology, a prototype development environment was built, in which the designer can verify the behavior of your application. Evaluations of the methodology and its environment, performed in several hypermedia applications, showed their potential of use for more complex applications and in the case of editing "live"

Libro de aplicaciones y usabilidad de la televisión digital interactiva : VIII Conferencia Iberoamericana de Aplicaciones t Usabilidad de la TV Interactiva (jAUTI 2019)

Las jAUTI2019 VIII Jornadas Iberoamericanas sobre Aplicaciones y Usabilidad de la Televisión Digital Interactiva, se realizaron durante WebMedia 2019 XXV Simpósio Brasilero de Sistemas Multimedia y Web , del 29 de Octubre al 1 de Noviembre en Río de Janeiro (Brasil). jAUTI2019 es la octava edición de un evento científico organizado anualmente por la RedAUTI Red Temática de Aplicaciones y Usabilidad de la Televisión Digital Interactiva, formada por más de 250 investigadores pertenecientes a 32 universidades de España, Portugal y once países latinoamericanos (Argentina, Brasil, Colombia, Costa Rica, Cuba, Chile, Ecuador, Guatemala, Perú, Uruguay, Venezuela). Este libro reúne los trabajos aceptados en el evento el cual tiene como objetivo presentar los esfuerzos de investigación de la academia, la industria o las agencias gubernamentales en el diseño, desarrollo y usabilidad de aplicaciones para la Televisión Digital Interactiva (TVDi) y tecnologías relacionadas.A jAUTI 2019 - VIII Conferência Ibero-Americana de Aplicações e Usabilidade da Televisão Digital Interativa, foi realizada durante o WebMedia 2019 - XXV Simpósio Brasileiro de Multimídia e Sistemas Web, de 29 de outubro à 1 de novembro no Rio de Janeiro (Brasil). O jAUTI 2019 é a oitava edição de um evento científico organizado anualmente pela Rede Temática de Aplicações e Usabilidade da Televisão Digital Interativa (RedAUTI), formada por mais de 250 pesquisadores de 32 universidades de Espanha, Portugal e onze países da América Latina (Argentina, Brasil, Colômbia, Costa Rica, Cuba, Chile, Equador, Guatemala, Peru, Uruguai, Venezuela). Este livro reúne os trabalhos aceitos no evento, que visa apresentar os esforços de pesquisa da academia, da indústria ou de agências governamentais no projeto, desenvolvimento e usabilidade de aplicativos para Televisão Digital Interativa (TVDi) e tecnologias relacionadas.The jAUTI 2019 VIII Ibero-American Conference on Applications and Usability of Interactive Digital Television, were held during WebMedia 2019 XXV Brazilian Symposium on Multimedia and Web Systems, from October 29 to November 1 in Rio de Janeiro (Brazil). jAUTI 2019 is the eighth edition of a scientific event organized annually by the RedAUTI Thematic Network of Applications and Usability of Interactive Digital Television, formed by more than 250 researchers from 32 universities in Spain, Portugal and eleven Latin American countries (Argentina, Brazil, Colombia, Costa Rica, Cuba, Chile, Ecuador, Guatemala, Peru, Uruguay, Venezuela). This book gathers the works accepted in the event which aims to present the research efforts of the academy, industry or government agencies in the design, development and usability of applications for Interactive Digital Television (TVDi) and related technologies.RedAUT

Libro de aplicaciones y usabilidad de la televisión digital interactiva : VIII Conferencia Iberoamericana de Aplicaciones t Usabilidad de la TV Interactiva (jAUTI 2019)

Las jAUTI2019 VIII Jornadas Iberoamericanas sobre Aplicaciones y Usabilidad de la Televisión Digital Interactiva, se realizaron durante WebMedia 2019 XXV Simpósio Brasilero de Sistemas Multimedia y Web , del 29 de Octubre al 1 de Noviembre en Río de Janeiro (Brasil). jAUTI2019 es la octava edición de un evento científico organizado anualmente por la RedAUTI Red Temática de Aplicaciones y Usabilidad de la Televisión Digital Interactiva, formada por más de 250 investigadores pertenecientes a 32 universidades de España, Portugal y once países latinoamericanos (Argentina, Brasil, Colombia, Costa Rica, Cuba, Chile, Ecuador, Guatemala, Perú, Uruguay, Venezuela). Este libro reúne los trabajos aceptados en el evento el cual tiene como objetivo presentar los esfuerzos de investigación de la academia, la industria o las agencias gubernamentales en el diseño, desarrollo y usabilidad de aplicaciones para la Televisión Digital Interactiva (TVDi) y tecnologías relacionadas.A jAUTI 2019 - VIII Conferência Ibero-Americana de Aplicações e Usabilidade da Televisão Digital Interativa, foi realizada durante o WebMedia 2019 - XXV Simpósio Brasileiro de Multimídia e Sistemas Web, de 29 de outubro à 1 de novembro no Rio de Janeiro (Brasil). O jAUTI 2019 é a oitava edição de um evento científico organizado anualmente pela Rede Temática de Aplicações e Usabilidade da Televisão Digital Interativa (RedAUTI), formada por mais de 250 pesquisadores de 32 universidades de Espanha, Portugal e onze países da América Latina (Argentina, Brasil, Colômbia, Costa Rica, Cuba, Chile, Equador, Guatemala, Peru, Uruguai, Venezuela). Este livro reúne os trabalhos aceitos no evento, que visa apresentar os esforços de pesquisa da academia, da indústria ou de agências governamentais no projeto, desenvolvimento e usabilidade de aplicativos para Televisão Digital Interativa (TVDi) e tecnologias relacionadas.The jAUTI 2019 VIII Ibero-American Conference on Applications and Usability of Interactive Digital Television, were held during WebMedia 2019 XXV Brazilian Symposium on Multimedia and Web Systems, from October 29 to November 1 in Rio de Janeiro (Brazil). jAUTI 2019 is the eighth edition of a scientific event organized annually by the RedAUTI Thematic Network of Applications and Usability of Interactive Digital Television, formed by more than 250 researchers from 32 universities in Spain, Portugal and eleven Latin American countries (Argentina, Brazil, Colombia, Costa Rica, Cuba, Chile, Ecuador, Guatemala, Peru, Uruguay, Venezuela). This book gathers the works accepted in the event which aims to present the research efforts of the academy, industry or government agencies in the design, development and usability of applications for Interactive Digital Television (TVDi) and related technologies.RedAUT

Libro de aplicaciones y usabilidad de la televisión digital interactiva : VIII Conferencia Iberoamericana de Aplicaciones t Usabilidad de la TV Interactiva (jAUTI 2019)

Las jAUTI2019 VIII Jornadas Iberoamericanas sobre Aplicaciones y Usabilidad de la Televisión Digital Interactiva, se realizaron durante WebMedia 2019 XXV Simpósio Brasilero de Sistemas Multimedia y Web , del 29 de Octubre al 1 de Noviembre en Río de Janeiro (Brasil). jAUTI2019 es la octava edición de un evento científico organizado anualmente por la RedAUTI Red Temática de Aplicaciones y Usabilidad de la Televisión Digital Interactiva, formada por más de 250 investigadores pertenecientes a 32 universidades de España, Portugal y once países latinoamericanos (Argentina, Brasil, Colombia, Costa Rica, Cuba, Chile, Ecuador, Guatemala, Perú, Uruguay, Venezuela). Este libro reúne los trabajos aceptados en el evento el cual tiene como objetivo presentar los esfuerzos de investigación de la academia, la industria o las agencias gubernamentales en el diseño, desarrollo y usabilidad de aplicaciones para la Televisión Digital Interactiva (TVDi) y tecnologías relacionadas.A jAUTI 2019 - VIII Conferência Ibero-Americana de Aplicações e Usabilidade da Televisão Digital Interativa, foi realizada durante o WebMedia 2019 - XXV Simpósio Brasileiro de Multimídia e Sistemas Web, de 29 de outubro à 1 de novembro no Rio de Janeiro (Brasil). O jAUTI 2019 é a oitava edição de um evento científico organizado anualmente pela Rede Temática de Aplicações e Usabilidade da Televisão Digital Interativa (RedAUTI), formada por mais de 250 pesquisadores de 32 universidades de Espanha, Portugal e onze países da América Latina (Argentina, Brasil, Colômbia, Costa Rica, Cuba, Chile, Equador, Guatemala, Peru, Uruguai, Venezuela). Este livro reúne os trabalhos aceitos no evento, que visa apresentar os esforços de pesquisa da academia, da indústria ou de agências governamentais no projeto, desenvolvimento e usabilidade de aplicativos para Televisão Digital Interativa (TVDi) e tecnologias relacionadas.The jAUTI 2019 VIII Ibero-American Conference on Applications and Usability of Interactive Digital Television, were held during WebMedia 2019 XXV Brazilian Symposium on Multimedia and Web Systems, from October 29 to November 1 in Rio de Janeiro (Brazil). jAUTI 2019 is the eighth edition of a scientific event organized annually by the RedAUTI Thematic Network of Applications and Usability of Interactive Digital Television, formed by more than 250 researchers from 32 universities in Spain, Portugal and eleven Latin American countries (Argentina, Brazil, Colombia, Costa Rica, Cuba, Chile, Ecuador, Guatemala, Peru, Uruguay, Venezuela). This book gathers the works accepted in the event which aims to present the research efforts of the academy, industry or government agencies in the design, development and usability of applications for Interactive Digital Television (TVDi) and related technologies.RedAUT

MediaSync: Handbook on Multimedia Synchronization

This book provides an approachable overview of the most recent advances in the fascinating field of media synchronization (mediasync), gathering contributions from the most representative and influential experts. Understanding the challenges of this field in the current multi-sensory, multi-device, and multi-protocol world is not an easy task. The book revisits the foundations of mediasync, including theoretical frameworks and models, highlights ongoing research efforts, like hybrid broadband broadcast (HBB) delivery and users' perception modeling (i.e., Quality of Experience or QoE), and paves the way for the future (e.g., towards the deployment of multi-sensory and ultra-realistic experiences). Although many advances around mediasync have been devised and deployed, this area of research is getting renewed attention to overcome remaining challenges in the next-generation (heterogeneous and ubiquitous) media ecosystem. Given the significant advances in this research area, its current relevance and the multiple disciplines it involves, the availability of a reference book on mediasync becomes necessary. This book fills the gap in this context. In particular, it addresses key aspects and reviews the most relevant contributions within the mediasync research space, from different perspectives. Mediasync: Handbook on Multimedia Synchronization is the perfect companion for scholars and practitioners that want to acquire strong knowledge about this research area, and also approach the challenges behind ensuring the best mediated experiences, by providing the adequate synchronization between the media elements that constitute these experiences

Libro de jAUTI 2014

El III WORKSHOP DE TV DIGITAL INTERACTIVA (WTVDI) en conjunto con las jAUTI 2014 III Jornadas Iberoamericanas de difusión y capacitación sobre Aplicaciones y Usabilidad de la TVDI se realizaron durante Webmedia 2014 XX Simpósio Brasilero de Sistemas Multimedia y Web e ntre el 18 y 21 de noviembre de 2014 en la ciudad de João Pessoa (Paraíba, Brasil). El Workshop de TV Digital Interativa (WTVDI) tuvo su primera edición en 2005 en XVIII SIBGRAPI y su segunda edición en 2010 en XVI Webmedia. En esta última edición se realizó junto a jAUTI 2014, el tercer encuentro de investigadores latinoamericanos que formam a REDAUTI Red temática en Aplicaciones y Usabilidad de la Televisión digital Interactiva financiada por el PROGRAMA IBEROAMERICANO DE CIENCIA Y TECNOLOGÍA PARA EL DESARROLLO (CYTED), formada por 225 investigadores de 36 grupos (29 universidades y 7 empresas) de 12 países iberoamericanos. Este libro reúne los trabajos presentados por investigadores de la academia y de la industria en el desarrollo e implementación de tecnologías relacionadas a aplicaciones y usabilidad en TV Digital Interactiva