On validity in modelization of musical problems by CCP
We show how the ntcc calculus, a model of temporal concurrent constraint programming with the capability of modeling asynchronous and non-deterministic timed behavior, can be used for modeling real musical processes. In particular, we show how the expressiveness of ntcc allows to implement complex i...
Gespeichert in:
| Veröffentlicht in: | Soft computing (Berlin, Germany) Jg. 8; H. 9; S. 641 - 648 |
|---|---|
| Hauptverfasser: | , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Heidelberg
Springer Nature B.V
01.09.2004
|
| Schlagworte: | |
| ISSN: | 1432-7643, 1433-7479 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | We show how the ntcc calculus, a model of temporal concurrent constraint programming with the capability of modeling asynchronous and non-deterministic timed behavior, can be used for modeling real musical processes. In particular, we show how the expressiveness of ntcc allows to implement complex interactions among musical processes handling different kinds of partial information. The ntcc calculus integrates two dimensions of soft computing: a horizontal dimension dealing with partial information and a vertical one in which non determinism comes into play. This integration is an improvement over constraint satisfaction and concurrent constraint programming models, allowing a more natural representation of a variety of musical processes. We use the nondeterminism facility of ntcc to build weaker representations of musical processes that greatly simplifies the formal expression and analysis of its properties. We argue that this modeling strategy provides a “runnable specification” for music problems that eases the task of formally reasoning about them. We show how the linear temporal logic associated with ntcc gives a very expressive setting for formally proving the existence of interesting musical properties of a process. We give examples of musical specifications in ntcc and use the linear temporal logic for proving properties of a realistic musical problem. |
|---|---|
| AbstractList | We show how the ntcc calculus, a model of temporal concurrent constraint programming with the capability of modeling asynchronous and non-deterministic timed behavior, can be used for modeling real musical processes. In particular, we show how the expressiveness of ntcc allows to implement complex interactions among musical processes handling different kinds of partial information. The ntcc calculus integrates two dimensions of soft computing: a horizontal dimension dealing with partial information and a vertical one in which non determinism comes into play. This integration is an improvement over constraint satisfaction and concurrent constraint programming models, allowing a more natural representation of a variety of musical processes. We use the nondeterminism facility of ntcc to build weaker representations of musical processes that greatly simplifies the formal expression and analysis of its properties. We argue that this modeling strategy provides a “runnable specification” for music problems that eases the task of formally reasoning about them. We show how the linear temporal logic associated with ntcc gives a very expressive setting for formally proving the existence of interesting musical properties of a process. We give examples of musical specifications in ntcc and use the linear temporal logic for proving properties of a realistic musical problem. |
| Author | Rueda, C. Valencia, F. |
| Author_xml | – sequence: 1 givenname: C. surname: Rueda fullname: Rueda, C. – sequence: 2 givenname: F. surname: Valencia fullname: Valencia, F. |
| BookMark | eNp9kD1PwzAQhi1UJNrCD2CzxGw4f9QXjygCilSpDDBbjutIrpK4xClS-fWkLRMD093wPvfqnhmZdKkLhNxyuOcA-JABFgAMQDGQBhhekClXUjJUaCanXTDUSl6RWc5bAMFxIadErzv65Zq4icOBxo62aROa-O2GmDqaatruc_Suobs-VU1oM60OtCzfrsll7Zocbn7nnHw8P72XS7Zav7yWjyvmBcqBOW90ZRyKiouiCBhqNEHXWIhQmQKKupaVCyYow71U3uugUAjABQSlhSnknNyd7479n_uQB7tN-74bK60wHI1GzuWY4ueU71POfajtro-t6w-Wgz3qsWc9dtRjj3osjgz-YXwcTm8PvYvNP-QP5XhpvA |
| CitedBy_id | crossref_primary_10_1016_j_jlamp_2021_100674 crossref_primary_10_1080_17459730701666887 crossref_primary_10_1007_s10601_013_9145_3 crossref_primary_10_1145_1978802_1978809 crossref_primary_10_1080_17459737_2013_870610 |
| ContentType | Journal Article |
| Copyright | Springer-Verlag Berlin Heidelberg 2004. |
| Copyright_xml | – notice: Springer-Verlag Berlin Heidelberg 2004. |
| DBID | AAYXX CITATION 8FE 8FG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI |
| DOI | 10.1007/s00500-004-0390-7 |
| DatabaseName | CrossRef ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials - QC ProQuest Central (New) ProQuest Technology Collection ProQuest One ProQuest Central ProQuest Central Student SciTech Collection (ProQuest) ProQuest Computer Science Collection Computer Science Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection Proquest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition |
| DatabaseTitle | CrossRef Advanced Technologies & Aerospace Collection Computer Science Database ProQuest Central Student Technology Collection ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection ProQuest One Academic Eastern Edition SciTech Premium Collection ProQuest One Community College ProQuest Technology Collection ProQuest SciTech Collection ProQuest Central Advanced Technologies & Aerospace Database ProQuest One Applied & Life Sciences ProQuest One Academic UKI Edition ProQuest Central Korea ProQuest Central (New) ProQuest One Academic ProQuest One Academic (New) |
| DatabaseTitleList | Advanced Technologies & Aerospace Collection |
| Database_xml | – sequence: 1 dbid: P5Z name: Advanced Technologies & Aerospace Database url: https://search.proquest.com/hightechjournals sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1433-7479 |
| EndPage | 648 |
| ExternalDocumentID | 10_1007_s00500_004_0390_7 |
| GroupedDBID | -Y2 -~C .86 .VR 06D 0R~ 0VY 1N0 1SB 203 29~ 2J2 2JN 2JY 2KG 2LR 2P1 2VQ 2~H 30V 4.4 406 408 409 40D 40E 5VS 67Z 6NX 8TC 8UJ 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AAPKM AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYTO AAYXX ABAKF ABBBX ABBRH ABBXA ABDBE ABDZT ABECU ABFSG ABFTD ABFTV ABHLI ABHQN ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABRTQ ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABWNU ABXPI ACAOD ACBXY ACDTI ACGFS ACHSB ACHXU ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACSTC ACZOJ ADHHG ADHIR ADHKG ADKFA ADKNI ADKPE ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AENEX AEOHA AEPYU AETLH AEVLU AEXYK AEZWR AFBBN AFDZB AFFHD AFGCZ AFHIU AFKRA AFLOW AFOHR AFQWF AFWTZ AFZKB AGAYW AGDGC AGGDS AGJBK AGMZJ AGQEE AGQMX AGQPQ AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHPBZ AHSBF AHWEU AHYZX AIAKS AIGIU AIIXL AILAN AITGF AIXLP AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARAPS ARMRJ ASPBG ATHPR AVWKF AXYYD AYFIA AYJHY AZFZN B-. BA0 BDATZ BENPR BGLVJ BGNMA BSONS CAG CCPQU CITATION COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 EBLON EBS EIOEI EJD ESBYG FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNWQR GQ7 GQ8 GXS H13 HCIFZ HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I09 IHE IJ- IKXTQ IWAJR IXC IXD IXE IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ K7- KDC KOV LAS LLZTM M4Y MA- N2Q NB0 NPVJJ NQJWS NU0 O9- O93 O9J OAM P2P P9P PF0 PHGZM PHGZT PQGLB PT4 PT5 QOS R89 R9I RNI ROL RPX RSV RZK S16 S1Z S27 S3B SAP SDH SEG SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 TSG TSK TSV TUC U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WK8 YLTOR Z45 ZMTXR 8FE 8FG AESKC AZQEC DWQXO GNUQQ JQ2 P62 PKEHL PQEST PQQKQ PQUKI |
| ID | FETCH-LOGICAL-c273t-ac96b9a72b1288e7ef79e6f782eb9808ff3bae9e491c34cc6e47220750e462983 |
| IEDL.DBID | K7- |
| ISICitedReferencesCount | 8 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000224390600009&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1432-7643 |
| IngestDate | Wed Nov 05 02:57:50 EST 2025 Tue Nov 18 22:02:25 EST 2025 Sat Nov 29 03:19:39 EST 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 9 |
| Language | English |
| License | http://www.springer.com/tdm |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c273t-ac96b9a72b1288e7ef79e6f782eb9808ff3bae9e491c34cc6e47220750e462983 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| PQID | 2917967113 |
| PQPubID | 2043697 |
| PageCount | 8 |
| ParticipantIDs | proquest_journals_2917967113 crossref_primary_10_1007_s00500_004_0390_7 crossref_citationtrail_10_1007_s00500_004_0390_7 |
| PublicationCentury | 2000 |
| PublicationDate | 2004-09-01 |
| PublicationDateYYYYMMDD | 2004-09-01 |
| PublicationDate_xml | – month: 09 year: 2004 text: 2004-09-01 day: 01 |
| PublicationDecade | 2000 |
| PublicationPlace | Heidelberg |
| PublicationPlace_xml | – name: Heidelberg |
| PublicationTitle | Soft computing (Berlin, Germany) |
| PublicationYear | 2004 |
| Publisher | Springer Nature B.V |
| Publisher_xml | – name: Springer Nature B.V |
| SSID | ssj0021753 |
| Score | 1.7295551 |
| SecondaryResourceType | review_article |
| Snippet | We show how the ntcc calculus, a model of temporal concurrent constraint programming with the capability of modeling asynchronous and non-deterministic timed... |
| SourceID | proquest crossref |
| SourceType | Aggregation Database Enrichment Source Index Database |
| StartPage | 641 |
| SubjectTerms | Constraint modelling Representations Soft computing Specifications Temporal logic |
| Title | On validity in modelization of musical problems by CCP |
| URI | https://www.proquest.com/docview/2917967113 |
| Volume | 8 |
| WOSCitedRecordID | wos000224390600009&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: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1433-7479 dateEnd: 20061231 omitProxy: false ssIdentifier: ssj0021753 issn: 1432-7643 databaseCode: P5Z dateStart: 19970401 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1433-7479 dateEnd: 20061231 omitProxy: false ssIdentifier: ssj0021753 issn: 1432-7643 databaseCode: K7- dateStart: 19970401 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1433-7479 dateEnd: 20061231 omitProxy: false ssIdentifier: ssj0021753 issn: 1432-7643 databaseCode: BENPR dateStart: 19970401 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVAVX databaseName: SpringerLink Journals customDbUrl: eissn: 1433-7479 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0021753 issn: 1432-7643 databaseCode: RSV dateStart: 19970401 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV07T8MwELagZWChPEWhVB6YkCwS5-F4QlC1YkClKlBVLJHjXqRKkJY-kPj3nF2nqEsXllsSS9HlfPed73wfIdcSeJ6PeMxCEVkRsUSDZDwIfK4wAmX2-tjgSXS7yXAoe-7Abe7aKkufaB31aKLNGfktx7xCxsL3g7vpFzOsUaa66ig0dknV5-iETVFWsHXC5aZQIiRAFImht6xqenaIaGTvVIfMw7Sfic24tOmWbazp1P77lYfkwKFMer8yiyOyA8UxqZUMDtRt6BMSPxcUTW08QixOxwW1vDjuZiad5PRzaX8idbQzc5r90Fard0reOu3X1iNzTApMIzxZMKVlnEkleIbhKAEBuZAQ54gOIJOJl-R5kCmQEEpfB6HWMZgZkgZNQBhzmQRnpFJMCjgnVEiuQg8MQYfEACgTpRVAppTwIxUIqBOv1GOq3Zhxw3bxka4HJFvVp6j61Kg-FXVys14yXc3Y2PZyo9R86rbbPP1T-8X2x5dkf9V6Y5rEGqSymC3hiuzp78V4PmuS6kO72-s3rRWh7EXvKPsvg193wswl |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V09T8MwED1BQYKFb8Q3HmBBskjsJI4HhKCAQJRSIUBswXEvUiVIgRYQf4rfiO06RSxsDCxZEkdR3uXeXXx3D2BLIiuKNktoJGJ3iGmqUVLGeciUYaDctY_dNkSzmd7dydYIfFa9MLassvKJzlG3u9r-I99lJq-QiQhDvv_0TK1qlN1drSQ0BmZxjh_vJmXr7Z0dGXy3GTs5vq6fUq8qQLWh6j5VWia5VILlxjWnKLAQEpPCMCXmMg3SouC5QomRDDWPtE7QzlO0zIpRwmTKzX1HYSziURLXYOzwuNm6GqZ4fu6lCUJM3GrIvtpHDdzY0th1cUc04DKg4icT_iQCx24n0__tvczAlI-jycHA8GdhBMs5mK40Koh3WfOQXJbEfEydtsk2SKckTvnH956SbkEeX52ZEi-s0yP5B6nXWwtw8ydPvwi1slviEhAhmYoCtBIk0lC8TJVWiLlSIowVF7gMQYVbpv0gdavn8ZANR0A7qDMDdWahzsQy7AyXPA2miPx28VqFdOYdSi_7hnnl99ObMHF6fdHIGmfN81WYHBQa2ZK4Naj1X15xHcb1W7_Te9nwtkvg_q_N4gvBIyat |
| 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=On+validity+in+modelization+of+musical+problems+by+CCP&rft.jtitle=Soft+computing+%28Berlin%2C+Germany%29&rft.au=Rueda%2C+C.&rft.au=Valencia%2C+F.&rft.date=2004-09-01&rft.issn=1432-7643&rft.eissn=1433-7479&rft.volume=8&rft.issue=9&rft_id=info:doi/10.1007%2Fs00500-004-0390-7&rft.externalDBID=n%2Fa&rft.externalDocID=10_1007_s00500_004_0390_7 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1432-7643&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1432-7643&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1432-7643&client=summon |