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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of mathematics and music (Society for Mathematics and Computation in Music) Jg. 8; H. 1; S. 93 - 112
Hauptverfasser: Toro, Mauricio, Desainte-Catherine, Myriam, Rueda, Camilo
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Baton Rouge Taylor & Francis 02.01.2014
Taylor & Francis Ltd
Schlagworte:
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
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract 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.
AbstractList 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.
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. [PUBLICATION ABSTRACT]
Author Desainte-Catherine, Myriam
Toro, Mauricio
Rueda, Camilo
Author_xml – sequence: 1
  givenname: Mauricio
  surname: Toro
  fullname: Toro, Mauricio
  email: mtoro@cs.ucy.ac.cy
  organization: LaBRI, UMR 5600, SCRIME, IPB, ENSEIRB-Matmeca, Université de Bordeaux
– sequence: 2
  givenname: Myriam
  surname: Desainte-Catherine
  fullname: Desainte-Catherine, Myriam
  organization: LaBRI, UMR 5600, SCRIME, IPB, ENSEIRB-Matmeca, Université de Bordeaux
– sequence: 3
  givenname: Camilo
  surname: Rueda
  fullname: Rueda, Camilo
  organization: Pontificia Universidad Javeriana Cali
BookMark eNqFkU1LAzEQhoMoWD_-gYeAV1uTZrvZ7UVE_IKCFz2HbHYiqbtJzaRq_fWmVAU96CUThnnehGf2yLYPHgg54mzEWcVOuSwmtRRyNGZcjCrJSs62yGDdHtb52P6-C7lL9hDnjE1KXo8H5P0qxF53FKHXPjmD1IZInU8QtUnuBWi_RGcomhABp1RTG3UPryE-0RRoC-ge_QnFBRhnV3QRwwJicoBU-5bCG5hlgh95aMDr6AIekB2rO4TDz7pPHq4u7y9uhrO769uL89nQiIqnYQW6hcaWrG4EqxphhW1YJcdlwS1vS1tbIQsjZSGlMHXuAwfRyMy2TWNKIfbJ8SY3f-55CZjUPCyjz08qPuEZm1TjIk9NN1MmBsQIVhmXdHLBp6hdpzhTa9fqy7Vau1Yb1xkufsGL6HodV_9hZxvMebteQ7batSrpVRdi1uyNQyX-TPgAU9KZpw
CitedBy_id crossref_primary_10_1016_j_jlamp_2019_01_006
crossref_primary_10_1080_09298215_2016_1248444
Cites_doi 10.1007/s00500-004-0390-7
10.1145/1413634.1413699
10.1016/0004-3702(91)90006-6
10.1145/182.358434
ContentType Journal Article
Copyright 2014 Taylor & Francis 2014
2014 Taylor & Francis
Copyright_xml – notice: 2014 Taylor & Francis 2014
– notice: 2014 Taylor & Francis
DBID AAYXX
CITATION
C18
DOI 10.1080/17459737.2013.870610
DatabaseName CrossRef
Humanities Index
DatabaseTitle CrossRef
British Humanities Index (BHI)
DatabaseTitleList
British Humanities Index (BHI)
DeliveryMethod fulltext_linktorsrc
Discipline Music
EISSN 1745-9745
EndPage 112
ExternalDocumentID 3272153111
10_1080_17459737_2013_870610
870610
Genre Article
Feature
GroupedDBID .7F
0BK
30N
4.4
5GY
AACJB
AAGDL
AAHIA
AAJMT
AALDU
AAMIU
AAPUL
AAQRR
ABCCY
ABFIM
ABLIJ
ABPAQ
ABPEM
ABTAI
ABXUL
ABXYU
ACGFS
ACIWK
ACTIO
ADCVX
ADGTB
AEISY
AENEX
AFFNX
AFRVT
AGDLA
AHDZW
AIJEM
AIYEW
AKBVH
AKOOK
ALMA_UNASSIGNED_HOLDINGS
ALQZU
AMVHM
AQRUH
AVBZW
BLEHA
CCCUG
CE4
CS3
DGEBU
DKSSO
DU5
EBS
EJD
E~A
E~B
GTTXZ
H13
HZ~
H~P
IPNFZ
J9A
J~4
KYCEM
M4Z
O9-
P2P
RIG
RNANH
ROSJB
RTWRZ
S-T
SNACF
TASJS
TBQAZ
TEJ
TFL
TFT
TFW
TTHFI
TUROJ
TWF
TWQ
UT5
UU3
ZGOLN
AAYXX
CITATION
C18
ID FETCH-LOGICAL-c381t-8eadebf609b308b3f3fb0872641f1d6f9f374c774773c9726e1e3b7381dbbc633
IEDL.DBID TFW
ISICitedReferencesCount 4
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000333952800006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1745-9737
IngestDate Wed Aug 13 10:40:07 EDT 2025
Tue Nov 18 21:29:58 EST 2025
Sat Nov 29 02:58:52 EST 2025
Mon Oct 20 23:45:55 EDT 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 1
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c381t-8eadebf609b308b3f3fb0872641f1d6f9f374c774773c9726e1e3b7381dbbc633
Notes SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
OpenAccessLink https://repository.eafit.edu.co/bitstreams/609f5148-1ee7-4705-9a07-3e8aedbef79b/download
PQID 1514775824
PQPubID 196167
PageCount 20
ParticipantIDs crossref_citationtrail_10_1080_17459737_2013_870610
proquest_journals_1514775824
crossref_primary_10_1080_17459737_2013_870610
informaworld_taylorfrancis_310_1080_17459737_2013_870610
PublicationCentury 2000
PublicationDate 2014-01-02
PublicationDateYYYYMMDD 2014-01-02
PublicationDate_xml – month: 01
  year: 2014
  text: 2014-01-02
  day: 02
