Foundations for Reliable and Flexible Interactive Multimedia Scores

Jaime Arias 1, 2 Myriam Desainte-Catherine 2, 1 Carlos Olarte 3 Camilo Rueda 4
1 PoSET - Models for a Structured Programming of Space and Time
Inria Bordeaux - Sud-Ouest, SCRIME - Studio de Création et de Recherche en Informatique et Musique Électroacoustique, LaBRI - Laboratoire Bordelais de Recherche en Informatique
Abstract : Interactive Scores (IS) is a formalism for composing and performing interactive multimedia scores with several applications in video games, live performance installations, and virtual museums. The composer defines the temporal organization of the score by asserting temporal relations (TRs) between temporal objects (TOs). At execution time, the performer may modify the start/stop times of the TOs by triggering interaction points and the system guarantees that all the TRs are satisfied. Implementations of IS and formal models of their behavior have already been proposed, but these do not provide usable means to reason about their properties. In this paper we introduce ReactiveIS, a programming language that fully captures the temporal structure of IS during both composition and execution. For that, we propose a semantics based on tree-like structures representing the execution state of the score at each point in time. The semantics captures the hierarchical aspects of IS and provides an intuitive representation of their execution. We also endow ReactiveIS with a logical semantics based on linear logic, thus widening the reasoning techniques available for IS. We show that ReactiveIS is general enough to capture the full behavior of IS and that it provides declarative ways to increase IS expressivity with, for instance, conditional statements and loops.
Type de document :
Communication dans un congrès
Fifth Biennial International Conference on Mathematics and Computation in Music, Jun 2015, London, United Kingdom. 9110, pp.29-41, 2015, Lecture Notes in Computer Science. 〈10.1007/978-3-319-20603-5_3〉
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01129394
Contributeur : Arias Jaime <>
Soumis le : mardi 22 septembre 2015 - 14:58:05
Dernière modification le : mardi 29 mai 2018 - 09:14:04
Document(s) archivé(s) le : mardi 29 décembre 2015 - 09:11:08

Fichier

mcm15.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Jaime Arias, Myriam Desainte-Catherine, Carlos Olarte, Camilo Rueda. Foundations for Reliable and Flexible Interactive Multimedia Scores. Fifth Biennial International Conference on Mathematics and Computation in Music, Jun 2015, London, United Kingdom. 9110, pp.29-41, 2015, Lecture Notes in Computer Science. 〈10.1007/978-3-319-20603-5_3〉. 〈hal-01129394〉

Partager

Métriques

Consultations de la notice

403

Téléchargements de fichiers

110