Flux média tuilés polymorphes: une sémantique opérationnelle en Haskell
Abstract
De nombreux outils sont aujourd'hui disponibles pour l'analyse et la production temps réel de flux média temporisés : son, vidéo, animation. Néanmoins, la coordination de ces outils, la synchronisation des flux qu'ils analysent et produisent, sur des échelles de temps de valeurs et même de nature différentes, reste une affaire délicate. Le modèle des Tiled Polymorphic Temporal Media (ou tptm), qui combine en un même formalisme le contenu média de ces flux et leurs marqueurs de synchronisation, vise a remédier à cela. Dans le modèle, le produit de deux flux ainsi enrichis, paramétré par ces marqueurs de syn-chronisation, est tout à la fois séquentiel et parallèle : c'est un produit tuilé. D'un point de vue théorique, la sémantique de ces flux tuilés peut être décrite à l'aide des monoïdes inversifs. Pour l'aspect pratique, nous pro-posons ici, en Haskell, la première implémentation réellement polymorphe et inversive de ces Tiled Polymorphic Temporal Media. Notre implémenta-tion permet en outre, via le mécanisme d'évaluation paresseuse d'Haskell, de distinguer simplement la syntaxe de ces flux – un système d'équations tuilées – de leur sémantique opérationnelle – la résolution de ce système à la volée.
Origin : Files produced by the author(s)
Loading...