Recherche Avancée

Thèse soutenue

Conception formelle de documents hypermedias portables

FR  |  
EN
Auteur / Autrice : Roberto Willrich
Direction : Michel Diaz
Type : Thèse de doctorat
Discipline(s) : Informatique industrielle
Date : Soutenance en 1996
Etablissement(s) : Toulouse 3

Résumé

FR

Cette these propose un modele formel et une methodologie, permettant la conception formelle de documents hypermedias portables, qui couvre toutes les etapes essentielles du cycle de developpement des documents hypermedias. Nous avons defini un modele formel permettant la specification et l'analyse des documents. L'implementation est supportee par la traduction de la specification analysee en une representation physique interpretable par un systeme de presentation. Nous avons aussi developpe des outils mettant en uvre cette methodologie. Le modele formel propose est une extension du modele reseaux de petri hierarchiques a flux temporel (rdphft), qui permet une specification formelle unifiee et precise de la synchronisation logique et temporelle des systemes hypermedias distribues. Le modele rdphft n'a pas pour objectif la description complete de documents hypermedias. Cette these propose une version interpretee du modele rdphft, appelee rdphft-i, qui etend le modele rdphft afin de permettre la specification complete de documents hypermedias. A la suite et a l'aide du modele rdphft-i, nous proposons une methodologie de prototypage de documents hypermedias dans laquelle la specification et l'analyse des documents sont faites a l'aide du modele rdphft-i et l'implantation est supportee: soit par la production automatique de representations mheg, soit par la production d'applications java. Mheg est une norme internationale de representation des informations multimedias et hypermedias permettant le transfert de ces informations dans un systeme ouvert. Java est un langage de programmation d'applications multimedias fournissant un code portable de l'application. En resume, la principale contribution de ce travail est d'avoir propose et mis en uvre une methodologie permettant de controler la qualite et de maitriser la complexite des systemes hypermedias, a partir d'un cycle de vie permettant de generer directement un document hypermedia a partir d'une specification formelle analysee