Timed Concurrent Constraint Programming for Analysing Biological Systems
In this paper we present our first approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information constructs in ntcc can provide a suitable language for such systems. We also illustrate how ntcc may provide a unified framew...
Gespeichert in:
| Veröffentlicht in: | Electronic notes in theoretical computer science Jg. 171; H. 2; S. 117 - 137 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Elsevier B.V
05.07.2007
|
| Schlagworte: | |
| ISSN: | 1571-0661, 1571-0661 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | In this paper we present our first approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information constructs in ntcc can provide a suitable language for such systems. We also illustrate how ntcc may provide a unified framework for the analysis of biological systems, as they can be described, simulated and verified using the elements provided by the calculus. |
|---|---|
| AbstractList | In this paper we present our first approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information constructs in ntcc can provide a suitable language for such systems. We also illustrate how ntcc may provide a unified framework for the analysis of biological systems, as they can be described, simulated and verified using the elements provided by the calculus. |
| Author | Pérez, Jorge A. Rueda, Camilo Valencia, Frank D. Gutiérrez, Julian |
| Author_xml | – sequence: 1 givenname: Julian surname: Gutiérrez fullname: Gutiérrez, Julian organization: Department of Science and Engineering of Computing, Pontificia Universidad Javeriana, Cali, Colombia – sequence: 2 givenname: Jorge A. surname: Pérez fullname: Pérez, Jorge A. organization: Department of Science and Engineering of Computing, Pontificia Universidad Javeriana, Cali, Colombia – sequence: 3 givenname: Camilo surname: Rueda fullname: Rueda, Camilo organization: Department of Science and Engineering of Computing, Pontificia Universidad Javeriana, Cali, Colombia – sequence: 4 givenname: Frank D. surname: Valencia fullname: Valencia, Frank D. organization: CNRS and LIX, École Polytechnique, Palaiseau, France |
| BookMark | eNqFkM1KAzEUhYMo2FafwM28wIz5mUzShYta1AoFBes6pMmdkjKTSBKFvr0z1oW40NU9d_EdON8UnfrgAaErgiuCSXO9r8BnkyqKsagwrzChJ2hCuCAlbhpy-iOfo2lKe4yZJKKZoNXG9WCLZfDmPcahZYwpR-2G-BzDLuq-d35XtCEWC6-7Qxq_Wxe6sHNGd8XLIWXo0wU6a3WX4PL7ztDr_d1muSrXTw-Py8W6NKyWuQQ9F63k1BqGCdZb3gi21dDWWlA5B9lIwYEyqyUzrbQtx01dU0sEkZRuLWMzxI69JoaUIrTqLbpex4MiWI0y1F59yVCjDIW5GmQM1PwXZVzW2QU_Tu3-YW-OLAyzPhxElYwDb8C6CCYrG9yf_CcxZ38j |
| CitedBy_id | crossref_primary_10_1016_j_entcs_2013_02_016 |
| Cites_doi | 10.1007/978-3-540-25974-9_24 10.1016/j.tcs.2004.03.065 10.1016/j.tcs.2004.03.062 10.1038/419343a 10.1016/j.tcs.2004.03.064 10.1016/j.tcs.2004.03.061 10.1145/99583.99627 10.1007/978-3-540-25974-9_5 10.1016/j.tcs.2004.10.009 10.1007/11880646_4 10.1007/978-3-540-25974-9_3 10.1046/j.1432-1033.2002.02909.x |
| ContentType | Journal Article |
| Copyright | 2007 Elsevier B.V. |
| Copyright_xml | – notice: 2007 Elsevier B.V. |
| DBID | 6I. AAFTH AAYXX CITATION |
| DOI | 10.1016/j.entcs.2007.05.012 |
| DatabaseName | ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1571-0661 |
| EndPage | 137 |
| ExternalDocumentID | 10_1016_j_entcs_2007_05_012 S157106610700285X |
| GroupedDBID | --K --M 0R~ 1B1 1~5 4.4 457 4G. 5GY 5VS 6I. 7-5 71M AABNK AACTN AAEDT AAEDW AAFTH AAIKJ AAKOC AALRI AAQFI AAXUO ABMAC ABWVN ACDAQ ACGFO ACGFS ACNNM ACRLP ACRPL ACXMD ADBBV ADEZE ADMUD ADNMO ADVLN AEIPS AEKER AEXQZ AFTJW AFXIZ AGHFR AIEXJ AIKHN AITUG AKRWK ALMA_UNASSIGNED_HOLDINGS AMRAJ ANKPU AXJTR CS3 DU5 EBS EJD EO8 EO9 EP2 EP3 FDB FEDTE FNPLU G-Q HVGLF HZ~ IHE IXB J1W KOM KQ8 M41 M~E N9A O-L O9- OK1 OZT P2P RIG ROL RPZ SDG SES SPC SSH SSV SSW SSZ 29G 9DU AAQXK AAYWO AAYXX ABFNM ACLOT ACVFH ADCNI ADFGL AEUPX AFPUW AGQPQ AIGII AJMQA AKBMS AKYEP AOUOD ASPBG AVWKF AZFZN CITATION FGOYB GBLVA R2- SEW ~HD |
| ID | FETCH-LOGICAL-c348t-ea97f852dc3010ab5673baef4a7289e86875e23da83cf8df506442d171822bd33 |
| ISICitedReferencesCount | 3 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000214222700011&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1571-0661 |
| IngestDate | Sat Nov 29 02:22:02 EST 2025 Tue Nov 18 21:29:48 EST 2025 Thu Apr 10 08:06:45 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Issue | 2 |
| Keywords | Verification of Biological Systems Concurrent Constraint Programming (CCP) Partial Information Process Calculi |
| Language | English |
| License | http://creativecommons.org/licenses/by-nc-nd/3.0 https://www.elsevier.com/tdm/userlicense/1.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c348t-ea97f852dc3010ab5673baef4a7289e86875e23da83cf8df506442d171822bd33 |
| OpenAccessLink | https://dx.doi.org/10.1016/j.entcs.2007.05.012 |
| PageCount | 21 |
| ParticipantIDs | crossref_primary_10_1016_j_entcs_2007_05_012 crossref_citationtrail_10_1016_j_entcs_2007_05_012 elsevier_sciencedirect_doi_10_1016_j_entcs_2007_05_012 |
| PublicationCentury | 2000 |
| PublicationDate | 2007-07-05 |
| PublicationDateYYYYMMDD | 2007-07-05 |
| PublicationDate_xml | – month: 07 year: 2007 text: 2007-07-05 day: 05 |
| PublicationDecade | 2000 |
| PublicationTitle | Electronic notes in theoretical computer science |
| PublicationYear | 2007 |
| Publisher | Elsevier B.V |
| Publisher_xml | – name: Elsevier B.V |
| References | Scheiner-Bobis (bib020) 2002; 269 2006. CMSB'05 Special Issue (to appear) Danos, Laneve (bib008) 2004; 325 pages 20–33 pages 43–57 Mishra, Antoniotti, Paxia, Ugel (bib013) 2005 pages 257–278 Gupta, Jagadeesan, Saraswat, Bobrow (bib011) 1994; volume 999 Valencia (bib021) 2005; 330 V. Saraswat, M. Rinard, and P. Panangaden. The semantic foundations of concurrent constraint programming. In Nielsen, Palamidessi, Valencia (bib014) 2002; 9 2006. Santiago, Chile Bockmayr, Courtois (bib004) 2002; volume 2401 A. Bockmayr, A. Courtois, D. Eveillard, and M. Vezain. Building and Analysing an Integrative Model of HIV-1 RNA Alternative Splicing. In Danos and Schächter Regev, Panina, Silverman, Cardelli, Shapiro (bib016) 2004; 325 A. Arbeláez, J. Gutiérrez, C. Olarte, and C. Rueda. A Generic Framework to Model, Simulate and Verify Genetic Regulatory Networks. In C. Priami and P. Quaglia. Beta Binders for Biological Interactions. In Danos and Schächter Antoniotti, Piazza, Policriti, Simeoni, Mishra (bib001) 2004; 325 Van Hentenryck, Saraswat, Deville (bib012) 1994; volume 910 Regev, Shapiro (bib017) September 2002; 419 Eveillard, Ropers, de Jong, Branlant, Bockmayr (bib010) 2004; 325 L. Cardelli. Brane Calculi. In Danos and Schächter L. Calzone, N. Chabrier-Rivier, F. Fages, and S. Soliman. Machine learning biochemical networks from temporal logic properties. (bib003) 2006 (bib009) 2005; volume 3082 Regev, Shapiro (bib018) 2004 pages 333–352, Jan 1991 Antoniotti (10.1016/j.entcs.2007.05.012_bib001) 2004; 325 Nielsen (10.1016/j.entcs.2007.05.012_bib014) 2002; 9 Bockmayr (10.1016/j.entcs.2007.05.012_bib004) 2002; volume 2401 Regev (10.1016/j.entcs.2007.05.012_bib017) 2002; 419 Valencia (10.1016/j.entcs.2007.05.012_bib021) 2005; 330 Van Hentenryck (10.1016/j.entcs.2007.05.012_bib012) 1994; volume 910 (10.1016/j.entcs.2007.05.012_bib009) 2005; volume 3082 Mishra (10.1016/j.entcs.2007.05.012_bib013) 2005 Danos (10.1016/j.entcs.2007.05.012_bib008) 2004; 325 Scheiner-Bobis (10.1016/j.entcs.2007.05.012_bib020) 2002; 269 Regev (10.1016/j.entcs.2007.05.012_bib018) 2004 10.1016/j.entcs.2007.05.012_bib019 10.1016/j.entcs.2007.05.012_bib007 Regev (10.1016/j.entcs.2007.05.012_bib016) 2004; 325 10.1016/j.entcs.2007.05.012_bib006 10.1016/j.entcs.2007.05.012_bib005 Eveillard (10.1016/j.entcs.2007.05.012_bib010) 2004; 325 10.1016/j.entcs.2007.05.012_bib015 Gupta (10.1016/j.entcs.2007.05.012_bib011) 1994; volume 999 10.1016/j.entcs.2007.05.012_bib002 |
| References_xml | – reference: A. Bockmayr, A. Courtois, D. Eveillard, and M. Vezain. Building and Analysing an Integrative Model of HIV-1 RNA Alternative Splicing. In Danos and Schächter – reference: L. Cardelli. Brane Calculi. In Danos and Schächter – volume: volume 910 start-page: 293 year: 1994 end-page: 316 ident: bib012 article-title: Design, Implementation, and Evaluation of the Constraint Language cc(FD) publication-title: Constraint Programming – volume: volume 2401 start-page: 85 year: 2002 end-page: 99 ident: bib004 article-title: Using hybrid concurrent constraint programming to model dynamic biological systems publication-title: ICLP – volume: 9 start-page: 145 year: 2002 end-page: 188 ident: bib014 article-title: Temporal Concurrent Constraint Programming: Denotation, Logic and Applications publication-title: Nordic Journal of Computing – volume: 325 start-page: 141 year: 2004 end-page: 167 ident: bib016 article-title: Bioambients: an abstraction for biological compartments publication-title: Theor. Comput. Sci. – volume: 325 start-page: 45 year: 2004 end-page: 67 ident: bib001 article-title: Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice publication-title: Theor. Comput. Sci. – year: 2005 ident: bib013 article-title: Simpathica: A Computational Systems Biology Tool within the Valis Bioinformatics Environment publication-title: Computational Systems Biology – year: 2006 ident: bib003 article-title: ntccSim: A simulation tool for timed concurrent processes – volume: 419 start-page: 343 year: September 2002 ident: bib017 article-title: Cells as Computation publication-title: Nature – volume: volume 3082 year: 2005 ident: bib009 publication-title: Computational Methods in Systems Biology – volume: 325 start-page: 3 year: 2004 end-page: 24 ident: bib010 article-title: A multi-scale constraint programming model of alternative splicing regulation publication-title: Theor. Comput. Sci. – reference: L. Calzone, N. Chabrier-Rivier, F. Fages, and S. Soliman. Machine learning biochemical networks from temporal logic properties. – reference: , 2006. Santiago, Chile – reference: C. Priami and P. Quaglia. Beta Binders for Biological Interactions. In Danos and Schächter – reference: , pages 333–352, Jan 1991 – reference: , pages 20–33 – volume: 330 start-page: 577 year: 2005 end-page: 607 ident: bib021 article-title: Decidability of Infinite-State Timed CCP Process and First-Order LTL publication-title: Theor. Comput. Sci. – reference: A. Arbeláez, J. Gutiérrez, C. Olarte, and C. Rueda. A Generic Framework to Model, Simulate and Verify Genetic Regulatory Networks. In – volume: volume 999 start-page: 226 year: 1994 end-page: 251 ident: bib011 article-title: Programming in hybrid constraint languages publication-title: Hybrid Systems – volume: 325 start-page: 69 year: 2004 end-page: 110 ident: bib008 article-title: Formal molecular biology publication-title: Theor. Comput. Sci. – reference: V. Saraswat, M. Rinard, and P. Panangaden. The semantic foundations of concurrent constraint programming. In – reference: , pages 257–278 – reference: , pages 43–57 – reference: , 2006. CMSB'05 Special Issue (to appear) – start-page: 219 year: 2004 end-page: 266 ident: bib018 article-title: The publication-title: Modelling in Molecular Biology – volume: 269 start-page: 2424 year: 2002 end-page: 2433 ident: bib020 article-title: The sodium pump: Its molecular properties and mechanics of ion transport publication-title: Euro. J. Biochem. – ident: 10.1016/j.entcs.2007.05.012_bib002 – volume: volume 2401 start-page: 85 year: 2002 ident: 10.1016/j.entcs.2007.05.012_bib004 article-title: Using hybrid concurrent constraint programming to model dynamic biological systems – start-page: 219 year: 2004 ident: 10.1016/j.entcs.2007.05.012_bib018 article-title: The π-calculus as an abstraction for biomolecular systems – ident: 10.1016/j.entcs.2007.05.012_bib007 doi: 10.1007/978-3-540-25974-9_24 – volume: 325 start-page: 69 issue: 1 year: 2004 ident: 10.1016/j.entcs.2007.05.012_bib008 article-title: Formal molecular biology publication-title: Theor. Comput. Sci. doi: 10.1016/j.tcs.2004.03.065 – volume: 325 start-page: 3 issue: 1 year: 2004 ident: 10.1016/j.entcs.2007.05.012_bib010 article-title: A multi-scale constraint programming model of alternative splicing regulation publication-title: Theor. Comput. Sci. doi: 10.1016/j.tcs.2004.03.062 – volume: 419 start-page: 343 year: 2002 ident: 10.1016/j.entcs.2007.05.012_bib017 article-title: Cells as Computation publication-title: Nature doi: 10.1038/419343a – volume: 325 start-page: 45 issue: 1 year: 2004 ident: 10.1016/j.entcs.2007.05.012_bib001 article-title: Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice publication-title: Theor. Comput. Sci. doi: 10.1016/j.tcs.2004.03.064 – volume: 325 start-page: 141 issue: 1 year: 2004 ident: 10.1016/j.entcs.2007.05.012_bib016 article-title: Bioambients: an abstraction for biological compartments publication-title: Theor. Comput. Sci. doi: 10.1016/j.tcs.2004.03.061 – volume: 9 start-page: 145 year: 2002 ident: 10.1016/j.entcs.2007.05.012_bib014 article-title: Temporal Concurrent Constraint Programming: Denotation, Logic and Applications publication-title: Nordic Journal of Computing – volume: volume 910 start-page: 293 year: 1994 ident: 10.1016/j.entcs.2007.05.012_bib012 article-title: Design, Implementation, and Evaluation of the Constraint Language cc(FD) – ident: 10.1016/j.entcs.2007.05.012_bib019 doi: 10.1145/99583.99627 – ident: 10.1016/j.entcs.2007.05.012_bib005 doi: 10.1007/978-3-540-25974-9_5 – volume: 330 start-page: 577 issue: 3 year: 2005 ident: 10.1016/j.entcs.2007.05.012_bib021 article-title: Decidability of Infinite-State Timed CCP Process and First-Order LTL publication-title: Theor. Comput. Sci. doi: 10.1016/j.tcs.2004.10.009 – ident: 10.1016/j.entcs.2007.05.012_bib006 doi: 10.1007/11880646_4 – year: 2005 ident: 10.1016/j.entcs.2007.05.012_bib013 article-title: Simpathica: A Computational Systems Biology Tool within the Valis Bioinformatics Environment – volume: volume 999 start-page: 226 year: 1994 ident: 10.1016/j.entcs.2007.05.012_bib011 article-title: Programming in hybrid constraint languages – volume: volume 3082 year: 2005 ident: 10.1016/j.entcs.2007.05.012_bib009 – ident: 10.1016/j.entcs.2007.05.012_bib015 doi: 10.1007/978-3-540-25974-9_3 – volume: 269 start-page: 2424 year: 2002 ident: 10.1016/j.entcs.2007.05.012_bib020 article-title: The sodium pump: Its molecular properties and mechanics of ion transport publication-title: Euro. J. Biochem. doi: 10.1046/j.1432-1033.2002.02909.x |
| SSID | ssj0038176 |
| Score | 1.4767445 |
| Snippet | In this paper we present our first approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the... |
| SourceID | crossref elsevier |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 117 |
| SubjectTerms | Concurrent Constraint Programming (CCP) Partial Information Process Calculi Verification of Biological Systems |
| Title | Timed Concurrent Constraint Programming for Analysing Biological Systems |
| URI | https://dx.doi.org/10.1016/j.entcs.2007.05.012 |
| Volume | 171 |
| WOSCitedRecordID | wos000214222700011&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: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1571-0661 dateEnd: 20201231 omitProxy: false ssIdentifier: ssj0038176 issn: 1571-0661 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources customDbUrl: eissn: 1571-0661 dateEnd: 20201231 omitProxy: false ssIdentifier: ssj0038176 issn: 1571-0661 databaseCode: M~E dateStart: 20040101 isFulltext: true titleUrlDefault: https://road.issn.org providerName: ISSN International Centre |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LT9tAEF6lwKEXKKUVr1Z76C11lKy99vqIWhCHNooERblZm31IQYmDiIMQB34Uv5DZlx0UhKASFytZZ531zued2fHMNwj9UFLqHkuTqEuViBLCdcQITyMmqQZtrhJly7dd_Mn6fTYc5oNW6yHkwtxMsrJkt7f51buKGtpA2CZ19g3iri8KDfAZhA5HEDscXyf48dR4bWel8NRLpianrQRRmbQAE401DeGTnpIEvrmalFZiyyTmwWffFMspZ5WN4XqSAil8bYi2V6h1VA_cp3sVD0O5C_nYDSAH_qQ_Z9zz7aNO_RJooSR3USnT8WQWmi-4SZRyQb625nz7d-eJ88J6Rbu08aitZNW4RTgz0ViOpL2jnmkLK7er3uIhSpbW4Z5LCPUqved4ZVa0hXNcXHZAFmLu6SwNiytplGMdsnhmRmAGAGsk2GR0-AGtk4zmRhn8vT8O2t8QHtqMtjDewHRlYwpX_uh5a2jJwjn_hDb91gQfOUhto5YqP6OtUPYDey2wg04twnCDMNwgDC8hDAPCcI0w3CAMe4R9Qf9Ojs9_nUa-IEck4oRVkeJ5phklUoBa6PIRTbN4xJVOeAb7dsVS2PwqEkvOYqGZ1IYMMSESxARm6EjG8Ve0Vs5KtYuwokqC_aQ502CQw55fgjIQOYMNCU9lIvcQCRNTCM9Wb25kUoSwxMvCzqapo5oVXVrAbO6hn3WnK0fW8vLP0zDjhX88nB1ZAEBe6rj_vx0P0MfmKThEa9X1Qn1DG-KmGs-vv1sgPQKt86Zs |
| linkProvider | ISSN International Centre |
| 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=Timed+Concurrent+Constraint+Programming+for+Analysing+Biological+Systems&rft.jtitle=Electronic+notes+in+theoretical+computer+science&rft.au=Guti%C3%A9rrez%2C+Julian&rft.au=P%C3%A9rez%2C+Jorge+A.&rft.au=Rueda%2C+Camilo&rft.au=Valencia%2C+Frank+D.&rft.date=2007-07-05&rft.pub=Elsevier+B.V&rft.issn=1571-0661&rft.eissn=1571-0661&rft.volume=171&rft.issue=2&rft.spage=117&rft.epage=137&rft_id=info:doi/10.1016%2Fj.entcs.2007.05.012&rft.externalDocID=S157106610700285X |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1571-0661&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1571-0661&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1571-0661&client=summon |