Télécharger La thèse :

Titre: Gestion de la Synchronisation dans les Documents Hypermédias

Domaine: Mathématiques informatique (MI)

Filière: Informatique

Option: INFORMATIQUE

Auteur: BELADAM Naima

Soutenu (e) le: 03/03/2021

Sous la direction de: GHOMARI Abdelghani, Professeur, Université Oran 1

Co-directeur:ABDI Mustapha Kamel, Professeur, Université Oran 1

Le président du jury : TAGHEZOUT Noria, Professeur, Université Oran 1

Examinateur1: LAHFA  Fedoua, Professeur, Université Tlemcen UAB

Examinateur2: BENDELLA Fatima , Professeur, Université USTO M.B

Examinateur3: MALKI Mimoun, Professeur, Université ESI. Sidi Bel Abbès

Mention: Très honorables

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.


Mots clefs: Synchronisation hypermédia; Synchronisation temporelle; Synchronisation spatiale; Vérification formelle; Logique de séparation; Document SMIl; Document HTML5; Conception hypermédia; Adaptation; Analyse formelle.


Publications associées à la thèse

Article 1 TH5196:

Titre: Synchronization Management in Hypermedia Documents

Revue: Journal of Integrated Design & Process Science

Référence: Journal of Integrated Design-

Date: 2019