A Declarative Language for Dynamic Multimedia Interaction Systems

Carlos Olarte 1 Camilo Rueda 2, 3
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Abstract : Universal Timed Concurrent Constraint Programming (utcc) is a declarative model for concurrency tied to logic. It aims at specifying mobile reactive systems, i.e., systems that continuously interact with the environment and may change their communication structure. In this paper we argue for utcc as a declarative model for dynamic multimedia interaction systems. Firstly, we show that the notion of constraints as partial information allows us to neatly define temporal relations between interactive agents or events. Secondly, we show that mobility in utcc allows for the specification of more flexible and expressive systems. Thirdly, by relying on the underlying temporal logic in utcc, we show how non-trivial temporal properties of the model can be verified. We give two compelling applications of our approach. We propose a model for dynamic interactive scores where interactive points can be defined to adapt the hierarchical structure of the score depending on the information inferred from the environment. We then broaden the interaction mechanisms available for the composer in previous (more static) models. We also model a music improvisation system based on the factor oracle that scales up to situations involving several players, learners and improvisers.
Type de document :
Article dans une revue
Mathematics and Computation in Music, Springer, 2009, Communications in Computer and Information Science, 38
Liste complète des métadonnées

https://hal.inria.fr/inria-00426607
Contributeur : Catuscia Palamidessi <>
Soumis le : mardi 27 octobre 2009 - 00:51:43
Dernière modification le : vendredi 16 novembre 2018 - 02:08:15
Document(s) archivé(s) le : mardi 16 octobre 2012 - 12:45:24

Fichier

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

Identifiants

  • HAL Id : inria-00426607, version 1

Citation

Carlos Olarte, Camilo Rueda. A Declarative Language for Dynamic Multimedia Interaction Systems. Mathematics and Computation in Music, Springer, 2009, Communications in Computer and Information Science, 38. 〈inria-00426607〉

Partager

Métriques

Consultations de la notice

548

Téléchargements de fichiers

145