Gestion de la Synchronisation dans les Documents Hypermédias
Gestion de la Synchronisation dans les Documents Hypermédias
Fichiers
Date
2021-03-03
Auteurs
BELADAM Naima Ep. LAZREG
Nom de la revue
ISSN de la revue
Titre du volume
Éditeur
Université oran1 Ahmed Ben Bella
Résumé
Dans cette thèse, nous étudions le problème de la gestion de la synchronisation dans les documents hypermédias où nous proposons une approche formelle inspirée de la logique de séparation pour analyser et corriger progressivement les contraintes de synchronisation temporelle, spatiale et hypermédia. Pour cela, nous avons développé un outil appelé Hypermedia Document Builder (HDB) pour aider les concepteurs à concevoir et vérifier facilement toutes les erreurs des contraintes des documents hypermédias. Ainsi, ces erreurs sont présentées immédiatement lors de la phase de conception pour faciliter leur correction et en minimisant leur nombre. Notre outil HDB permet également d'adapter les documents hypermédias analysés aux différents formats de présentation standard du Web tels que: HTML5 et SMIL 3.0. Enfin, l'outil HDB a été comparé à des outils de nature similaire de travaux récents connexes et les résultats montrent que l'outil proposé devance la conception de tels outils.
Description
Mots-clés
Synchronisation hypermédia, Synchronisation temporelle, Synchronisation spatiale, Vérification formelle, Logique de séparation, Document SMIl, Document HTML5, Conception hypermédia, Adaptation, Analyse formelle