Biological pathways as communicating computer systems

Journal of Cell Science

Volumn 122, Issue 16, 2009, Pages 2793-2800

  Kwiatkowska, Marta Z ^a   Heath, John K ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

Computation; Modelling; Pathway

Indexed keywords

FIBROBLAST GROWTH FACTOR; MITOGEN ACTIVATED PROTEIN KINASE; NOTCH RECEPTOR; RAF PROTEIN; RAS PROTEIN;

ARTICLE; BIOTECHNOLOGY; CASE STUDY; CELL FATE; COMPUTER PROGRAM; COMPUTER SYSTEM; CYTOLOGY; EXPERIMENTAL DESIGN; HUMAN; INFORMATION PROCESSING; MASS COMMUNICATION; MOBILE PHONE; MOLECULAR DYNAMICS; MOLECULAR MODEL; NONHUMAN; PRIORITY JOURNAL; PROTEIN ANALYSIS; SIGNAL TRANSDUCTION; WEB BROWSER; BIOLOGICAL MODEL; BIOLOGY; CELL COMMUNICATION; COMPUTER SIMULATION;

CELL COMMUNICATION; COMPUTATIONAL BIOLOGY; COMPUTER SIMULATION; COMPUTER SYSTEMS; MODELS, BIOLOGICAL; SIGNAL TRANSDUCTION;

EID: 70349463412     PISSN: 00219533     EISSN: None     Source Type: Journal    
DOI: 10.1242/jcs.039701     Document Type: Article

References (42)