PublicationDecade 2010
PublicationPlace Baton Rouge
PublicationPlace_xml – name: Baton Rouge
PublicationTitle Journal of mathematics and music (Society for Mathematics and Computation in Music)
PublicationYear 2014
Publisher Taylor & Francis
Taylor & Francis Ltd
Publisher_xml – name: Taylor & Francis
– name: Taylor & Francis Ltd
References Puckette Miller (CIT0019) 1998
Planken Léon (CIT0018) 2010
CIT0010
Bresson Jean (CIT0008) 2005
Cormen Thomas H. (CIT0009) 2001
Valencia Frank D. (CIT0025) 2005; 330
Allombert Antoine (CIT0003) 2006
Martello Silvano (CIT0014) 1990
Vickery Lindsay. (CIT0026) 2004
Toro Mauricio (CIT0022) 2009
Langerak Rom. (CIT0013) 1992
Latella Baier Christel (CIT0007) 1998
Gennari Rosella. (CIT0012) 1998; 11
CIT0020
CIT0001
Saraswat Vijay A. (CIT0021) 1992
Toro Mauricio (CIT0023) 2010
Nielsen M. (CIT0016) 2002; 1
Assayag Allombert Antoine (CIT0005) 2008
Allombert Antoine (CIT0006) 2010
Olarte Carlos (CIT0017) 2009; 38
Muscettola Nicola (CIT0015) 1998
CIT0002
CIT0024
Xu Lin (CIT0027) 2003
CIT0004
Desainte-Catherine M. (CIT0011) 2003
References_xml – ident: CIT0020
  doi: 10.1007/s00500-004-0390-7
– volume-title: Proc. of SMC ’10
  year: 2010
  ident: CIT0023
– volume-title: Proc. of JIM 2008
  year: 2008
  ident: CIT0005
– ident: CIT0004
  doi: 10.1145/1413634.1413699
– ident: CIT0010
  doi: 10.1016/0004-3702(91)90006-6
– volume-title: Proc. of ICMC ’98
  year: 1998
  ident: CIT0019
– start-page: 129
  volume-title: ICALPS
  year: 2010
  ident: CIT0018
– volume-title: 10th Brazilian Symposium on Computer Music
  year: 2005
  ident: CIT0008
