Current Trends and Future Research Directions for Interactive Music
It synthesizes trends for researchers and practitioners in interactive music, but is incremental as it reviews existing methods without new results.
This review compares various software and formalisms in interactive music, highlighting that formal approaches offer rigorous semantics and correctness proofs but lack commercial tools.
In this review, it is explained and compared different software and formalisms used in music interaction: sequencers, computer-assisted improvisation, meta- instruments, score-following, asynchronous dataflow languages, synchronous dataflow languages, process calculi, temporal constraints and interactive scores. Formal approaches have the advantage of providing rigorous semantics of the behavior of the model and proving correctness during execution. The main disadvantage of formal approaches is lack of commercial tools.