Authoring and automatic verification of interactive multimedia scores

Jaime Arias 1, 2, 3, 4 Jean-Michaël Celerier 2, 3, 4, 5 Myriam Desainte-Catherine 1, 2, 3, 4
2 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 : The advances in authoring of interactive scores call for a thorough analysis of the written scores. A possible way to ensure correctness of an interactive score is through the use of formal techniques such as model checking. In this work, we present a visual model of the inter-media sequencer i-score and we propose a Timed Automata encoding to reason about the interactive scores written in this software. The verification of some properties of interactive scores is presented, along an evaluation of the performance of the model-checking process with uppaal.
Liste complète des métadonnées

Cited literature [25 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01399925
Contributor : Arias Jaime <>
Submitted on : Monday, November 21, 2016 - 10:51:29 AM
Last modification on : Tuesday, May 29, 2018 - 9:14:04 AM
Document(s) archivé(s) le : Tuesday, March 21, 2017 - 2:24:26 PM

File

main.pdf
Files produced by the author(s)

Identifiers

Citation

Jaime Arias, Jean-Michaël Celerier, Myriam Desainte-Catherine. Authoring and automatic verification of interactive multimedia scores. Journal of New Music Research, Taylor & Francis (Routledge), 2016, pp.1 - 19. ⟨10.1080/09298215.2016.1248444⟩. ⟨hal-01399925⟩

Share

Metrics

Record views

249

Files downloads

123