Structured Interactive Music Scores

Abstract

Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs among objects in Time Stream Petri nets, but it is difficult to represent global constraints. This can be done explicitly in the Non-deterministic Timed Concurrent Constraint (ntcc) calculus. We want to formalize a heterogeneous system that controls in one subsystem the concurrent execution of the objects using ntcc, and audio and video processing in the other. We also plan to develop an automatic verifier for ntcc.

References in corpus (1)

• A Model for Interactive Scores with Temporal Constraints and Conditional Branching

Cited by in corpus (9)

• Current Trends and Future Research Directions for Interactive Music
• A Model for Interactive Scores with Temporal Constraints and Conditional Branching
• Towards non-threaded Concurrent Constraint Programming for implementing multimedia interaction systems
• Gelisp: A Library to Represent Musical CSPs and Search Strategies
• A General Overview of Formal Languages for Individual-Based Modelling of Ecosystems
• Concurrent Constraint Machine Improvisation: Models and Implementation
• Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models
• Concurrent Constraint Conditional-Branching Timed Interactive Scores
• NTCCRT: A concurrent constraint framework for real-time interaction (extended version)