Modélisation et validation des documents SMIL Collation IX-103F. : ILL. EN COUL., [54]FIGS.; 30CM+CD.
Modélisation et validation des documents SMIL Collation IX-103F. : ILL. EN COUL., [54]FIGS.; 30CM+CD.
Fichiers
Date
2014-10-26
Auteurs
BELHEZIEL Naceur
Nom de la revue
ISSN de la revue
Titre du volume
Éditeur
Université oran1 Ahmed Ben Bella
Résumé
Grâce à la puissance des ordinateurs et au débit des communications actuels, il est possible de combiner différents médias (son, vidéo, texte, images, animations ...) pour produire des documents plus sophistiqués communément appelés Documents Multimédia (DM en abrégé). Ces documents sont devenus de plus en plus répandus et utilisés dans différents domaines. Ils sont caractérisés par l'intégration de la synchronisation de plusieurs média (audio, vidéo, texte, image, ?.). Le langage SMIL (Synchronized Multimedia Intégration Language) qui est un standard du World Wide Web Consortium (W3C) suscite un intérêt croissant, notamment dans le cadre de l'édition de DM synchronisés. L'aspect temporel est donc un point crucial pour de telles présentations. Ce langage permet aussi d'intégrer d'autres informations d'ordre spatial, hypermédia et des Méta informations.La complexité de la synchronisation temporelle des présentations SMIL rend difficile voire impossible de garantir la validité d'un scénario en se basant sur des méthodes informelles. Ce mémoire utilise les réseaux de Pétri temporels de Merlin pour la modélisation et la validation des documents SMIL ce qui contribue à leur production et diffusion.
Description
Mots-clés
Documents Multimédias (DM), SMIL, Réseaux De Pétri Temporels, Formalisation, Validation, Aspect Temporel, Aspect Spatial, XML, Limsee, Incohérence Temporelle