Skip to Main content Skip to Navigation
Conference papers

A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios

Jaime Arias 1, 2 Myriam Desainte-Catherine 2, 1 Camilo Rueda 3
1 PoSET - Models for a Structured Programming of Space and Time
LaBRI - Laboratoire Bordelais de Recherche en Informatique, SCRIME - Studio de Création et de Recherche en Informatique et Musique Électroacoustique, Inria Bordeaux - Sud-Ouest
Abstract : Interactive Scores (IS) is a formalism for composing and performing interactive multimedia scenarios. In IS, the composer defines temporal relations (TRs) between temporal objects (TOs) in order to specify the temporal organization of the scenario. During execution, the performer may trigger interaction points to modify the star/stop times of TOs, while the system guarantees that all the TRs are satisfied. IS is implemented in the tool I-SCORE and its semantics is formally defined as a Hierarchical Time Stream Petri Net (HTSPN). However, this model is not able to represent branching behaviors that are necessary to properly deal with applications such as video games and museum installations. Moreover, HTSPN does not provide tools for the automatic verification of critical properties of scenarios. In this work we define a semantics for IS based on Timed Automata (TA) and we show that such model yields to a complete framework to compose, verify and execute interactive scenarios. More precisely, we show that: 1) our model is able to deal with conditional statements in IS; 2) efficient verification techniques can be now used to reason about the written scenarios; and 3) our model allows for a directly implementation on a reconfigurable device, thus guaranteeing a real-time performance.
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download
Contributor : Arias Jaime <>
Submitted on : Tuesday, September 22, 2015 - 3:02:46 PM
Last modification on : Tuesday, December 8, 2020 - 9:38:07 AM
Long-term archiving on: : Tuesday, December 29, 2015 - 9:20:18 AM


Files produced by the author(s)




Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda. A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios. 15th International Conference on Application of Concurrency to System Design, Jun 2015, Brussels, Belgium. ⟨10.1109/ACSD.2015.8⟩. ⟨hal-01136252⟩



Record views


Files downloads