CONCURRENT CONSTRAINTS CONDITIONAL-BRANCHING TIMED INTERACTIVE SCORES

Mauricio Toro-Bermúdez* and Myriam Desainte-Catherine+

Université de Bordeaux*+, SCRIME*+, LABRI*+, IPB+

SCRIME annual seminar, July 1st 2010

LABRI

Multimedia scenarios have multimedia content and interactive events associated with computer programs.

Interactive scores is a formalism to represent such scenarios by temporal objects, temporal relations and interactive events.

MOTIVATION

IS describe temporal relations, but interactive scores cannot represent temporal relations together with conditional branching.

THE PROBLEM

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).

OUR SOLUTION

DEFINITIONS

EX.: A SCORE WITH A LOOP

EX. USING THE HIERARCHY

CHOICE AND RIGID DURATIONS

NTCCRT

IMPLEMENTATION

IMPLEMENTATION

IMPLEMENTATION

IMPLEMENTATION

IMPLEMENTATION

IMPLEMENTATION

IMPLEMENTATION

IMPLEMENTATION

IMPLEMENTATION

IMPLEMENTATION

IMPLEMENTATION

IMPLEMENTATION

IMPLEMENTATION

IMPLEMENTATION

IMPLEMENTATION

IMPLEMENTATION

RESULTS: REAL-TIME CAPABLE

SOME ALLEN’S RELATIONS

EX. A TEMPORAL SCORE

We can express the denotation of an interactive score without loops nor branching in terms of Event Structures.

Using the denotation, we will plan to prove the correctness of the operational models and we will plan to prove properties on the system.

DENOTATION OF A SCORE

DENOTATION OF THE EXAMPLE

NORMAL FORM

An advantage of this model over the previous model of IS, Petri Nets, Max/MSP and PD is representing declaratively conditions and global constraints.

CONCLUSION

Include sound synthesis based on human gestures.

Explore the limitations of this model compared with a pure temporal model (with no branching).

FUTURE WORK

Avez-vous des questions?

MERCI