Computational modeling of biological pathways by executable biology

Methods in Enzymology

Volumn 487, Issue C, 2011, Pages 217-251

  Guerriero, Maria Luisa ^a   Heath, John K ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

GLYCOPROTEIN GP 130; JANUS KINASE; STAT PROTEIN; TRANSCRIPTION FACTOR CLOCK;

ALGORITHM; ARTICLE; BIOLOGY; CIRCADIAN RHYTHM; COMPUTER LANGUAGE; COMPUTER PROGRAM; COMPUTER SIMULATION; HUMAN; MATHEMATICAL MODEL; MATHEMATICS; NONHUMAN; PARAMETER; PRIORITY JOURNAL;

EID: 78650893581     PISSN: 00766879     EISSN: None     Source Type: Book Series    
DOI: 10.1016/B978-0-12-381270-4.00008-1     Document Type: Chapter

References (54)

1. Akman, O. E., Ciocchetta, F., Degasperi, A., and Guerriero, M. L. (2009). Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora Crassa Circadian Network, Proc. of CMSB'09. Springer, Berlin, 52-67.
2. Akman, O. E., Guerriero, M. L., Loewe, L., and Troein, C. (2010a). Complementary approaches to understanding the plant circadian clock, Proc. of FBTC'10. Cyprus, 1-19.
3. Akman, O. E., Rand, D. A., Brown, P. E., and Millar, A. J. (2010b). Robustness from flexibility in the fungal circadian clock. BMC Syst. Biol. 4, 88.
4. Aldridge, B. B., Burke, J. M., Lauffenburger, D. A., and Sorger, P. K. (2006). Physicochemical modelling of cell signalling pathways. Nat. Cell Biol. 8, 1195-1203.
5. Ballarini, P., and Guerriero, M. L. (2010). Query-based verification of qualitative trends and oscillations in biochemical systems. Theor. Comput. Sci. 411, 2019-2036.
6. BetaWB Home Page. http://www.cosbi.eu/index.php/research/prototypes/beta- wb. BioModels Database. http://www.ebi.ac.uk/biomodels. Bio-PEPA Home Page. http://www.biopepa.org/. BioSPI Home Page. http://www.wisdom.weizmann.ac.il/ biopsi. Cell Designer Home Page. .ast;http://celldesigner.org.
7. Ciocchetta, F., and Hillston, J. (2009). Bio-PEPA: A framework for the modelling and analysis of biological systems. Theor. Comput. Sci. 410, 3065-3084.
8. Ciocchetta, F., Priami, C., and Quaglia, P. (2008). An automatic translation of SBML into Beta-binders. IEEE/ACM Trans. Comput. Biol. Bioinform. 5, 80-90.
9. Clark, A., Gilmore, S., Guerriero, M. L., and Kemper, P. (2010). On Verifying Bio-PEPA Models, Proc. of CMSB'10. ACM, 23-32.
10. Clarke, E. M., Grumberg, O., and Peled, D. (1999). Model Checking. MIT Press, Cambridge, MA. COPASI Home Page. .ast;http://www.copasi.org.
11. Danos, V., and Laneve, C. (2004). Formal molecular biology. Theor. Comput. Sci. 325, 69-110.
12. Duguid, A., Gilmore, S., Guerriero, M. L., Hillston, J., and Loewe, L. (2009). Design and Development of Software Tools for Bio-PEPA, Proc. of WSC'09. IEEE Press 956-967.
13. Eccher, C., and Priami, C. (2006). Design and implementation of a tool for translating SBML into the biochemical stochastic p-calculus. Bioinformatics 22, 3075-3081.
14. Edinburgh Pathway Editor Home Page. .ast;http://www.bioinformatics.ed.ac. uk/epe.
15. Fisher, J., and Henzinger, T. A. (2007). Executable cell biology. Nat. Biotechnol. 25, 1239-1249.
16. Fisher, J., Piterman, N., Hubbard, E. J., Stern, M. J., and Harel, D. (2005). Computational insights into Caenorhabditis elegans vulval development. Proc. Natl. Acad. Sci. USA 102, 1951-1956.
17. Funahashi, A., Morohashi, M., Kitano, H., and Tanimura, N. (2003). Cell designer: A process diagram editor for gene-regulatory and biochemical networks. BIOSILICO 1, 159-162.
18. Gillespie, D. T. (1977). Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81, 2340-2361.
19. Guerriero, M. L. (2009). Qualitative and quantitative analysis of a Bio-PEPA model of the Gp130/JAK/STAT signalling pathway. Trans. Comput. Syst. Biol. XI 5750, 90-115.
20. Guerriero, M. L., Heath, J. K., and Priami, C. (2007). An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra, Proceedings of Computational Methods in Systems Biology (CMSB'07). Springer136-151.
21. Guerriero, M. L., Dudka, A., Underhill-Day, N., Heath, J. K., and Priami, C. (2009). Narrative-based computational modelling of the Gp130/JAK/STAT signalling pathway. BMC Syst. Biol. 3, 40.
22. Harel, D. (1987). Statecharts: A visual formalism for complex systems. Sci. Comput. Program. 8, 231-274.
23. Heath, J. K. (2009). The Equivalence Between Biology and Computation, Proc. of CMSB'09. Springer, Berlin, pp. 18-25.
24. Heiner, M., Gilbert, D., and Donaldson, R. (2008). Petri Nets for Systems and Synthetic Biology, SFM'08. Springer, Berlin, pp. 215-264.
25. Hucka, M., Finney, A., Sauro, H. M., Bolouri, H., Doyle, J. C., Kitano, H., Arkin, A. P., Bornstein, B. J., Bray, D., Cornish-Bowden, A., Cuellar, A. A., Dronov, S., et al. (2003). The Systems Biology Markup Language (SBML): A medium for representation and exchange of biochemical network models. Bioinformatics 19, 524-531.
26. Janes, K. A., and Yaffe, M. B. (2006). Data-driven modelling of signal-transduction networks. Nat. Rev. Mol. Cell Biol. 7, 820-828.
27. Kahramanogu? llari, O., Cardelli, L., and Caron, E. (2009). An intuitive automated modelling interface for systems biology. Proc. of DCM'09, pp. 73-86.
28. KEGG. http://www.genome.jp/kegg/. Kohn, K. W. (1999). Molecular interaction map of the mammalian cell cycle control and DNA repair systems. Mol. Biol. Cell 10, 2703-2734.
29. Kugler, H., Larjo, A., and Harel, D. (2010). Biocharts: A visual formalism for complex biological systems. J. R. Soc. Interface 7, 1015-1024.
30. Kwiatkowska, M. Z., and Heath, J. K. (2009). Biological pathways as communicating computer systems. J. Cell Sci. 122, 2793-2800.
31. Kwiatkowska, M., Norman, G., and Parker, D. (2002). PRISM: Probabilistic symbolic model checker. Proc. of Conference on Modelling Tools and Techniques for Computer and Communication Systems Performance Evaluation, pp. 200-204.
32. Mahdavi, A., Davey, R. E., Bhola, P., Yin, T., and Zandstra, P. W. (2007). Sensitivity analysis of intracellular signaling pathway kinetics predicts targets for stem cell fate control. PLoS Comput. Biol. 3, 1257-1267.
33. MATLAB http://www.mathworks.com. Milner, R. (1989). Communication and Concurrency. Prentice-Hall.
34. Milner, R. (1999). Communicating and Mobile Systems: The p-Calculus. Cambridge Universtity Press. N2BB Home Page. http://homepages.inf.ed.ac.uk/ mguerrie/sw/N2BB/.
35. Nielson, F., Nielson, H., Priami, C., and Rosa, D. (2007). Control flow analysis for BioAmbients. ENTCS 180, 65-79.
36. Pa?un, G. (2002). Membrane Computing: An Introduction. Springer-Verlag, New York.
37. Peleg, M., Yeh, I., and Altman, R. (2002). Modeling biological processes using workflow and Petri net models. Bioinformatics 18, 825-837.
38. Petri Nets World. http://www.informatik.uni-hamburg.de/TGI/PetriNets/.
39. Phillips, A., Cardelli, L., and Castagna, G. (2006). A graphical representation for biological processes in the stochastic pi-calculus. Trans. Comput. Syst. Biol. 4230, 123-152.
40. Pilegaard, H., Nielson, F., and Nielson, H. R. (2008). Pathway analysis for BioAmbients. J. Log. Algebraic Program. 77, 92-130.
41. Priami, C. (2009). Algorithmic systems biology an opportunity for computer science. Commun. ACM 52, 80-88.
42. Priami, C., and Quaglia, P. (2005). Operational patterns in Beta-binders. Trans. Comput. Syst. Biol. 1, 50-65.
43. Priami, C., Regev, A., Silverman, W., and Shapiro, E. (2001). Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf. Process. Lett. 80, 25-31.
44. Priami, C., Ballarini, P., and Quaglia, P. (2009). BlenX4Bio-BlenX for Biologists, Proc. of CMSB'09. Springer, Berlin, pp. 26-51.
45. PRISM Home Page. http://www.prismmodelchecker.org. Regev, A., and Shapiro, E. (2002). Cells as computation. Nature 419, 343.
46. Regev, A., Silverman, W., and Shapiro, E. (2001). Representation and simulation of biochemical processes using the p-calculus process algebra. Proceedings of Pacific Symposium on Biocomputing (PSB'01), pp. 459-470.
47. Regev, A., Panina, E. M., Silverman,W.,Cardelli, L., and Shapiro, E. Y. (2004). BioAmbients: An abstraction for biological compartments. Theor. Comput. Sci. 325, 141-167.
48. Reisig, W. (1985). Petri Nets: An Introduction. Springer-Verlag, New York. RuleBase. http://www.rulebase.org/. SBGN Home Page http://www.sbgn.org. SBML Home Page .ast;http://www.sbml.org.
49. Setty, Y., Cohen, I. R., Dor, Y., and Harel, D. (2008). Four-dimensional realistic modeling of pancreatic organogenesis. Proc. Natl. Acad. Sci. USA 105, 20374-20379.
50. Singh, A., Jayaraman, A., and Hahn, J. (2006). Modeling regulatory mechanisms in IL-6 transduction in hepatocytes. Biotechnol. Bioeng. 95, 850-862. (Pubitemid 44863203)
51. Sorokin, A., Paliy, K., Selkov, A., Demin, O. V., Dronov, S., Ghazal, P., and Goryanin, I. (2006). The Pathway editor: A tool for managing complex biological networks. IBM J. Res. Dev. 50, 561-576. Stochastic Pi Machine Home Page. http://research.microsoft.com/en-us/projects/spim/.
52. Swameye, I., Müller, T. G., Timmer, J., Sandra, O., and Klingmüller, U. (2003). Identification of nucleocytoplasmic cycling as a remote sensor in cellular signaling by databased modeling. PNAS 100, 1028-1033. The BioAmbients Machine Home Page. http://aesop.doc.ic.ac.uk/tools/bam/. The P Systems Webpage. http://ppage.psystems.eu/.
53. Tymchyshyn, O., and Kwiatkowska, M. (2008). Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis, Formal Methods in Systems Biology. Springer, Berlin, pp. 63-76. VirtualCell Home Page. http://vcell.org/.
54. Vyshemirsky, V., and Girolami, M. A. (2007). Bayesian ranking of biochemical system models. Bioinformatics 24, 833-839.