Contribution à la modélisation des systèmes multimédias et hypermédias - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1996

Contribution à la modélisation des systèmes multimédias et hypermédias

Résumé

The temporal, logical and semantic complexity of multimedia and hypermedia systems makes necessary the use of formal techniques for their specification and for verifying their logical and temporal properties. This thesis introduces first a new formal technique, based on extended timed Petri Nets, for the modeling of multimedia and hypermedia systems. This model, called Time Stream Petri Nets (TSPN), allows the temporal non-determinism of distributed multimedia systems to be specified by associating arcs outgoing from places with temporal intervals. Moreover TSPN introduce a formal semantics of synchronization in weakly synchronous systems. This formal semantics, defined with the help of 9 firing rules which can be selectively associated to transitions, allows the synchronization non-determinism induced by the temporal variability of processings to be mastered. Therefore TSPN allow an accurate, complete and easy modeling of multimedia synchronization constraints. This thesis consider also the subclass of TSPN build with the help of Allen's synchronization operators. This class, called Structured Time Stream Petri Net (STSPN) allows temporal properties of multimedia systems to be easily checked and offers formal bases for the abstract representation of multimedia logical and temporal structures. Finally this thesis introduces another new model extending TSPN and called Hierarchical TSPN (HTSPN). This extension which inherits TSPN properties allows hypermedia components to be modeled with the help of a unifying formalism and introduces a formal semantics of hypermedia synchronization. Moreover HTSPN offer a modular and hierarchical methodology for the specification and validation of hypermedia systems and more generally of " time constrained " systems.
La complexité temporelle, logique et sémantique des systèmes multimédias et hypermédias rend nécessaire l'utilisation de techniques formelles permettant de spécifier ces systèmes et de vérifier, en préalable à leur conception, leurs propriétés logiques et temporelles. Cette thèse introduit une nouvelle technique de modélisation de systèmes multimédias et hypermédias basée sur le formalisme des réseaux de Pétri étendus par le temps. Ce modèle appelé Réseaux de Petri à Flux Temporels (RdPFT) permet de spécifier l'indéterminisme temporel intrinsèque aux systèmes distribués multimédias en associant un intervalle temporel aux arcs sortant des places d'un réseau de Petri. Les RdPFT introduisent de plus une sémantique formelle de la synchronisation en environnement faiblement synchrone. Cette sémantique formelle, définie à l'aide de 9 types de règles de tir pouvant être sélectivement associées aux transitions d'un RdPFT, permet de maîtriser l'indéterminisme de synchronisation introduit par la variabilité temporelle des traitements. Ainsi, les RdPFT permettent de modéliser de façon complète, précise et aisée les contraintes de synchronisation des systèmes multimédias. Cette thèse considère également la classe des RdPFT construits à l'aide des opérateurs de l'algèbre temporelle de Allen. Cette classe, appelée Réseaux de Petri Structurés à Flux Temporels (RdPSFT), permet une vérification aisée des propriétés temporelles d'un système multimédia et offre de plus des bases formelles pour la représentation abstraite des structures logiques et temporelles d'un système multimédia. Finalement cette thèse introduit une extension des RdPFT, appelée Réseaux de Petri Hiérarchisés à Flux Temporels (RdPHFT). Cette extension, bénéficiant de tous les acquis théoriques des RdPFT, permet de modéliser à l'aide d'un formalisme unificateur les composants d'un système hypermédia et introduit une sémantique formelle de la notion de synchronisatio n hypermédia. De plus les RdPHFT offrent un support méthodologique permettant une spécification modulaire et hiérarchisée des systèmes hypermédias, et plus généralement des systèmes "à contraintes temporelles"
Fichier principal
Vignette du fichier
Senac.pdf (8.59 Mo) Télécharger le fichier

Dates et versions

tel-00139857 , version 1 (03-04-2007)

Identifiants

  • HAL Id : tel-00139857 , version 1

Citer

Patrick Sénac. Contribution à la modélisation des systèmes multimédias et hypermédias. Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 1996. Français. ⟨NNT : ⟩. ⟨tel-00139857⟩
230 Consultations
87 Téléchargements

Partager

Gmail Facebook X LinkedIn More