Formalisation, Analyse et contrôle de cohérence temporelle et spatiale des documents SMIL
Formalisation, Analyse et contrôle de cohérence temporelle et spatiale des documents SMIL
Fichiers
Date
2017-07-02
Auteurs
MEKAHLIA Fatma Zohra
Nom de la revue
ISSN de la revue
Titre du volume
Éditeur
Résumé
Le problème de la vérification des incohérences temporelles et spatiales du langage SMIL (Synchronized Multimedia Integration Language) est considéré dans le présent manuscrit de cette thèse, où nous proposons une méthode formelle hybride qui détecte et corrige les conflits temporel et spatial des documents SMIL. La solution proposée est basée sur un travail connexe qui utilise la logique de Hoare pour la détection des conflits temporels dans les documents SMIL. L'utilisation de la logique de Hoare est empruntée par cette solution, mais avec de nombreuses améliorations et extensions. De nouvelles règles sont ajoutées pour permettre la modélisation de plusieurs éléments de SMIL. Nous traitons aussi la vérification des incohérences spatiales où nous proposons un algorithme de vérification des incohérences spatio-temporelles, appelé Algorithme de Vérification des Incohérences Spatio-temporelles (AVIS).Ce dernier utilise lescontraintes disjonctives de Marriott pour corriger les incohérences spatiales. En outre, nous proposons un nouvel outil appelé SMIL-Verification qui aide l'auteur à valider les contraintes temporelles et spatiales des documents SMIL.En effet, si un conflit temporel ou spatial est détecté, l'outil retourne un messaged'erreur et aide l'auteur à corriger le conflit. Enfin, notre contribution a été comparée avec deux travaux connexes récents, et les résultats montrent que la solution proposée permet de vérifier plusieurs éléments SMIL.
Description
Mots-clés
Méthode formelle, SMIL 3.0, Conception, Présentations multimédias, Analyse de cohérence, Contrôle de cohérence, Qualité de présentation, Vérification, Conflit temporel, Conflit spatial, Logique de Hoare, Contraintes disjonctives