Boolean modeling in systems biology: An overview of methodology and applications

Physical Biology

Volumn 9, Issue 5, 2012, Pages

  Wang, Rui Sheng ^a   Saadatpour, Assieh ^a   Albert, Réka ^a  

^a PENNSYLVANIA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSCISIC ACID;

ARABIDOPSIS; BIOLOGICAL MODEL; GENE EXPRESSION REGULATION; GENE REGULATORY NETWORK; GENETICS; HIGH THROUGHPUT SCREENING; MATHEMATICAL COMPUTING; METABOLISM; METHODOLOGY; REVIEW; SIGNAL TRANSDUCTION; SYSTEMS BIOLOGY;

ABSCISIC ACID; ARABIDOPSIS; GENE EXPRESSION REGULATION, PLANT; GENE REGULATORY NETWORKS; HIGH-THROUGHPUT SCREENING ASSAYS; MATHEMATICAL COMPUTING; MODELS, BIOLOGICAL; SIGNAL TRANSDUCTION; SYSTEMS BIOLOGY;

EID: 84867272347     PISSN: 14783967     EISSN: 14783975     Source Type: Journal    
DOI: 10.1088/1478-3975/9/5/055001     Document Type: Review

References (106)

1. Abdi A, Tahoori M B and Emamian E S 2008 Fault diagnosis engineering of digital circuits can identify vulnerable molecules in complex cellular pathways Sci. Signal. 1 ra10
2. Akutsu T, Miyano S and Kuhara S 1999 Identification of genetic networks from a small number of gene expression patterns under the Boolean network model Pac. Symp. Biocomput. 4 17-28 PMID: 10380182
3. Akutsu T, Miyano S and Kuhara S 2000 Inferring qualitative relations in genetic networks and metabolic pathways Bioinformatics 16 727-34
4. Albert I, Thakar J, Li S, Zhang R and Albert R 2008 Boolean network simulations for life scientists Source Code Biol. Med. 3 16
5. Albert R 2007 Network inference, analysis, and modeling in systems biology Plant Cell 19 3327-38
6. Albert R, DasGupta B, Dondi R, Kachalo S, Sontag E, Zelikovsky A and Westbrooks K 2007 A novel method for signal transduction network inference from indirect experimental evidence J. Comput. Biol. 14 927-49 (Pubitemid 47427600)
7. Albert R, Dasgupta B and Sontag E 2010 Inference of signal transduction networks from double causal evidence Methods Mol. Biol. 673 239-51
8. Albert R and Othmer H G 2003 The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster J. Theor. Biol. 223 1-18 (Pubitemid 36627542)
9. Albert R and Wang R S 2009 Discrete dynamic modeling of cellular signaling networks Methods Enzymol. 467 281-306
10. Aldridge B B, Burke J M, Lauffenburger D A and Sorger P K 2006 Physicochemical modelling of cell signalling pathways Nature Cell Biol. 8 1195-203 (Pubitemid 44660581)
11. Aldridge B B, Saez-Rodriguez J, Muhlich J L, Sorger P K and Lauffenburger D A 2009 Fuzzy logic analysis of kinase pathway crosstalk in TNF/EGF/insulin-induced signaling PLoS Comput. Biol. 5 e1000340
12. Assmann S M and Albert R 2009 Discrete dynamic modeling with asynchronous update, or how to model complex systems in the absence of quantitative information Methods Mol. Biol. 553 207-25
13. Bansal M, Belcastro V, Ambesi-Impiombato A and di Bernardo D 2007 How to infer gene networks from expression profiles Mol. Syst. Biol. 3 78
14. Basso K, Margolin A A, Stolovitzky G, Klein U, Dalla-Favera R and Califano A 2005 Reverse engineering of regulatory networks in human B cells Nature Genet. 37 382-90
15. Bhalla U S and Iyengar R 1999 Emergent properties of networks of biological signaling pathways Science 283 381-7 (Pubitemid 29045289)
16. Bilke S and Sjunnesson F 2002 Stability of the Kauffman model Phys. Rev. E 65 016129 (Pubitemid 40599214)
17. Boole G 1848 The calculus of logic Camb. Dublin Math. J. 3 183-98
18. Bornholdt S 2008 Boolean network models of cellular regulation: prospects and limitations J. R. Soc. Interface 5 (Suppl. 1) S85-94 (Pubitemid 351915287)
19. Brown P O and Botstein D 1999 Exploring the new world of the genome with DNA microarrays Nature Genet. 21 33-7 (Pubitemid 29031489)
20. Campbell C, Yang S, Albert R and Shea K 2011 A network model for plant-pollinator community assembly Proc. Natl Acad. Sci. USA 108 197-202
21. Capaldi A P, Kaplan T, Liu Y, Habib N, Regev A, Friedman N and OShea E K 2008 Structure and function of a transcriptional network activated by the MAPK Hog1 Nature Genet. 40 1300-6
22. Chaouiya C 2007 Petri net modelling of biological networks Brief Bioinform. 8 210-9 (Pubitemid 47336806)
23. Chaves M, Albert R and Sontag E D 2005 Robustness and fragility of Boolean models for genetic regulatory networks J. Theor. Biol. 235 431-49 (Pubitemid 40693191)
24. Chaves M, Sontag E D and Albert R 2006 Methods of robustness analysis for Boolean models of gene control networks Syst. Biol. 153 154-67 (Pubitemid 44151476)
25. Chen L, Wang R, Li C and Aihara K 2010 Modelling Biomolecular Networks in Cells: Structures and Dynamics (London: Springer)
26. de Jong H, Geiselmann J, Hernandez C and Page M 2003 Genetic Network Analyzer: qualitative simulation of genetic regulatory networks Bioinformatics 19 336-44 (Pubitemid 36284933)
27. de Jong H, Gouze J L, Hernandez C, Page M, Sari T and Geiselmann J 2004 Qualitative simulation of genetic regulatory networks using piecewise-linear models Bull. Math. Biol. 66 301-40 (Pubitemid 38215331)
28. Di Cara A, Garg A, De Micheli G, Xenarios I and Mendoza L 2007 Dynamic simulation of regulatory networks using SQUAD BMC Bioinform. 8 462 (Pubitemid 351228650)
29. Dubrova E and Teslenko M 2011 A SAT-based algorithm for finding attractors in synchronous Boolean networks IEEE/ACM Trans. Comput. Biol. Bioinform. 8 1393-9
30. Farrow C, Heidel J, Maloney J and Rogers J 2004 Scalar equations for synchronous Boolean networks with biological applications IEEE Trans. Neural Netw. 15 348-54
31. Faure A, Naldi A, Chaouiya C and Thieffry D 2006 Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle Bioinformatics 22 e124-31 (Pubitemid 44288280)
32. Friedman D B 2007 Quantitative proteomics for two-dimensional gels using difference gel electrophoresis Methods Mol. Biol. 367 219-39 PMID: 17185779
33. Garg A, Di Cara A, Xenarios I, Mendoza L and De Micheli G 2008 Synchronous versus asynchronous modeling of gene regulatory networks Bioinformatics 24 1917-25
34. Giacomantonio C E and Goodhill G J 2010 A Boolean model of the gene regulatory network underlying mammalian cortical area development PLoS Comput. Biol. 6 e1000936
35. Glass L 1975 Classification of biological networks by their qualitative dynamics J. Theor. Biol. 54 85-107
36. Gonzalez A G, Naldi A, Sanchez L, Thieffry D and Chaouiya C 2006 GINsim: a software suite for the qualitative modelling, simulation and analysis of regulatory networks Biosystems 84 91-100 (Pubitemid 43670490)
37. Grinstead C and Snell J 1997 Introduction to Probability (Providence, RI: American Mathematical Society)
38. Gross L 2006 When evidence is scant, mathematical modeling offers a roadmap for discovery PLoS Biol. 4 e323
39. Hallikas O and Taipale J 2006 High-throughput assay for determining specificity and affinity of protein-DNA binding interactions Nature Protoc. 1 215-22
40. Harvey I and Bossomaier T 1997 Time out of joint: attractors in asynchronous random Boolean networks Proc. of the 4th European Conf. on Artificial Life (ECAL97) ed P Husbands and I Harvey (Cambridge, MA: MIT Press) pp 67-75
41. Heidel J, Maloney J, Farrow C and Rogers J 2003 Finding cycles in synchronous Boolean networks with applications to biochemical systems Int. J. Bifurcation Chaos 13 535-52 (Pubitemid 36591053)
42. Helikar T and Rogers J A 2009 ChemChains: a platform for simulation and analysis of biochemical networks aimed to laboratory scientists BMC Syst. Biol. 3 58
43. Hinkelmann F, Brandon M, Guang B, McNeill R, Blekherman G, Veliz-Cuba A and Laubenbacher R 2011 ADAM: analysis of discrete models of biological systems using computer algebra BMC Bioinform. 12 295
44. Jeong H, Mason S P, Barabasi A L and Oltvai Z N 2001 Lethality and centrality in protein networks Nature 411 41-2 (Pubitemid 32428180)
45. Jones A M and Assmann S M 2004 Plants: the latest model system for G-protein research EMBO Rep. 5 572-8 (Pubitemid 39136417)
46. Kachalo S, Zhang R, Sontag E, Albert R and DasGupta B 2008 NET-SYNTHESIS: a software for synthesis, inference and simplification of signal transduction networks Bioinformatics 24 293-5
47. Kahlem P and Birney E 2006 Dry work in a wet world: computation in systems biology Mol. Syst. Biol. 2 40 (Pubitemid 46061056)
48. Karlebach G and Shamir R 2008 Modelling and analysis of gene regulatory networks Nature Rev. Mol. Cell Biol. 9 770-80
49. Kauffman S A 1969 Metabolic stability and epigenesis in randomly constructed genetic nets J. Theor. Biol. 22 437-67
50. Kim J K, Bamba T, Harada K, Fukusaki E and Kobayashi A 2007 Time-course metabolic profiling in Arabidopsis thaliana cell cultures after salt stress treatment J. Exp. Bot. 58 415-24 (Pubitemid 46363188)
51. 2+ signaling Annu. Rev. Plant Biol. 61 561-91
52. Klamt S, Saez-Rodriguez J and Gilles E D 2007 Structural and functional analysis of cellular networks with CellNetAnalyzer, BMC Syst. Biol. 1 2
53. Klamt S, Saez-Rodriguez J, Lindquist J A, Simeoni L and Gilles E D 2006 A methodology for the structural and functional analysis of signaling and regulatory networks BMC Bioinform. 7 56
54. Kusano M et al 2011 Metabolomics reveals comprehensive reprogramming involving two independent metabolic responses of Arabidopsis to UV-B light Plant J. 67 354-69
55. Laubenbacher R and Stigler B 2004 A computational algebra approach to the reverse engineering of gene regulatory networks J. Theor. Biol. 229 523-37 (Pubitemid 38891616)
56. Lee T I et al 2002 Transcriptional regulatory networks in Saccharomyces cerevisiae Science 298 799-804 (Pubitemid 35231527)
57. Lee W P and Tzou W S 2009 Computational methods for discovering gene networks from expression data Brief Bioinform. 10 408-23
58. Li F, Long T, Lu Y, Ouyang Q and Tang C 2004 The yeast cell-cycle network is robustly designed Proc. Natl Acad. Sci. USA 101 4781-6 (Pubitemid 38469154)
59. Li S, Assmann S M and Albert R 2006 Predicting essential components of signal transduction networks: a dynamic model of guard cell abscisic acid signaling PLoS Biol. 4 e312 (Pubitemid 44610093)
60. Liang S, Fuhrman S and Somogyi R 1998 Reveal, a general reverse engineering algorithm for inference of genetic network architectures Pac. Symp. Biocomput. 3 18-29 PMID: 9697168
61. Liu W, Li D, Zhang J, Zhu Y and He F 2006 SigFlux: a novel network feature to evaluate the importance of proteins in signal transduction networks BMC Bioinform. 7 515 (Pubitemid 44857659)
62. Martin S, Zhang Z, Martino A and Faulon J L 2007 Boolean dynamics of genetic regulatory networks inferred from microarray time series data Bioinformatics 23 866-74 (Pubitemid 47049921)
63. Morris A J and Malbon C C 1999 Physiological regulation of G protein-linked signaling Physiol. Rev. 79 1373-430 PMID: 10508237 (Pubitemid 29473319)
64. Morris M K, Saez-Rodriguez J, Clarke D C, Sorger P K and Lauffenburger D A 2011 Training signaling pathway maps to biochemical data with constrained fuzzy logic: quantitative analysis of liver cell responses to inflammatory stimuli PLoS Comput. Biol. 7 e1001099
65. Morris M K, Saez-Rodriguez J, Sorger P K and Lauffenburger D A 2010 Logic-based models for the analysis of cell signaling networks Biochemistry 49 3216-24
66. Mortazavi A, Williams B A, McCue K, Schaeffer L and Wold B 2008 Mapping and quantifying mammalian transcriptomes by RNA-Seq Nature Methods 5 621-8 (Pubitemid 351911867)
67. Mussel C, Hopfensitz M and Kestler H A 2010 BoolNet - an R package for generation, reconstruction and analysis of Boolean networks Bioinformatics 26 1378-80
68. Naldi A, Remy E, Thieffry D and Chaouiya C 2011 Dynamically consistent reduction of logical regulatory graphs Theor. Comput. Sci. 412 2207-18
69. Olsen J V, Blagoev B, Gnad F, Macek B, Kumar C, Mortensen P and Mann M 2006 Global, in vivo, and site-specific phosphorylation dynamics in signaling networks Cell 127 635-48 (Pubitemid 44647421)
70. Ong S E, Foster L J and Mann M 2003 Mass spectrometric-based approaches in quantitative proteomics Methods 29 124-30 (Pubitemid 36269199)
71. Pandey S, Wang R S, Wilson L, Li S, Zhao Z, Gookin T E, Assmann S M and Albert R 2010 Boolean modeling of transcriptome data reveals novel modes of heterotrimeric G-protein action Mol. Syst. Biol. 6 372
72. Papin J A, Hunter T, Palsson B O and Subramaniam S 2005 Reconstruction of cellular signalling networks and analysis of their properties Nature Rev. Mol. Cell Biol. 6 99-111 (Pubitemid 40215806)
73. Peng S C, Wong D S, Tung K C, Chen Y Y, Chao C C, Peng C H, Chuang Y J and Tang C Y 2010 Computational modeling with forward and reverse engineering links signaling network and genomic regulatory responses: NF-κB signaling-induced gene expression responses in inflammation BMC Bioinform. 11 308
74. Potapov A P, Goemann B and Wingender E 2008 The pairwise disconnectivity index as a new metric for the topological analysis of regulatory networks BMC Bioinform. 9 227 (Pubitemid 351757103)
75. Richardson K A 2005 Simplifying Boolean networks Adv. Complex Syst. 8 365-81 (Pubitemid 43062475)
76. Ruths D, Muller M, Tseng J T, Nakhleh L and Ram P T 2008 The signaling petri net-based simulator: a non-parametric strategy for characterizing the dynamics of cell-specific signaling networks PLoS Comput. Biol. 4 e1000005 (Pubitemid 351328492)
77. Saadatpour A, Albert I and Albert R 2010 Attractor analysis of asynchronous Boolean models of signal transduction networks J. Theor. Biol. 266 641-56
78. Saadatpour A, Wang R S, Liao A, Liu X, Loughran T P, Albert I and Albert R 2011 Dynamical and structural analysis of a T cell survival network identifies novel candidate therapeutic targets for large granular lymphocyte leukemia PLoS Comput. Biol. 7 e1002267
79. Saez-Rodriguez J, Alexopoulos L G, Epperlein J, Samaga R, Lauffenburger D A, Klamt S and Sorger P K 2009 Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction Mol. Syst. Biol. 5 331
80. Saez-Rodriguez J, Alexopoulos L G, Zhang M, Morris M K, Lauffenburger D A and Sorger P K 2011 Comparing signaling networks between normal and transformed hepatocytes using discrete logical models Cancer Res. 71 5400-11
81. Saez-Rodriguez J et al 2007 A logical model provides insights into T cell receptor signaling PLoS Comput. Biol. 3 e163 (Pubitemid 47358065)
82. Samaga R, Saez-Rodriguez J, Alexopoulos L G, Sorger P K and Klamt S 2009 The logic of EGFR/ErbB signaling: theoretical properties and analysis of high-throughput data PLoS Comput. Biol. 5 e1000438
83. Samaga R, Von Kamp A and Klamt S 2010 Computing combinatorial intervention strategies and failure modes in signaling networks J. Comput. Biol. 17 39-53
84. Schlatter R, Philippi N, Wangorsch G, Pick R, Sawodny O, Borner C, Timmer J, Ederer M and Dandekar T 2012 Integration of Boolean models exemplified on hepatocyte signal transduction Brief Bioinform. 13 365-76 PMID: 22016404
85. Schlatter R, Schmich K, Avalos Vizcarra I, Scheurich P, Sauter T, Borner C, Ederer M, Merfort I and Sawodny O 2009 ON/OFF and beyond - a boolean model of apoptosis PLoS Comput. Biol. 5 e1000595
86. Shmulevich I, Dougherty E R, Kim S and Zhang W 2002 Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks Bioinformatics 18 261-74 (Pubitemid 34183104)
87. Skodawessely T and Klemm K 2011 Finding attractors in asynchronous Boolean dynamics Adv. Complex Syst. 14 439-49
88. Sobie E A, Lee Y S, Jenkins S L and Iyengar R 2011 Systems biology - biomedical modeling Sci. Signal. 4 tr2
89. Srividhya J, Crampin E J, McSharry P E and Schnell S 2007 Reconstructing biochemical pathways from time course data Proteomics 7 828-38 (Pubitemid 46506730)
90. Stelling J, Klamt S, Bettenbrock K, Schuster S and Gilles E D 2002 Metabolic network structure determines key aspects of functionality and regulation Nature 420 190-3 (Pubitemid 35340124)
91. Thakar J and Albert R 2010 Boolean models of within-host immune interactions Curr. Opin. Microbiol. 13 377-81
92. Thakar J, Pilione M, Kirimanjeswara G, Harvill E T and Albert R 2007 Modeling systems-level regulation of host immune responses PLoS Comput. Biol. 3 e109 (Pubitemid 47015838)
93. Thakar J, Saadatpour-Moghaddam A, Harvill E T and Albert R 2009 Constraint-based network model of pathogen-immune system interactions J. R. Soc. Interface 6 599-612
94. Thomas R 1973 Boolean formalization of genetic control circuits J. Theor. Biol. 42 563-85
95. Tong A H et al 2004 Global mapping of the yeast genetic interaction network Science 303 808-13 (Pubitemid 38174652)
96. Veliz-Cuba A 2011 Reduction of Boolean network models J. Theor. Biol. 289 167-72
97. von Dassow G, Meir E, Munro E M and Odell G M 2000 The segment polarity network is a robust developmental module Nature 406 188-92 (Pubitemid 30469001)
98. Walsh E R, Thakar J, Stokes K, Huang F, Albert R and August A 2011 Computational and experimental analysis reveals a requirement for eosinophil-derived IL-13 for the development of allergic airway responses in C57BL/6 mice J. Immunol. 186 2936-49
99. Wang R S and Albert R 2011 Elementary signaling modes predict the essentiality of signal transduction network components BMC Syst. Biol. 5 44
100. Watterson S, Marshall S and Ghazal P 2008 Logic models of pathway biology Drug. Discov. Today 13 447-56
101. Wittmann D M, Krumsiek J, Saez-Rodriguez J, Lauffenburger D A, Klamt S and Theis F J 2009 Transforming Boolean models to continuous models: methodology and application to T-cell receptor signaling BMC Syst. Biol. 3 98
102. Yu H et al 2008 High-quality binary protein interaction map of the yeast interactome network Science 322 104-10
103. Zhang R, Shah M V, Yang J, Nyland S B, Liu X, Yun J K, Albert R and Loughran T P Jr 2008 Network model of survival signaling in large granular lymphocyte leukemia Proc. Natl Acad. Sci. USA 105 16308-13
104. Zhao Q 2005 A remark on scalar equations for synchronous Boolean networks with biological applications by C Farrow, J Heidel, J Maloney, and J Rogers IEEE Trans. Neural Netw. 16 1715-6 (Pubitemid 41709667)
105. Zhao Z, Zhang W, Stanley B A and Assmann S M 2008 Functional proteomics of Arabidopsis thaliana guard cells uncovers new stomatal signaling pathways Plant Cell 20 3210-26
106. Zheng J, Zhang D, Przytycki P F, Zielinski R, Capala J and Przytycka T M 2010 SimBoolNet - a Cytoscape plugin for dynamic simulation of signaling networks Bioinformatics 26 141-2