340 likes | 411 Views
CONCURRENT CONSTRAINTS CONDITIONAL-BRANCHING TIMED INTERACTIVE SCORES. LABRI. Mauricio Toro- Bermúdez * a nd Myriam Desainte -Catherine + Université de Bordeaux* + , SCRIME* + , LABRI* + , IPB +. SCRIME annual seminar, July 1st 2010. MOTIVATION.
E N D
CONCURRENT CONSTRAINTS CONDITIONAL-BRANCHING TIMED INTERACTIVE SCORES LABRI Mauricio Toro-Bermúdez* and MyriamDesainte-Catherine+ Université de Bordeaux*+, SCRIME*+, LABRI*+, IPB+ • SCRIME annual seminar, July 1st 2010
MOTIVATION • 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.
THE PROBLEM • IS describe temporal relations, but interactive scores cannot represent temporal relations together with conditional branching.
OUR SOLUTION • 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).
DENOTATION OF A 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.
CONCLUSION • An advantage of this model over the previous model of IS, Petri Nets, Max/MSP and PD is representing declaratively conditions and global constraints.
FUTURE WORK • Include sound synthesis based on human gestures. • Explore the limitations of this model compared with a pure temporal model (with no branching).
MERCI • Avez-vous des questions?