Enriching SMIL with assertions for temporal validation

Authors:
Annalisa Bossi;Ombretta Gaggi
Affiliations:
University Ca' Foscari of Venice, Venice, Italy;Univerisity of Padua, Padua, Italy
Venue:
Proceedings of the 15th international conference on Multimedia
Year:
2007

Citing 10
Cited 2

The Amsterdam hypermedia model: adding time and context to the Dexter model

Communications of the ACM
Madeus, and authoring environment for interactive multimedia documents

MULTIMEDIA '98 Proceedings of the sixth ACM international conference on Multimedia
Hypercharts: Extended Statecharts to Support Hypermedia Specification

IEEE Transactions on Software Engineering
GRiNS: a graphical interface for creating and playing SMIL documents

WWW7 Proceedings of the seventh international conference on World Wide Web 7
Modeling, authoring and formatting hypermedia documents in the HyperProp system

Multimedia Systems
Maintaining knowledge about temporal intervals

Communications of the ACM
An axiomatic basis for computer programming

Communications of the ACM
A formal semantics of SMIL: a web standard to describe multimedia documents

Computer Standards & Interfaces
Modeling and Analyzing SMIL Documents in SAM

MSE '02 Proceedings of the Fourth IEEE International Symposium on Multimedia Software Engineering
Dynamic consistency checking for temporal and spatial relations in multimedia presentations

Proceedings of the 2006 ACM symposium on Applied computing

SMIL builder: An incremental authoring tool for SMIL Documents

ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)
Automating the analysis of NCL documents with a model-driven approach

Proceedings of the 19th Brazilian symposium on Multimedia and the web

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we define a formal semantics for the language SMIL which can be used in a number of applications. First of all, we propose a computer aided authoring system which include a Semantic Validator Module for the evaluation of the temporal consistency of the resulting multimedia presentation. If any temporal conflict is found, the system returns to the user a message pointing out the tag which contains the error and its motivation. This helps the user to correct the error. We also introduce a notion of equivalence for SMIL tags which is useful to find a candidate for substitution in the development of complex multimedia structure, for example in the context adaptation process.