Concurrent constraint programming (CCP) is a modeling framework integrating two views of processes, as runnable specifications and as logic formulae. Model specifications in ccp use constraints both to express partial information about the state of a system and to synchronize concurrent interacting agents. These features provide a coherent and expressive context to model musical systems in such a way that desirable properties can be easily stated and formally verified. In particular, the temporal behavior of processes in a musical system can be stated in a precise way. We describe the ccp model and show its application in various musical settings.

Programmation par contraintes en musique

La programmation par contraintes est un paradigme de programmation déclaratif consistant en la définition puis la résolution de "CSPs" (constraints satifaction problems) : Un CSP détermine un certain nombre de variables pouvant prendre un ensemble (fini ou infini) de valeurs, et liées par des contraintes. De nombreux formalismes et techniques permettent de définir et résoudre ces problèmes, qui sont régulièrement explorés et utilisés dans les recherches et productions musicales contemporaines. Cette journée sera l'occasion de faire le point sur ces recherches dans le domaine de la programmation par contraintes et leurs récentes ou possibles applications musicales. Elle est organisée à l'occasion de la sortie du livre Constraint Programming in Music, (Wiley/ISTE Ltd., dir. Charlotte Truchet et Gérard Assayag) qui sera présenté en introduction de la séance.