Skip to Main content Skip to Navigation

Conception formelle de documents hypermedias portables

Abstract : This thesis proposes a formal model and a methodology to support the formal design of portable hypermedia documents. This methodology covers the main steps of the life cycle of hypermedia documents. We defined a formal model which allows the specification and analysis of hypermedia documents. The implementation is supported by the translation of the analyzed specification into a physical representation which can be interpreted by a presentation system. We developed software tools to put this methodology into practice. The proposed formal model is an extension of the Hierarchical Time Stream Petri Nets model (HTSPN), which enables a unified and accurate specification of temporal and logical synchronization within hypermedia systems. However, this model only addresses logical and temporal synchronization issues. The interpreted HTSPN model (I-HTSPN), introduced in this thesis, provides means to completely specify hypermedia documents. The proposed methodology provides a solid basis for the specification and analysis of hypermedia documents and the translation of these specifications into either MHEG representations or Java applications. MHEG is an international standard which defines rules for multimedia and hypermedia information encoding and allows the transfer of this information through open systems. Java is a programming language of multimedia applications providing a portable code. In brief, the main contribution of this work is the proposition and the implementation of an methodology which allows the users to control the quality and the complexity of hypermedia systems, based on a life cycle providing the direct generation of hypermedia documents from fully analyzed formal specifications.
Complete list of metadatas
Contributor : Emilie Marchand <>
Submitted on : Tuesday, April 3, 2007 - 4:43:30 PM
Last modification on : Friday, January 10, 2020 - 9:08:08 PM
Long-term archiving on: : Saturday, May 14, 2011 - 3:40:43 AM


  • HAL Id : tel-00139865, version 1


Roberto Willrich. Conception formelle de documents hypermedias portables. Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 1996. Français. ⟨tel-00139865⟩



Record views


Files downloads