Programmable models of growth and mutation of cancer-cell populations
In this paper we propose a systematic approach to construct mathematical models describing populations of cancer-cells at different stages of disease development. The methodology we propose is based on stochastic Concurrent Constraint Programming, a flexible stochastic modelling language. The methodo...
Saved in:
| Published in: | Electronic proceedings in theoretical computer science Vol. 67; no. Proc. CompMod 2011; pp. 19 - 33 |
|---|---|
| Main Authors: | , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Open Publishing Association
10.09.2011
|
| ISSN: | 2075-2180, 2075-2180 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | In this paper we propose a systematic approach to construct mathematical models describing populations of cancer-cells at different stages of disease development. The methodology we propose is based on stochastic Concurrent Constraint Programming, a flexible stochastic modelling language. The methodology is tested on (and partially motivated by) the study of prostate cancer. In particular, we prove how our method is suitable to systematically reconstruct different mathematical models of prostate cancer growth --together with interactions with different kinds of hormone therapy-- at different levels of refinement. |
|---|---|
| AbstractList | In this paper we propose a systematic approach to construct mathematical models describing populations of cancer-cells at different stages of disease development. The methodology we propose is based on stochastic Concurrent Constraint Programming, a flexible stochastic modelling language. The methodology is tested on (and partially motivated by) the study of prostate cancer. In particular, we prove how our method is suitable to systematically reconstruct different mathematical models of prostate cancer growth --together with interactions with different kinds of hormone therapy-- at different levels of refinement. |
| Author | Bortolussi, Luca Policriti, Alberto |
| Author_xml | – sequence: 1 givenname: Luca surname: Bortolussi fullname: Bortolussi, Luca organization: Dept. of Mathematics and Informatics, University of Trieste, Italy – sequence: 2 givenname: Alberto surname: Policriti fullname: Policriti, Alberto organization: Dept. of Mathematics and Informatics, University of Udine, Italy. Institute of Applied Genomics, Udine, Italy |
| BookMark | eNpNkE1LAzEYhINUsNZe_AV7FrZm87Wbo5SqhYIF6zm8yb6pW7Kbkt0i_nv7IeJcZpiB5zC3ZNTFDgm5L-hMMCoeF-vN_H2mypm4ImNGS5mzoqKjf_mGTPt-R4_imgmtxmSxTnGboG3BBszaWGPos-izbYpfw2cGXZ21hwGGJnan2kHnMOUOQ8j2cX8I56W_I9ceQo_TX5-Qj-fFZv6ar95elvOnVe6YVENunbXOoxaVlVDKCqj0qqx1VVvhtEDwUpdAQVmnwDvPLeqK-7KilbAokU_I8sKtI-zMPjUtpG8ToTHnIqatgTQ0LqBxWjOUFuqCWkEVs4KhctpyD5Zrp46shwvLpdj3Cf0fr6Dm9Kc5_2lUaQT_AeDOa78 |
| Cites_doi | 10.1007/s00332-008-9031-0 10.1016/j.ijar.2009.06.007 10.1201/9781420010664 10.1016/S0304-3975(97)00127-8 10.1063/1.481811 10.1007/978-3-642-04186-0_3 10.1109/UKSIM.2011.24 10.1007/978-3-642-03845-7_15 10.1016/j.tcs.2010.02.008 10.1016/S0304-3975(00)00305-4 10.1007/978-3-642-04186-0_11 10.4204/EPTCS.6.5 10.1016/j.tcs.2009.02.037 10.1007/978-1-4899-4483-2 10.1016/j.eururo.2009.07.049 10.3934/dcdsb.2004.4.187 10.1021/j100540a008 10.1111/j.1464-410X.2007.07138.x 10.1098/rsta.2010.0221 10.1017/CBO9780511810633 10.1007/s10601-007-9034-8 10.1007/978-3-540-68894-5_8 10.1016/j.entcs.2008.12.108 |
| ContentType | Journal Article |
| DBID | AAYXX CITATION DOA |
| DOI | 10.4204/EPTCS.67.4 |
| DatabaseName | CrossRef DOAJ Directory of Open Access Journals |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: DOA name: DOAJ Directory of Open Access Journals url: https://www.doaj.org/ sourceTypes: Open Website |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 2075-2180 |
| EndPage | 33 |
| ExternalDocumentID | oai_doaj_org_article_c992e5bad10b4062b42e6c9b3fab39c6 10_4204_EPTCS_67_4 |
| GroupedDBID | 5VS AAYXX ADBBV ALMA_UNASSIGNED_HOLDINGS BCNDV C1A CITATION E3Z GROUPED_DOAJ KQ8 M~E OK1 |
| ID | FETCH-LOGICAL-c256t-bcbbcfe948b5a758a05f67d98db4c94eaf597a0a6bc6afcf3be983f78084be5e3 |
| IEDL.DBID | DOA |
| ISICitedReferencesCount | 1 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000219670900005&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 2075-2180 |
| IngestDate | Fri Oct 03 12:52:24 EDT 2025 Sat Nov 29 02:04:59 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | true |
| Issue | Proc. CompMod 2011 |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c256t-bcbbcfe948b5a758a05f67d98db4c94eaf597a0a6bc6afcf3be983f78084be5e3 |
| OpenAccessLink | https://doaj.org/article/c992e5bad10b4062b42e6c9b3fab39c6 |
| PageCount | 15 |
| ParticipantIDs | doaj_primary_oai_doaj_org_article_c992e5bad10b4062b42e6c9b3fab39c6 crossref_primary_10_4204_EPTCS_67_4 |
| PublicationCentury | 2000 |
| PublicationDate | 2011-09-10 |
| PublicationDateYYYYMMDD | 2011-09-10 |
| PublicationDate_xml | – month: 09 year: 2011 text: 2011-09-10 day: 10 |
| PublicationDecade | 2010 |
| PublicationTitle | Electronic proceedings in theoretical computer science |
| PublicationYear | 2011 |
| Publisher | Open Publishing Association |
| Publisher_xml | – name: Open Publishing Association |
| References | D.T. Gillespie (SB:Gillespie:1977:gillespieAlgorithm) 1977; 81 P.A. Abrahamsson (BIO:CANCER:Abrahamsson:2010:IASprostateCancerReview) 2010; 57 M.H.A. Davis (STOC:Davis:1993:PDMP) 1993 L. Bortolussi (PA:Bortolussi:2010:HybridDynamicsStochProg:TCS) 2010; 411 D. Skulj (StocSkulj2009ImpreciseMC) 2009; 50 A.R. Rao (BIO:CANCER:Rao:2008:PSAdiscovery) 2008; 101 P. Lecca (SB:Lecca:2011:TumorShrinkage) 2011 L. Bortolussi (SB:Bortolussi:2009:CompMod) 2009 F. Ciocchetta (SB:HillstonCiocchetta:2009:bioPEPA) 2009; 410 L. Bortolussi (SB:Bortolussi:2009:BioLogic) 2009 H. Hermanns (PA:Hermanns:2000:PAforPerformanceEvaluation) 2002; 274 F. Ciocchetta (SB:Ciocchetta:2009:BioPEPAevents) 2009; 11 C.J. Mode (PA:Mode:2005:SemiMarkovProcesses) 2005 G. Tanaka (SB:Aihara:2010:prostateRoyalSoc) 2010; 368 M. K. Brawer (BIO:CANCER:Brawer:2006:HormonalTherapyProstate) 2006; 8 S.K. Jha (SbZuliani2009BayesianStatisticalMC) 2009 D. Gillespie (SB:Gillespie:2000:ChemicalLangevinEquation) 2000; 113 T. L. Jackson (SB:Jackson:2004:prostateModelCAS) 2004; 4 L. Bortolussi (SB:Bortolussi:2008:BiomodelingSCCP:Journal) 2008; 13 T. Mazza (SB:Mazza:2009:TumorGrowthP) 2009; 227 J. R. Norris (STOC:Norris:1997:MarkovChains) 1997 L. Bortolussi (PA:Bortolussi:2009:SCCPandODEjournal) 2009; XI A.M. Ideta (SB:Aihara:2008:prostateIAS) 2008; 18 M. Bernardo (PA:Bernardo:1998:EMPAtcs) 1998; 202 D. J. Wilkinson (SB:Wilkinson:2006:StochasticModellingSB) 2006 M. Ajmone Marsan (PA:Balbo:1995:ModelingGSPN) 1995 F. Ciocchetta (SB:HillstonCiocchetta:2008:ProcessAlgebraSysBio) 2008 |
| References_xml | – volume: 8 year: 2006 ident: BIO:CANCER:Brawer:2006:HormonalTherapyProstate article-title: Hormonal Therapy for Prostate Cancer publication-title: Rev Urol – volume: 18 start-page: 593 year: 2008 ident: SB:Aihara:2008:prostateIAS article-title: A mathematical model of intermittent androgen suppression for prostate cancer publication-title: Nonlinear Science doi: 10.1007/s00332-008-9031-0 – volume: 50 start-page: 1314 issue: 8 year: 2009 ident: StocSkulj2009ImpreciseMC article-title: Discrete time Markov chains with interval probabilities publication-title: Int. J. Approx. Reasoning doi: 10.1016/j.ijar.2009.06.007 – volume-title: Stochastic Modelling for Systems Biology year: 2006 ident: SB:Wilkinson:2006:StochasticModellingSB doi: 10.1201/9781420010664 – volume: 202 year: 1998 ident: PA:Bernardo:1998:EMPAtcs article-title: A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time publication-title: Theoret. Comput. Sci. doi: 10.1016/S0304-3975(97)00127-8 – volume: 113 start-page: 297 issue: 1 year: 2000 ident: SB:Gillespie:2000:ChemicalLangevinEquation article-title: The chemical Langevin equation publication-title: Journal of Chemical Physics doi: 10.1063/1.481811 – volume: 11 start-page: 45 year: 2009 ident: SB:Ciocchetta:2009:BioPEPAevents article-title: Bio-PEPA with Events publication-title: T. Comp. Sys. Bio. doi: 10.1007/978-3-642-04186-0_3 – volume-title: Proc. of ICCABS year: 2011 ident: SB:Lecca:2011:TumorShrinkage article-title: Modelling the tumor shrinkage pharmacodynamics with BlenX doi: 10.1109/UKSIM.2011.24 – volume-title: Proc. of Bio-Logic year: 2009 ident: SB:Bortolussi:2009:BioLogic article-title: Tales of Spatiality in stochastic Concurrent Constraint Programming – start-page: 218 volume-title: Proc. of the CMSB year: 2009 ident: SbZuliani2009BayesianStatisticalMC article-title: A Bayesian Approach to Model Checking Biological Systems doi: 10.1007/978-3-642-03845-7_15 – volume: 411 issue: 20 year: 2010 ident: PA:Bortolussi:2010:HybridDynamicsStochProg:TCS article-title: Hybrid Dynamics of Stochastic Programs publication-title: Theor. Comp. Sc. doi: 10.1016/j.tcs.2010.02.008 – volume: 274 start-page: 43 year: 2002 ident: PA:Hermanns:2000:PAforPerformanceEvaluation article-title: Process algebra for performance evaluation publication-title: Theor. Comp. Sci. doi: 10.1016/S0304-3975(00)00305-4 – volume: XI year: 2009 ident: PA:Bortolussi:2009:SCCPandODEjournal article-title: Dynamical systems and stochastic programming — from Ordinary Differential Equations and back publication-title: T. Comp. Sys. Bio. doi: 10.1007/978-3-642-04186-0_11 – volume-title: Proc. of CompMod year: 2009 ident: SB:Bortolussi:2009:CompMod article-title: Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration doi: 10.4204/EPTCS.6.5 – volume: 410 year: 2009 ident: SB:HillstonCiocchetta:2009:bioPEPA article-title: Bio-PEPA: A framework for the modelling and analysis of biological systems publication-title: Theor. Comp. Sc. doi: 10.1016/j.tcs.2009.02.037 – volume-title: Markov Models and Optimization year: 1993 ident: STOC:Davis:1993:PDMP doi: 10.1007/978-1-4899-4483-2 – volume: 57 start-page: 49 year: 2010 ident: BIO:CANCER:Abrahamsson:2010:IASprostateCancerReview article-title: Potential benefits of intermittent androgen suppression therapy in the treatment of prostate cancer: a systematic review of literature. publication-title: Eur Urol doi: 10.1016/j.eururo.2009.07.049 – volume: 4 start-page: 187 year: 2004 ident: SB:Jackson:2004:prostateModelCAS article-title: A mathematical model of prostate tumor growth and androgen-independent relapse publication-title: Disc Cont Dyn Sys B doi: 10.3934/dcdsb.2004.4.187 – volume: 81 issue: 25 year: 1977 ident: SB:Gillespie:1977:gillespieAlgorithm article-title: Exact Stochastic Simulation of Coupled Chemical Reactions publication-title: J. of Phys. Chem. doi: 10.1021/j100540a008 – volume: 101 start-page: 5 year: 2008 ident: BIO:CANCER:Rao:2008:PSAdiscovery article-title: The discovery of Prostate-Specific Antigen publication-title: BJU Int. doi: 10.1111/j.1464-410X.2007.07138.x – volume: 368 start-page: 5029 year: 2010 ident: SB:Aihara:2010:prostateRoyalSoc article-title: Mathematical modelling of prostate cancer growth and its application to hormone therapy publication-title: Phyl Trans Royal Soc A doi: 10.1098/rsta.2010.0221 – volume-title: Modelling with Generalized Stochastic Petri Nets year: 1995 ident: PA:Balbo:1995:ModelingGSPN – volume-title: Semi-Markov Processes year: 2005 ident: PA:Mode:2005:SemiMarkovProcesses – volume-title: Markov Chains year: 1997 ident: STOC:Norris:1997:MarkovChains doi: 10.1017/CBO9780511810633 – volume: 13 issue: 1 year: 2008 ident: SB:Bortolussi:2008:BiomodelingSCCP:Journal article-title: Modeling Biological Systems in Concurrent Constraint Programming publication-title: Constraints doi: 10.1007/s10601-007-9034-8 – start-page: 265 volume-title: Formal methods for computational systems biology year: 2008 ident: SB:HillstonCiocchetta:2008:ProcessAlgebraSysBio doi: 10.1007/978-3-540-68894-5_8 – volume: 227 start-page: 127 year: 2009 ident: SB:Mazza:2009:TumorGrowthP article-title: Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins publication-title: Electron. Notes Theor. Comput. Sci. doi: 10.1016/j.entcs.2008.12.108 |
| SSID | ssj0000392496 |
| Score | 1.8204713 |
| Snippet | In this paper we propose a systematic approach to construct mathematical models describing populations of cancer-cells at different stages of disease... |
| SourceID | doaj crossref |
| SourceType | Open Website Index Database |
| StartPage | 19 |
| Title | Programmable models of growth and mutation of cancer-cell populations |
| URI | https://doaj.org/article/c992e5bad10b4062b42e6c9b3fab39c6 |
| Volume | 67 |
| WOSCitedRecordID | wos000219670900005&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: PRVAON databaseName: DOAJ Directory of Open Access Journals customDbUrl: eissn: 2075-2180 dateEnd: 20201231 omitProxy: false ssIdentifier: ssj0000392496 issn: 2075-2180 databaseCode: DOA dateStart: 20090101 isFulltext: true titleUrlDefault: https://www.doaj.org/ providerName: Directory of Open Access Journals – providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources customDbUrl: eissn: 2075-2180 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0000392496 issn: 2075-2180 databaseCode: M~E dateStart: 20090101 isFulltext: true titleUrlDefault: https://road.issn.org providerName: ISSN International Centre |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV07T8MwGLRQxcDCG1FesgSrWzdx4niEqhULVSWK1C3yExiaVm3KyG_ns51WZWJhyWBZUXRfkrvPce4QejBpzySOceKMs4S5niQKVDlJDPQCTlrtUhPCJvhoVEynYrwT9eX3hEV74AhcVwuR2ExJ06MKyCdRLLG5Fip1UqVCB7NtysVOMxXewanvK0KyHHAiAR6j0ZuUJZR1B-NJ_7WT8w77xUY7pv2BXYbH6LCRhfgxXs4J2rPVKTraRC7g5gk8Q4Nx3E8183884RBjs8Jzh9-hm64_sKwMnq3j13U_rH1Nl8SvzuPFNqprdY7ehoNJ_5k0SQhEgySpidJKaWcFK1QmQeFLmrmcG1EYxbRgVjroCySVudK5dICvsqJIHS9owZTNbHqBWtW8spcI-92DIDtgNgfpYZQEEss1tYBhZhOt2-h-g0i5iIYXJTQKHrcy4FbmvGRt9OTB2s7wJtVhAEpXNqUr_yrd1X-c5BodxGVeAYxyg1r1cm1v0b7-qj9Xy7twV8Dx5XvwA0PGv5Y |
| linkProvider | Directory of Open Access Journals |
| 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=Programmable+models+of+growth+and+mutation+of+cancer-cell+populations&rft.jtitle=Electronic+proceedings+in+theoretical+computer+science&rft.au=Luca+Bortolussi&rft.au=Alberto+Policriti&rft.date=2011-09-10&rft.pub=Open+Publishing+Association&rft.issn=2075-2180&rft.eissn=2075-2180&rft.volume=67&rft.issue=Proc.+CompMod+2011&rft.spage=19&rft.epage=33&rft_id=info:doi/10.4204%2FEPTCS.67.4&rft.externalDBID=DOA&rft.externalDocID=oai_doaj_org_article_c992e5bad10b4062b42e6c9b3fab39c6 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2075-2180&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2075-2180&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2075-2180&client=summon |