1. Albeck, J. G., MacBeath, G., White, F. M., Sorger, P. K., Lauffenburger, D. A. and Gaudet, S. (2006). Collecting and organizing systematic sets of protein data. Nat. Rev. Mol. Cell Biol. 7, 803-812.
2. Calder, M., Duguid, A., Gilmore, S. and Hillston, J. (2006a). Stronger computational modelling of signalling pathways using both continuous and discrete-state methods. In Computational Methods in Systems Biology (Lecture Notes in Computer Science, Vol. 4210) (ed. C. Priami), pp. 63-77. Berlin: Springer.
3. Calder, M., Gilmore, S. and Hillston, J. (2006b). Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. Trans. Comput. Syst. Biol. VII 4230, 1-23.
4. Ciocchetta, F. and Hillston, J. (2008). Bio-PEPA: an extension of the process algebra PEPA for biochemical networks. Electr. Notes Theor. Comput. Sci. 194, 103-117.
5. 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.
6. Clarke, E. M., Grumberg, O. and Peled, D. (1999). Model Checking. Cambridge, MA: MIT Press.
7. Cohen, I. R. and Harel, D. (2007). Explaining a complex living system: dynamics, multiscaling and emergence. J. R. Soc. Interface 4, 175-182.
8. Danos, V., Feret, J., Fontana, W., Harmer, R. and Krivine, J. (2007). Rule-based modelling of cellular signalling. In Concur 2007 (Lecture Notes in Computer Science, Vol. 4703), pp. 17-41. Berlin: Springer.
9. Dematte, L., Priami, C. and Romanel, A. (2008). The Beta Workbench: a tool to study the dynamics of biological systems. Brief. Bioinformatics 9, 437-449.
10. Deutscher, D., Meilijson, I., Schuster, S. and Ruppin, E. (2008). Can single knockouts accurately single out gene functions? BMC Syst. Biol. 2, 50.
11. Fisher, J. and Henzinger, T. A. (2007). Executable cell biology. Nat. Biotechnol. 25, 1239-1249.
12. 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.
13. Fisher, J., Piterman, N., Hajnal, A. and Henzinger, T. A. (2007). Predictive modeling of signaling crosstalk during C. elegans vulval development. PLoS Comput. Biol. 3, e92.
14. Gaffney, E., Heath, J. K. and Kwiatkowska, M. Z. (2008). A mass action model of a fibroblast growth factor signaling pathway and its simplification. Bull. Math. Biol. 70, 2229-2263.
15. Gerhart, J. and Kirschner, M. (2007). The theory of facilitated variation. Proc. Natl. Acad. Sci. USA 104 Suppl. 1, 8582-8589.
16. Gillespie, D. T. (1977). Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81, 2340-2361.
17. Guerriero, M. L., Heath, J. K. and Priami, C. (2007). An automated translation from a narrative language for biological modeling into process algebra. In Computational Methods in Systems Biology (Lecture Notes in Computer Science, Vol. 4695) (ed. M. Calder and S. Gilmore), pp. 136-151. Berlin: Springer.
18. 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.
19. Han, T., Katoen, J. P. and Mereacre, A. (2008). Approximate parameter synthesis for probabilistic time-bounded reachability. In Proceedings of the Real-Time Systems Symposium (RTSS), pp. 173-182. Piscataway, NJ: IEEE.
20. Hanafusa, H., Torii, S., Yasunaga, T., Matsumoto, K. and Nishida, E. (2004). Shp2, an SH2-containing protein-tyrosine phosphatase, positively regulates receptor tyrosine kinase signaling by dephosphorylating and inactivating the inhibitor Sprouty. J. Biol. Chem. 279, 22992-22995.
21. Harel, D. (1987). Statecharts: a visual formalism for complex systems. Sci. Comput. Program 8, 231-274.
22. Harel, D. (2005). A Turing-like test for biological modeling. Nat. Biotechnol. 23, 495-496.
23. Heath, J., Kwiatkowska, M., Norman, G., Parker, D. and Tymchyshyn, O. (2007). Probabilistic model checking of complex biological pathways. Theor. Comput. Sci. 391, 239-257.
24. Hillston, J. (1996). A Compositional Approach to Performance Modelling. Cambridge: Cambridge University Press.
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. et al. (2003). The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 19, 524-531.
26. Hunt, C. A., Ropella, G. E., Park, S. and Engeleberg, J. (2008). Dichotomies between computational and mathematical models. Nat. Biotechnol. 26, 737-738.
27. Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O., Heath, J. and Gaffney, E. (2006). Simulation and verification for computational modelling of signalling pathways. In Proceedings of the Winter Simulation Symposium on Modelling and Simulation in Systems Biology, pp. 1666-1674. Piscataway, NJ: IEEE.
28. Kwiatkowska, M., Norman, G. and Parker, D. (2007). Stochastic model checking. In Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2007 Advanced Lecture Notes in Computer Science, Vol. 4486) (ed. M. Bernardo and J. Hillston), pp. 220-270. Berlin: Springer.
29. McGary, K. L., Lee, I. and Marcotte, E. M. (2007). Broad network-based predictability of Saccharomyces cerevisiae gene loss-of-function phenotypes. Genome Biol. 8, R258.
30. Milner, R. (1999). Communicating and Mobile Systems: The Pi-calculus. Cambridge: Cambridge University Press.
31. Milner, R., Parrow, J. and Walker, D. (1992). A calculus of mobile processes, Pts 1 and 2. Inf. Comput. 100, 1-40.
32. Pico, A. R., Kelder, T., van Iersel, M. P., Hanspers, K., Conklin, B. R. and Evelo, C. (2008). WikiPathways: pathway editing for the people. PLoS Biol. 6, 1403-1407.
33. Priami, C. (2009). Algorithmic systems biology: an opportunity for computer science. Commun. ACM 52, 80-88.
34. Priami, C. and Quaglia, P. (2005). Beta binders for biological interactions. In Computational Methods in Systems Biology (Lecture Notes in Computer Science, Vol. 3082) (ed. D. Vincent and S. Vincent), pp. 20-33. Berlin: Springer.
35. Priami, C., Regev, A., Shapiro, E. and Silverman, W. (2001). Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf. Process. Letters 80, 25-31.
36. Regev, A. and Shapiro, E. (2002). Cells as computation. Nature 419, 343.
37. Regev, A., Silverman, W. and Shapiro, E. (2001). Representation and simulation of biochemical processes using the pi-calculus process algebra. Pac. Symp. Biocomput. 2001, 459-470.
38. Regev, A., Panina, E. M., Silverman, W., Cardelli, L. and Shapiro, E. (2004). Bioambients: an abstraction for biological compartments. Theor. Comput. Sci. 2004, 141-167.
39. Sandilands, E., Akbarzadeh, S., Vecchione, A., McEwan, D. G., Frame, M. C. and Heath, J. K. (2007). Src kinase modulates the activation, transport and signalling dynamics of fibroblast growth factor receptors. EMBO Rep. 8, 1162-1169.
40. Sternberg, P. W. and Horvitz, H. R. (1989). The combined action of two intercellular signaling pathways specifies three cell fates during vulval induction in C. elegans. Cell 58, 679-693.
41. Tymchyshyn, O. and Kwiatkowska, M. (2008). Combining intra- and inter-cellular dynamics to investigate intestinal homeostasis. In Proceedings of First International Workshop in Formal Methods in Systems Biology, pp. 63-76. Berlin: Springer.
42. Wang, Z. and Zhang, J. (2007). In search of the biological significance of modular structures in protein networks. PLoS Comput. Biol. 3, 1011-1021.