Concurrent constraints models of music interaction

Mauricio Toro (1) , Camilo Rueda (2, 3, 4) , Frank Valencia (5, 6) , Gerardo Sarria (4) , Carlos Olarte (2, 4)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique
2 Department of Science and Engineering Computing
3 STMS - Sciences et Technologies de la Musique et du Son
4 AVISPA Resarch Group - Ambientes VISuales de Progamación Aplicativa
5 COMETE - Concurrency, Mobility and Transactions
6 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]

In this chapter we follow this "economy of means" way to present several vari- eties of CCP calculi, starting from a very basic one and building from it by adding new features. A fundamental one for music applications is the ability to represent temporal behavior. This can be introduced within the context of determinate (tcc, utcc) or non-determinate (ntcc) computation. For the determinate case, we show how the addition of a process abstraction feature (utcc) allows to model dynamic musical structures in a very simple way. In particular, we model a dynamic version of interactive scores ([ALL 07]). For the nondeterminate case, we use the possibility of defining many alternative computational paths to model an agent following different rhythmic patterns constructed from a given basic one. We then go on to consider a more "metrical" notion of time (rtcc) based on uniform ticks used by processes to define their time of execution in a more fine-grained way, or to cause preemption of other processes at more precisely defined points in time. We use these new "real-time" features to describe a simple model of a basic form of musical dissonances.

Domaines: Logique en informatique [cs.LO]

Mauricio Toro, Camilo Rueda, Frank Valencia, Gerardo Sarria, Carlos Olarte. Concurrent constraints models of music interaction. Constraint Programming in Music, Wiley, pp.133, 2011. ⟨hal-00662257⟩