A Model for Interactive Scores with Temporal Constraints and Conditional Branching

Interactive Scores (IS) are a formalism for the design and performance of interactive multimedia scenarios. IS provide temporal relations (TR), but they cannot represent conditional branching and TRs simultaneously. We propose an extension to Allombert et al.'s IS model by including a condition on the TRs. We found out that in order to have a coherent model in all possible scenarios, durations must be flexible; however, sometimes it is possible to have fixed durations. To show the relevance of our model, we modeled an existing multimedia installation called Mariona. In Mariona there is choice, random durations and loops. Whether we can represent all the TRs available in Allombert et al.'s model into ours, or we have to choose between a timed conditional branching model and a pure temporal model before writing a scenario, still remains as an open question.

[1]  Pierre de Saqui-Sannes,et al.  Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems , 1995, Application and Theory of Petri Nets.

[2]  Miller Puckette,et al.  Real-time audio analysis tools for Pd and MSP , 1998, ICMC.

[3]  Mauricio Toro,et al.  Towards a correct and efficient implementation of simulation and verification tools for probabilistic ntcc , 2018, ArXiv.

[4]  Mauricio Toro.  Structured Interactive Music Scores , 2015, ArXiv.

[5]  Camilo Rueda,et al.  Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios , 2014 .

[6]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[7]  Gérard Assayag,et al.  A system of Interactive Scores based on qualitative and quantitative temporal constraints , 2008 .

[8]  Mauricio Toro-Bermudez.  Structured Interactive Musical Scores. , 2010 .

[9]  Camilo Rueda,et al.  Concurrent constraints models of music interaction , 2011 .

[10]  Myriam Desainte-Catherine,et al.  An Extension of Interactive Scores for Multimedia Scenarios with Temporal Relations for Micro and Macro Controls , 2015, ArXiv.

[11]  Myriam Desainte-Catherine,et al.  Iscore: a system for writing interaction , 2008, DIMEA.

[12]  Frank D. Valencia,et al.  Temporal Concurrent Constraint Programming: Denotation, Logic and Applications , 2002, Nord. J. Comput..

[13]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[14]  Camilo Rueda,et al.  An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems , 2009, ICLP.

[15]  Carlos Agon,et al.  OpenMusic 5: A Cross-Platform Release of the Computer-Assisted Composition Environment , 2005 .

[16]  Arshia Cont,et al.  Antescofo: Anticipatory Synchronization and control of Interactive parameters in Computer Music , 2008, ICMC.

[17]  Anna Philippou,et al.  Synchronous Parallel Composition in a Process Calculus for Ecological Models , 2014, ICTAC.

[18]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[19]  Mauricio Toro.  Structured Interactive Musical Scores , 2010, ICLP.

[20]  Myriam Desainte-Catherine,et al.  Virage : Une réflexion pluridisciplinaire autour du temps dans la création numérique , 2009 .

[21]  Camilo Rueda,et al.  Ntccrt: A Concurrent Constraint Framework for Real-Time Interaction , 2009, ICMC.

[22]  Camilo Rueda,et al.  Concurrent Constraints Models for Interactive Scores , 2006 .

[23]  Moreno Falaschi,et al.  Under Consideration for Publication in Theory and Practice of Logic Programming Automatic Verification of Timed Concurrent Constraint Programs * , 2022 .

[24]  Anna Philippou,et al.  Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models , 2016, DCM.

[25]  Mauricio Toro-Bermudez,et al.  Structured interactive scores : from a structural description of a multimedia scenario to a real-time capable implementation with formal semantics , 2012 .

[26]  Anna Philippou,et al.  Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models , 2013, Sci. Ann. Comput. Sci..