Specification of a reactive computation model for OpenMusic

Jean Bresson 1, * Jean-Louis Giavitto 1, 2
* Corresponding author
1 Repmus - Représentations musicales
STMS - Sciences et Technologies de la Musique et du Son
2 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 : OpenMusic is a domain-specific visual programming language designed for computer-aided music composition. This language based on Common Lisp allows composers to develop functional processes generating or transforming musical data, and to execute them locally by demand-driven evaluations. This transformational declarative paradigm is hard to conciliate with reactive data-flow, an evaluation scheme more adequate to develop interactive systems that can be used during musical performances. In this article we propose to link these two evaluation paradigms in a same and consistent visual programming framework. In this report we establish a denotational semantics of the visual language, which gives account for its demand-driven evaluation mechanism and the incremental construction of programs. We then extend this semantics to enable reactive computations in the functional graphs. The resulting evaluation model merges data-driven executions with the exist- ing demand-driven mechanism. A conservative implementation is proposed. We show that the incremental construction of programs and their data-driven and demand-driven evaluations can be smoothly integrated in the visual programming workflow. This integration allows for the propagation of changes in the programs, and the evaluation of graphically-designed functional expressions as a response to external events, a first step in bridging the gap between computer-assisted composition environments and real-time musical systems. This work has been partially funded by ANR project INEDIT (ANR-12-CORD-0009). The core content of this report will be published in the Journal of Visual Languages and Computing, although we give some additional precisions here that do not appear in the article. The journal version will include a more detailed presentations of the problematic.
Document type :
Reports
Liste complète des métadonnées

Cited literature [15 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00959312
Contributor : Jean-Louis Giavitto <>
Submitted on : Friday, March 14, 2014 - 10:50:31 AM
Last modification on : Thursday, March 21, 2019 - 2:19:02 PM
Document(s) archivé(s) le : Saturday, June 14, 2014 - 11:15:25 AM

File

inedit-L3.3.b.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00959312, version 1

Citation

Jean Bresson, Jean-Louis Giavitto. Specification of a reactive computation model for OpenMusic. [Research Report] IRCAM. 2014, pp.17. ⟨hal-00959312⟩

Share

Metrics

Record views

424

Files downloads

324