How to synchronize, mix, combine, transform temporal media streams as varied as sounds, animations, melodies, videos, while ignoring their nature ? By providing a consistent and robust mathematical modeling, we aim at simplifying the design of interactive timed multimedia application. Polymorphic, this approach could also improve the interoperability between the existing tools. In addition, this research project deals with the modeling of timed and interactive applications in a quite unusual mathematical framework: inverse monoid theory. Its application to the modeling of computer systems could also lead, thanks to its richness, to a better formalization of incremental, hierarchical and multi-scale design methods for these interactive systems.
Peut-on synchroniser, mixer, combiner, coordonner, transformer des flux media temporisés de natures diverses tels que des sons, des animations, des mélodies, des vidéos, tout en faisant abstraction de leur nature ? En offrant une modélisation uniforme et mathématiquement robuste, nous cherchons d'abord à simplifier l'accès à l'outil informatique aux créateurs d'applications multimédia temporisés et interactives. Transversale, cette approche pourrait aussi améliorer l'intéropérabilité entre les outils existants. Au delà, ce projet de recherche traite de la structuration logique des applications temporisées et interactives dans un cadre mathématique jusqu'alors peu exploité: la théorie des monoïdes inversifs. Particulièrement riche, son application à modélisation des systèmes informatiques pourrait aussi conduire à une meilleur formalisation des méthodes de conception incrémentale, hiérarchique et multi-échelle de ces systèmes interactifs.