Real-Time Matching of Antescofo Temporal Patterns

Jean-Louis Giavitto 1, 2 José Echeveste 2, 1
1 Repmus - Représentations musicales
STMS - Sciences et Technologies de la Musique et du Son
2 MuTant - Synchronous Realtime Processing and Programming of Music Signals
Inria Paris-Rocquencourt, UPMC - Université Pierre et Marie Curie - Paris 6, IRCAM, CNRS - Centre National de la Recherche Scientifique
Abstract : This paper presents Antescofo temporal patterns (ATP) and their online matching. Antescofo is a real-time system for performance coordination between musicians and computer processes during live music performance. ATP are used to define complex events that correspond to a combination of perceived events in the musical environment as well as arbitrary logical and metrical temporal conditions. The real time recognition of such event is used to trigger arbitrary actions in the style of event-condition-action rules. The musical context, the rationales of temporal patterns and several illustrative examples are introduced to motivate the design of ATP. The semantics of ATP matching is defined to parallel the well- known notion of regular expression and Brzozowski's derivatives but extended to handle an infinite alphabet, arbitrary predicates, elapsing time and inhibitory conditions. This approach is compared to those developed in log auditing and for the runtime verification of real-time logics. ATP are implemented by translation into a core subset of the Antescofo domain specific language. This compilation has proven efficient enough to avoid the extension of the real-time runtime of the language and has been validated with composers in actual pieces.
Type de document :
Communication dans un congrès
PPDP 2014 - 16th International Symposium on Principles and Practice of Declarative Programming, Sep 2014, Canterbury, United Kingdom. ACM, pp. 93-104 2014, 〈10.1145/2643135.2643158〉
Liste complète des métadonnées

Littérature citée [32 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01054667
Contributeur : Jean-Louis Giavitto <>
Soumis le : vendredi 8 août 2014 - 09:42:39
Dernière modification le : samedi 1 décembre 2018 - 01:24:39
Document(s) archivé(s) le : mardi 11 avril 2017 - 19:22:26

Fichier

ppdp-declarative-pattern-versi...
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Jean-Louis Giavitto, José Echeveste. Real-Time Matching of Antescofo Temporal Patterns. PPDP 2014 - 16th International Symposium on Principles and Practice of Declarative Programming, Sep 2014, Canterbury, United Kingdom. ACM, pp. 93-104 2014, 〈10.1145/2643135.2643158〉. 〈hal-01054667〉

Partager

Métriques

Consultations de la notice

494

Téléchargements de fichiers

344