Skip to Main content Skip to Navigation
Conference papers

A Declarative Language for Dynamic Multimedia Interaction Systems

Carlos Olarte 1 Camilo Rueda 2, 3
1 COMETE - Concurrency, Mobility and Transactions
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00426607
Contributor : Catuscia Palamidessi <>
Submitted on : Tuesday, October 27, 2009 - 12:51:43 AM
Last modification on : Tuesday, July 13, 2021 - 2:16:57 PM
Long-term archiving on: : Tuesday, October 16, 2012 - 12:45:24 PM

File

mcm09.pdf
Files produced by the author(s)

Identifiers

Citation

Carlos Olarte, Camilo Rueda. A Declarative Language for Dynamic Multimedia Interaction Systems. MCM 2009 - Second International Conference of the Society for Mathematics and Computation in Music, Jun 2009, New Haven, United States. ⟨10.1007/978-3-642-02394-1_20⟩. ⟨inria-00426607⟩

Share

Metrics

Record views

660

Files downloads

362