2 research outputs found
Current Trends and Future Research Directions for Interactive Music
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
Proving musical properties using a temporal concurrent constraint calculus
We show how the ntcc calculus, a model of temporal concurrent constraint programming with the capability of modeling asynchronous and non-deterministic timed behavior, can be used for modeling real musical processes. We use the nondeterminism facility of ntcc to build weaker representations of musical processes that greatly simplifies the formal expression and analysis of its properties. We argue that this modeling strategy provides a ”runnable specification ” for music problems that eases the task of formally reasoning about them. We show how the linear temporal logic associated with ntcc gives a very expressive setting for formally proving the existence of interesting musical properties of a process. We give examples of musical specifications in ntcc and use the linear temporal logic for proving properties of a real musical problem.