Conception formelle de documents hypermedias portables

par Roberto Willrich

Thèse de doctorat en Informatique industrielle

Sous la direction de M. Diaz.

Soutenue en 1996

à Toulouse 3 .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    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

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : [4]-161 f

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : H-WIL
  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1996TOU30152
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.