Skip to Main content Skip to Navigation
New interface
Conference papers

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.
Document type :
Conference papers
Complete list of metadata
Contributor : Catuscia Palamidessi Connect in order to contact the contributor
Submitted on : Tuesday, October 27, 2009 - 12:51:43 AM
Last modification on : Tuesday, March 15, 2022 - 3:22:16 AM
Long-term archiving on: : Tuesday, October 16, 2012 - 12:45:24 PM


Files produced by the author(s)



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⟩



Record views


Files downloads