Operational semantics of a domain specific language for real time musician-computer interaction

José Echeveste 1, 2 Arshia Cont 1, 2 Jean-Louis Giavitto 1, 2 Florent Jacquemard 1, 2
1 MuTant - Synchronous Realtime Processing and Programming of Music Signals
Inria Paris-Rocquencourt, UPMC - Université Pierre et Marie Curie - Paris 6, IRCAM, CNRS - Centre National de la Recherche Scientifique
Abstract : With the advent and availability of powerful personal computing, the computer music research and industry have been focusing on real-time musical interactions between musicians and computers; delegating human-like actions to computers who interact with a musical environment. One common use-case of this kind is Automatic Accompaniment where the system is comprised of a real-time machine listening system that in reaction to recognition of events in a score from a human performer, launches necessary actions for the accompaniment section. While the real-time detection of score events out of live musicians' performance has been widely addressed in the literature, score accompaniment (or the reactive part of the process) has been rarely discussed. This paper deals with this missing component in the literature from a formal language perspective. We show how language considerations would enable better authoring of time and interaction during programming/composing and how it addresses critical aspects of a musical performance (such as errors) in real-time. We sketch the real-time features required by automatic musical accompaniment seen as a reactive system. We formalize the timing strategies for musical events taking into account the various temporal scales used in music. Various strategies for the handling of synchronization constraints and the handling of errors are presented. We give a formal semantics to model the possible behaviors of the system in terms of Parametric Timed Automata.
Type de document :
Article dans une revue
Discrete Event Dynamic Systems, Springer Verlag, 2013, 23 (4), pp.343-383. 〈http://dx.doi.org/10.1007/s10626-013-0166-2〉. 〈10.1007/s10626-013-0166-2〉
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00854719
Contributeur : Arshia Cont <>
Soumis le : mardi 27 août 2013 - 22:59:55
Dernière modification le : vendredi 31 août 2018 - 09:14:29
Document(s) archivé(s) le : jeudi 28 novembre 2013 - 11:29:33

Fichier

10.1007_s10626-013-0166-2.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

Citation

José Echeveste, Arshia Cont, Jean-Louis Giavitto, Florent Jacquemard. Operational semantics of a domain specific language for real time musician-computer interaction. Discrete Event Dynamic Systems, Springer Verlag, 2013, 23 (4), pp.343-383. 〈http://dx.doi.org/10.1007/s10626-013-0166-2〉. 〈10.1007/s10626-013-0166-2〉. 〈hal-00854719〉

Partager

Métriques

Consultations de la notice

638

Téléchargements de fichiers

432