Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios

Most interactive scenarios are based on informal specifications, so that it is not possible to formally verify properties of such systems. We advocate the need for a general and formal model aiming at ensuring safe executions of interactive multimedia scenarios. Interactive scores (is) is a formalis...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Journal of mathematics and music (Society for Mathematics and Computation in Music) Ročník 8; číslo 1; s. 93 - 112
Hlavní autoři: Toro, Mauricio, Desainte-Catherine, Myriam, Rueda, Camilo
Médium: Journal Article
Jazyk:angličtina
Vydáno: Baton Rouge Taylor & Francis 02.01.2014
Taylor & Francis Ltd
Témata:
ccp
concurrency
concurrent constraint programming
D.1.6
E.4
event structures
H.5.5
interaction
interactive music scores
J.5
Music
ntcc
synchronization
temporal constraint programming
Theory of constraints
ISSN:1745-9737, 1745-9745
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Most interactive scenarios are based on informal specifications, so that it is not possible to formally verify properties of such systems. We advocate the need for a general and formal model aiming at ensuring safe executions of interactive multimedia scenarios. Interactive scores (is) is a formalism based on temporal constraints to describe interactive scenarios. We propose new semantics for is based on timed event structures (TES). With such a semantics, we can specify more properties of the system, in particular, properties about execution traces, which are difficult to specify as constraints. We also present an operational semantics of is based on the non-deterministic timed concurrent constraint calculus and we relate such a semantics to the TES semantics. With the operational semantics, we can describe the behaviour of scores whose timed object durations can be arbitrary integer intervals.
Bibliografie:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ISSN:1745-9737
1745-9745
DOI:10.1080/17459737.2013.870610