Cette thèse propose un modèle formel et une méthodologie, permettant la conception formelle de documents hypermédias portables, qui couvre toutes les étapes essentielles du cycle de développement des documents hypermédias. Nous avons défini un modèle formel permettant la spécification et l'analyse des documents. L'implémentation est supportée par la traduction de la spécification analysée en une représentation physique interprétable par un système de présentation. Nous avons aussi développé des outils mettant en oeuvre cette méthodologie. Le modèle formel proposé est une extension du modèle Réseaux de Pétri Hiérarchiques à Flux Temporel (RdPHFT), qui permet une spécification formelle unifiée et précise de la synchronisation logique et temporelle des systèmes hypermédias distribués. Le modèle RdPHFT n'a pas pour objectif la description complète de documents hypermédias. Cette thèse propose une version interprétée du modèle RdPHFT, appelée RdPHFT-I, qui étend le modèle RdPHFT afin de permettre la spécification complète de documents hypermédias. A la suite et à l'aide du modèle RdPHFT-I, nous proposons une méthodologie de prototypage de documents hypermédias dans laquelle la spécification et l'analyse des documents sont faites à l'aide du modèle RdPHFT-I et l'implantation est supportée : soit par la production automatique de représentations MHEG, soit par la production d'applications Java. MHEG est une norme internationale de représentation des informations multimédias et hypermédias permettant le transfert de ces informations dans un système ouvert. Java est un langage de programmation d'applications multimédias fournissant un code portable de l'application. En résumé, la principale contribution de ce travail est d'avoir proposé et mis en oeuvre une méthodologie permettant de contrôler la qualité et de maîtriser la complexité des systèmes hypermédias, à partir d'un cycle de vie permettant de générer directement un docume nt hypermédia à partir d'une spécification formelle analysée.

Made available in DSpace on 2016-06-02T19:05:26Z (GMT). No. of bitstreams: 1 1629.pdf: 3149507 bytes, checksum: add0fd75e8f3b01b82bb7854587111ee (MD5) Previous issue date: 1999-01-02 / This work presents an integration environment between the standards MHEG-5 and SMIL. The MHEG-5 standard defines the syntax and the semantics of a group of objects which can be used for interoperability of multimedia applications among platforms with minimal resources. On the other hand, the SMIL standard provides synchronized media in the Web documents. In order to integrate the two standards two translators were developed. With this integration the multimedia applications can be presented either in a Web environment, using SMIL, or in authoring tools following the MHEG-5 standard. A rule database was developed to carry out the translations; which has as an objective to store the translating rules between the standards allowing for dynamism in the translation process. As a test database for the translations a Multimedia Object Server multimedia database was used in the AMOM project, where a connection module was developed between these database an the Web environment. This work has also involved the proposal of an environment which integrates the SOMm and the Web, whose title is MAW (Multimedia Application WebBuilder). / Este trabalho apresenta um ambiente de integração entre os padrões: MHEG-5 e SMIL. O padrão MHEG-5 define a sintaxe e a semântica de um conjunto de objetos que podem ser utilizados para interoperabilidade de aplicações multimídia entre plataformas com recursos mínimos. Já o padrão SMIL disponibiliza sincronismo de mídias nos documentos Web. Para integrar esses dois padrões foram desenvolvidos dois conversores. Com essa integração, as aplicações multimídia podem ser apresentadas tanto no ambiente Web, usando SMIL, como em ferramentas de autoria segundo o padrão MHEG-5. Para realizar as conversões foi desenvolvida uma base de regras, que tem como objetivo, armazenar as regras de conversões entre os padrões, possibilitando que haja dinamismo no processo de conversão. Como base de teste para as conversões, foi utilizado o banco de dados multimídia do Servidor de Objetos Multimídia (SOMm) do projeto AMOM, aonde foi desenvolvido um módulo de conexão entre esse banco de dados e o ambiente Web. Este trabalho também envolveu a proposta de um ambiente que integra, o SOMm e a Web, cujo título é MAW (Multimedia Application WebBuilder).