– volume-title: Proc. of SMC ’06
  year: 2006
  ident: CIT0003
– ident: CIT0002
– volume-title: Proc. of ICALP ’98
  year: 1998
  ident: CIT0007
– volume: 330
  start-page: 557
  issue: 3
  year: 2005
  ident: CIT0025
  publication-title: Theoretical Computer Science – Expressiveness in Concurrency
– volume-title: Introduction to Algorithms
  year: 2001
  ident: CIT0009
– volume: 1
  start-page: 145
  issue: 9
  year: 2002
  ident: CIT0016
  publication-title: Nordic Journal of Computing
– volume-title: Proc. of ACMC
  year: 2004
  ident: CIT0026
– volume-title: Proc. of CIM XIX
  year: 2003
  ident: CIT0011
– volume: 38
  volume-title: Proc. of Mathematics and Computation in Music
  year: 2009
  ident: CIT0017
– start-page: 331
  volume-title: Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 92, Perros-Guirec, France, 13–16 October 1992
  year: 1992
  ident: CIT0013
– volume-title: Concurrent Constraint Programming
  year: 1992
  ident: CIT0021
– start-page: 444
  volume-title: Proc. of Principles of Knowledge Representation and Reasoning
  year: 1998
  ident: CIT0015
– volume-title: Proc. of ICMC 2010
  year: 2010
  ident: CIT0006
– start-page: 212
  volume-title: Proceedings of the 10th International Symposium on Temporal Representation and Reasoning/4th International Conference on Temporal Logic
  year: 2003
  ident: CIT0027
– ident: CIT0001
  doi: 10.1145/182.358434
– volume-title: Knapsack Problems: Algorithms and Computer Implementations
  year: 1990
  ident: CIT0014
– ident: CIT0024
– volume-title: Proc. of ICMC ’09
  year: 2009
  ident: CIT0022
– volume: 11
  start-page: 3
  issue: 16
  year: 1998
  ident: CIT0012
  publication-title: CWI Quaterly
