# Concurrent Constraint Conditional-Branching Timed Interactive Scores

## TL;DR

This paper introduces a formal model for multimedia interactive scenarios with conditional branching, using ntcc calculus, enabling real-time interaction with declarative constraints.

## Contribution

It extends Interactive Scores to include conditional branching within a timed framework using ntcc, and demonstrates real-time prototype implementation.

## Key findings

- Prototype in Ntccrt achieved acceptable real-time response.
- Declarative representation of conditions and constraints.
- Enhanced expressiveness for multimedia scenario modeling.

## Abstract

Multimedia scenarios have multimedia content and interactive events associated with computer programs. Interactive Scores (IS) is a formalism to represent such scenarios by temporal objects, temporal relations (TRs) and interactive events. IS describe TRs, but IS cannot represent TRs together with conditional branching. We propose a model for conditional branching timed IS in the Non-deterministic Timed Concurrent Constraint (ntcc) calculus. We ran a prototype of our model in Ntccrt (a real-time capable interpreter for ntcc) and the response time was acceptable for real-time interaction. An advantage of ntcc over Max/MSP or Petri Nets is that conditions and global constraints are represented declaratively.