Authoring and automatic verification of interactive multimedia scores - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of New Music Research Année : 2016

Authoring and automatic verification of interactive multimedia scores

Résumé

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.
Fichier principal
Vignette du fichier
main.pdf (535.05 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01399925 , version 1 (21-11-2016)

Identifiants

Citer

Jaime Arias, Jean-Michaël Celerier, Myriam Desainte-Catherine. Authoring and automatic verification of interactive multimedia scores. Journal of New Music Research, 2016, pp.1 - 19. ⟨10.1080/09298215.2016.1248444⟩. ⟨hal-01399925⟩
248 Consultations
150 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More