SSID ssj0056192
Score 1.9781761
Snippet 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...
SourceID proquest
crossref
informaworld
SourceType Aggregation Database
Enrichment Source
Index Database
Publisher
StartPage 93
SubjectTerms 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
Title Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios
URI https://www.tandfonline.com/doi/abs/10.1080/17459737.2013.870610
https://www.proquest.com/docview/1514775824
Volume 8
WOSCitedRecordID wos000333952800006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAWR
  databaseName: Taylor & Francis Journals Complete
  customDbUrl:
  eissn: 1745-9745
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0056192
  issn: 1745-9737
  databaseCode: TFW
  dateStart: 20070301
  isFulltext: true
  titleUrlDefault: https://www.tandfonline.com
  providerName: Taylor & Francis
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LT8MwDI7Q4MCFN2IwUA4cCaRLHyk3hKg4oInDELtVTZpIk_bS2k3Ar8dOW8SEAAmOrWrLdRLbSezPhJxnEHXm2g-YnwvLwN9qlvGuZoEf8bCbCx7nrmvJQ9TrycEgfvxUxY9plbiHthVQhLPVuLgzVTQZcVcQREMYLCJMzBKXeFHnaqzA82MLg37y3JjiAHcHVUVkwJCiqZ37hsmKb1pBLv1iqZ37Sbb_L_gO2apDT3pTzZVdsmYme2TdNXreJ28JSjGihRmDroe6oCAWRTAJV0a1NHSMH9ICYS-La5pR26R10XJKc5cIckGxcHNoX-kMz_jnCNZKQVpqXoxelGaFH8JIwUZ9WhyQp-Suf3vP6r4MTIN_L5nEJGtlQx4rwaUSVljFZQShlWe9PLSxFZGvIa6MIqFjeG88I1QEtLlSOhTikLQm04k5IhThDi03HC8_fZ6DfTFSKC82ATCNA9kmohmRVNeg5dg7Y5R6NbZpo9MUdZpWOm0T9kE1q0A7fvlefh7stHSHJbbqbJKKn0k7zcRI69VfpBBFwb8Hsusf_53zCdmEJ98d93Q7pFXOF-aUbOhlOSzmZ26evwOyR_kE
linkProvider Taylor & Francis
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV3dS8MwEA-yCfritzidmgcfjaZNu7a-iTgmzuHDxL2FNU1gsC_Wbqh_vXdpKw5RQXxtc-F6Se8ul7vfEXLWB68zUZ7PvEQYBvZWsT53FfO9gDfcRPAosV1L2kGnE_Z60WORTZgWaZV4hjY5UITV1fhzYzC6TIm7BC8a_GARYGaWuMCbOiyyqvpganGTd5vPpTL28XyQ10T6DEnK6rlvZlmyTkvYpV90tTVAzc1_YH2LbBTeJ73Ot8s2WdHjHVK1vZ53yVsT2RjSVI9A3AOVUuCLIp6EraRaaDrCgTRF5Mv0ivapKTO7aDahic0FOadYuzkwr3SKYf4Z4rVSYJfqF63mmV6aD5Gk4Kw-SffIU_O2e9NiRWsGpsDEZyzEPOvYNHgUCx7GwggT8zAA78oxTtIwkRGBp8C1DAKhIniuHS3iAGiTOFYNIfZJZTwZ6wNCEfHQcM3x_tPjCagYHYrYibQPk0Z-WCOiXBKpCtxybJ8xlE4Bb1rKVKJMZS7TGmEfVNMct-OX8eHn1ZaZjZeYvLmJFD-T1sudIQsFkEpwpODb_dD1Dv8-8ylZa3Uf2rJ917k_IuvwxrPRH7dOKtlsro_Jqlpkg3R2Yjf9O38d_S8
linkToPdf http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LS8QwEA7iinjxLb7NwaPRdNOnN1GLoiweVtxb2OYBC_tiWxf11zuTtuIiKui17QzTSTIzSWa-IeS4C1GnVn7AfC0sA3-rWJc3FQv8iIdNLXiiXdeS-6jVijud5OFTFT-mVeIe2pZAEc5W4-Iea1tnxJ1BEA1hsIgwMUuc4kUd1lg1IHIOcfvVTp9qWxzg9qAsiQwYktTFc99wmXFOM9ClX0y18z_pyv8lXyXLVexJL8rJskbmzHCdNFyn5w3ylqIUfZqbASi7p3IKYlFEk3B1VFNDB_ghzRH3Mj-nXWrrvC5ajKh2mSAnFCs3e_aVjvGQf4JorRSkpebFqOfCzPBDHCnYqY_yTfKYXrcvb1jVmIEpcPAFizHLOrMhTzLB40xYYTMeRxBbedbToU2siHwFgWUUCZXAc-MZkUVAq7NMhUJskfnhaGi2CUW8Q8sNx9tPn2swMCYWmZeYAJgmQbxDRD0iUlWo5dg8oy-9Cty01qlEncpSpzuEfVCNS9SOX76PPw-2LNxpiS1bm0jxM-l-PTFktfxzCWEU_HsQN_3dv3M-IosPV6m8v23d7ZEleOG7o5_mPpkvJs_mgCyoadHLJ4duyr8DffH74A
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Formal+semantics+for+interactive+music+scores%3A+a+framework+to+design%2C+specify+properties+and+execute+interactive+scenarios&rft.jtitle=Journal+of+mathematics+and+music+%28Society+for+Mathematics+and+Computation+in+Music%29&rft.au=Toro%2C+Mauricio&rft.au=Desainte-Catherine%2C+Myriam&rft.au=Rueda%2C+Camilo&rft.date=2014-01-02&rft.pub=Taylor+%26+Francis+Ltd&rft.issn=1745-9737&rft.eissn=1745-9745&rft.volume=8&rft.issue=1&rft.spage=93&rft_id=info:doi/10.1080%2F17459737.2013.870610&rft.externalDBID=NO_FULL_TEXT&rft.externalDocID=3272153111
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1745-9737&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1745-9737&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1745-9737&client=summon