Use of logic theory in understanding regulatory pathway signaling in response to infection

Future Microbiology

Volumn 5, Issue 2, 2010, Pages 163-176

  Watterson, Steven ^a,b   Ghazal, Peter ^a,b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b CH Waddington Building   (United Kingdom)

Author keywords

Host pathogen; Immune response; Infection; Logic; Modeling; Pathway; Systems biology

Indexed keywords

JANUS KINASE; STAT PROTEIN;

ACCURACY; HOMEOSTASIS; HOST PATHOGEN INTERACTION; IMMUNE RESPONSE; IN VITRO STUDY; IN VIVO STUDY; INFECTION; LOGIC THEORY; NONHUMAN; PRIORITY JOURNAL; REVIEW; SIGNAL TRANSDUCTION; SYSTEMS BIOLOGY; THEORY;

GENE EXPRESSION REGULATION; HOST-PATHOGEN INTERACTIONS; HUMANS; INFECTION; SIGNAL TRANSDUCTION; SYSTEMS BIOLOGY;

EID: 77951106213     PISSN: 17460913     EISSN: None     Source Type: Journal    
DOI: 10.2217/fmb.10.8     Document Type: Review

References (52)

1. Fell D: Metabolic control analysis: a survey of its theoretical and experimental development. Biochem. J. 286, 313-330 (1992).
2. Kell D: Systems biology, metabolic modelling and metabolomics in drug discovery and development. Drug Discov. Today 11, 1085-1092 (2006).
3. Ratushnyi A, Likhoshvai V, Ignat'eva E et al.: A computer model of the gene network of the cholesterol biosynthesis regulation in the cell: analysis of the effect of mutations. Doklady Biochem. Biophys. 389, 90-93 (2003).
4. Ma A, Sorokin A, Mazein A et al.: The Edinburgh human metabolic network reconstruction and its functional analysis. Mol. Sys. Biol. 3, 135 (2007).
5. McAdams H, Arkin A: Stochastic mechanisms in gene expression. Proc. Natl Acad. Sci. USA 94, 814-819 (1997).
6. Arkin A, Ross J, McAdams H: Stochastic kinetic analysis of developmental pathway bifurcation in phage l-infected Escherichia coli cells. Genetics 149, 1633-1648 (1998).
7. Hofestadt R, Thelen S: Quantitative modelling of biochemical networks. In Silico Biol. 1, 39-53 (1998).
8. Küffner R, Zimmer R, Lengauer T: Pathway analysis in metabolic databases via differential metabolic display (DMD). Bioinformatics 16, 825-836 (2000).
9. Goss P, Peccoud J: Quantitative modelling of stochastic systems in molecular biology by using stochastic Petri Nets. Proc. Natl Acad. Sci. USA 95, 6750-6755 (1998).
10. Calder M, Gilmore S, Hillston J: Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. In: Transactions on Computational Systems Biology VII. Istrail S, Pevzner P, Waterman M (Eds). Springer Berlin/ Heidelberg, Germany, 1-23 (2006).
11. Regev A, Silverman W, Shapiro E: Representation and simulation of biochemical processes using the p-calculus process algebra. Pac. Symp. Biocomput. 459-470 (2001).
12. Danos V, Feret J, Fontana W, Harmer R, Krivine J: Rule-based modelling of cellular signalling. Presented at: Proceedings of the 18th International Conference on Concurrency Theory (CONCUR'07). Caires L, Vasconcelos, V (Eds), Lecture Notes in Computer Science (2007).
13. Faeder J, Blinov M, Hlavacek W: Graphical rule-based representation of signaltransduction networks. Proc. ACM Symp. Appl. Comp. 133-140 (2005).
14. Boole G: Mathematical analysis of logic. Being an essay towards a calculus of deductive reasoning. (1847), reprinted: Blackwell, Oxford, UK (1948).
15. Boole G: An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities. (1854) Reprinted: Dover Publications, New York, USA (1958).
16. Shannon C: A symbolic analysis of relay and switching circuits. Trans. AIEE 57, 713-722 (1938).
17. Kauffman S: Homeostasis and differentiation in random genetic control networks. Nature 224(5215), 177-178 (1969).
18. Kaufman M, Andris F, Leo O: A logical analysis of T cell activation and anergy. Proc. Natl Acad. Sci. USA 96(7), 3894-3899 (1999).
19. Laubenbacher R, Stigler B: A computational algebra approach to the reverse engineering of gene regulatory networks. J. Theor. Biol. 229(4), 523-537 (2004).
20. Shmulevich I, Dougherty E, Kim S, Zhang W: Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks. Bioinformatics 18(2), 261-274 (2002). (Pubitemid 34183104)
21. Watterson S, Marshall S, Ghazal P: Logic models of pathway biology. Drug Discov. Today 13(9/10), 447-456 (2008).
22. Samaga R, Saez-Rodriguez J, Alexopoulos L, Sorger P, Klamt S: The logic of EGFR/ErbB signaling: theoretical properties and analysis of high-throughput data. PLoS Comp. Biol. 5(8), E1000438 (2009).
23. Schlatter R, Schmich K, Vizcarra I et al.: ON/OFF and beyond - a Boolean model of apoptosis. PLoS Comp. Biol. 5(12), E1000595 (2009).
24. Zhang B, Shah M, Yang J et al.: Network model of survival signaling in large granular lymphocyte leukemia. Proc. Natl Acad. Sci. USA105(42), 16308-16313 (2008).
25. Shmulevich I, Dougherty E, Zhang W: From Boolean to probabilistic Boolean networks as models of genetic regulatory networks. Proc. IEEE 90(11), 1778-1792 (2002).
26. Cooper H, Hedges L: The Handbook of Research Synthesis. Russell Sage Foundation, NY, USA (1994).
27. Grimes G, Wen T, Mewissen M et al.: PDQ Wizard: automated prioritization and characterization of gene and protein lists using biomedical literature. Bioinformatics 22, 2055-2057 (2006).
28. Sorokin A, Paliy K, Selkov A et al.: The pathway editor: a tool for managing complex biological networks. IBM J. Res. Dev. 50, 561-573 (2006).
29. Funahashi A, Tanimura N, Morohashi M, Kitano H: Cell designer: a process diagram editor for gene-regulatory and biochemical networks. BIOSILICO 1, 159-162 (2003).
30. Hoops S, Sahle S, Gauges R et al.: COPASI - a complex pathway simulator. Bioinformatics 22, 3067-3074 (2006).
31. Le Novere N, Hucka M, Mi H: The systems biology graphical notation. Nat. Biotechnol. 27, 735-741 (2009).
32. Kitano H, Funahashi A, Matsuoka Y, Oda K: Using process diagrams for the graphical representation of biological networks. Nat. Biotechnol. 23(8), 961-966 (2005).
33. Kohn K: Molecular interaction map of the mammalian cell cycle control and DNA repair systems. Mol. Biol. Cell 10(8), 2703-2734 (1999).
34. Raza S, Robertson K, Lacaze P et al.: A logic-based diagram of signalling pathways central to macrophage activation. BMC Syst. Biol. 2, 36 (2008).
35. Bader G, Donaldson I, Wolting C: BIND - the biomolecular interaction network database. Nucleic Acids Res. 29(1), 242-245 (2001).
36. Hermjakob H, Montecchi-Palazzi L, Bader G et al.: The HUPO PSI's molecular interaction format - a community standard for the representation of protein interaction data. Nat. Biotechnol. 22, 177-183 (2004).
37. Joshi-Tope G, Gillespie M, Vastrik I et al.: Reactome: a knowledgebase of biological pathways, Nucleic Acids Res. 33, D428-D432 (2005).
38. Pico A, Kelder T, van Iersel M: WikiPathways: pathway editing for the people. PLoS Biol. 6(7), E184 (2008).
39. Oda K, Kimura T, Matsuoka Y, Muramatsu M, Kitano H: Molecular interaction map of macrophage. AfCS Res. Rep. 2(14), DA (2004).
40. Moodie S, Sorokin A, Ghazal P: A graphical notation to describe the logical interactions of biological pathways. J. Integr. Bioinform. 3(2), 36 (2006).
41. Hucka M, Finney A, Bornstein B et al.: Evolving a lingua franca and associated software infrastructure for computational systems biology: the systems biology markup language (SBML) project. IEE Syst. Biol. 1(1), 41-53 (2004).
42. Davis P, Rabinowitz P: Methods of Numerical Integration (2nd edition). Academic Press, NY, USA (1984).
43. Gillespie D: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340-2361 (1977).
44. Ghazal P, Garcia-Ramirez J, Gonzales-Armas JC, Kurz S, Angulo A: Principles of homeostasis in governing virus activation and latency. Immunol. Res. 21(2-3), 219-223 (2000).
45. Ghazal P, Gonzalez-Armas JC, Garcia-Ramirez JJ, Kurz S, Angulo A: Viruses: hostages to the cell. Virology 275(2), 233-237 (2000).
46. Virgin HW, Wherry EJ, Ahmed R: Redefining chronic viral infection. Cell 138(1), 30-50 (2009).
47. Huang S, Eichler G, Bar-Yam Y, Ingber D: Cell fates as high-dimensional attractor states of a complex gene regulatory network. Phys. Rev. Lett. 94, 128701 (2005).
48. Glass L, Pasternack J: Predictions of limit cycles in mathematical models of biological oscillations. Bull. Math. Biol. 40(1), 27-44 (1978). (Pubitemid 8292021)
49. Yan-Qian Y, Chi Y: Theory of Limit Cycles. Gould SH, Hale JK (Eds). American Mathematical Society, RI, USA (2009).
50. Turing A: On computable numbers with an application to the Entscheidungs problem. Proc. Lond. Math. Soc. 2(42), 230-265 (1937).
51. Goldin D, Wegner P: The Church-Turing thesis: breaking the myth. Lecture notes in computer science. Springer Berlin/Hamberg, Germany, 3526 (2005).
52. Yu L, Watterson S, Marshall S, Ghazal P: Inferring Boolean networks with perturbation from sparse gene expression data: a general model applied to the interferon regulatory network. Mol. Biosyst. 4, 1024-1030 (2008).