Cooperative development of logical modelling standards and tools with CoLoMoTo

Bioinformatics

Volumn 31, Issue 7, 2015, Pages 1154-1159

  Naldi, Aurélien ^a   Monteiro, Pedro T ^b,c   Müssel, Christoph ^d   Kestler, Hans A ^d,e,f   Thieffry, Denis ^g   Xenarios, Ioannis ^a,h   Saez Rodriguez, Julio ⁱ   Helikar, Tomas ^j   Chaouiya, Claudine ^c   Albert, Reka ^k   Barberis, Matteo ^k   Calzone, Laurence ^k   Chasapi, Anastasia ^k   Cokelaer, Thomas ^k   Crespo, Isaac ^k   Dorier, Julien ^k   Dräger, Andreas ^k   Hernandez, Céline ^k   Hucka, Michael ^k   De Jong, Hidde ^k   Keating, Sarah M ^k   Klamt, Steffen ^k   Klarner, Hannes ^k   Laubenbacher, Reinhard ^k   Le Novère, Nicolas ^k   Niknejad, Anne ^k   Rodriguez, Nicolas ^k   Siebert, Heike ^k   Stoll, Gautier ^k   Zañudo , Jorge G T ^k   more..

^a UNIVERSITY OF LAUSANNE   (Switzerland)

^b INESC ID   (Portugal)

^c INSTITUTO GULBENKIAN DE CIÊNCIA   (Portugal)

^d UNIVERSITY OF ULM   (Germany)

^e FRIEDRICH SCHILLER UNIVERSITY JENA   (Germany)

^f FRITZ LIPMANN INSTITUTE   (Germany)

^g CNRS   (France)

^h SWISS INSTITUTE OF BIOINFORMATICS   (Switzerland)

ⁱ EUROPEAN BIOINFORMATICS INSTITUTE   (United Kingdom)

^j UNIVERSITY OF NEBRASKA LINCOLN   (United States)

^k NONE

more..

Author keywords

[No Author keywords available]

Indexed keywords

ANIMAL; CELLS; COMPUTER PROGRAM; COMPUTER SIMULATION; HEALTH CARE ORGANIZATION; HUMAN; METABOLISM; PROCEDURES; STANDARDS; SYSTEMS BIOLOGY; THEORETICAL MODEL;

ANIMALS; CELLS; COMPUTER SIMULATION; HUMANS; METABOLIC NETWORKS AND PATHWAYS; MODELS, THEORETICAL; SOCIETIES, SCIENTIFIC; SOFTWARE; SYSTEMS BIOLOGY;

EID: 84929144070     PISSN: 13674803     EISSN: 14602059     Source Type: Journal    
DOI: 10.1093/bioinformatics/btv013     Document Type: Article

References (84)

1. Albert, R. and Othmer, H. (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.
2. Aracena, J. et al. (2013) On the number of different dynamics in Boolean networks with deterministic update schedules. Math. Biosci., 242, 188-94.
3. Batt, G. et al. (2005) Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. Bioinformatics, 21 (Suppl. 1), i19-i28.
4. Bérenguier, D. et al. (2013) Dynamical modeling and analysis of large cellular regulatory networks. Chaos, 23, 025114.
5. Bernot, G. et al. (2004) Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic. J. Theor. Biol., 229, 339-348.
6. Bornholdt, S. (2005) Systems biology. Less is more in modeling large genetic networks. Science, 310, 449-451.
7. Bornholdt, S. (2008) Boolean network models of cellular regulation: prospects and limitations. J. R. Soc. Interface, 5 (Suppl. 1), S85-94.
8. Bornstein, B.J. A. (2008) LibSBML: an API library for SBML. Bioinformatics, 24, 880-881.
9. Büchel, F. et al. (2013) Path2Models: large-scale generation of computational models from biochemical pathway maps. BMC Syst. Biol., 7, 116.
10. Calzone, L. et al. (2010) Mathematical modelling of cell-fate decision in response to death receptor engagement. PLoS Comput. Biol., 6, e1000702.
11. Chaouiya, C. et al. (2013a) Qualitative models, Version 1 Release 1. http://identifiers.org/combine.specifications/sbml.level-3.version-1.qual.version-1. release-1 (26 January 2015, date last accessed).
12. Chaouiya, C. et al. (2013b) SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools. BMC Syst. Biol., 7, 135.
13. Chelliah, V. et al. (2013) BioModels database: a repository of mathematical models of biological processes. Methods. Mol. Biol., 1021, 189-199.
14. Clarke, E. et al. (2000) Model Checking. MIT Press, Cambridge, MA.
15. Comet, J.-P. et al. (2013) On circuit functionality in Boolean networks. Bull. Math. Biol., 75, 906-919.
16. Courtot, M. et al. (2011) Controlled vocabularies and semantics in systems biology. Mol. Syst. Biol., 7, 543.
17. Davidich, M.I. and Bornholdt, S. (2008) Boolean network model predicts cell cycle sequence of fission yeast. PLoS One, 3, e1672.
18. de Jong, H. (2002) Modeling and simulation of genetic regulatory systems: a literature review. J. Comput. Biol., 9, 67-103.
19. de Jong, H. et al. (2003) Genetic network analyzer: qualitative simulation of genetic regulatory networks. Bioinformatics, 19, 336-344.
20. Devloo, V. et al. (2003) Identification of all steady states in large networks by logical analysis. Bull. Math. Biol., 65, 1025-1051.
21. Di Cara, A. et al. (2007) Dynamic simulation of regulatory networks using SQUAD. BMC Bioinformatics, 8, 462.
22. Dräger, A. et al. (2011) JSBML: a flexible Java library for working with SBML. Bioinformatics, 27, 2167-2168.
23. 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-1399.
24. Fauré, A. et al. (2006) Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle. Bioinformatics, 22, e124-e131.
25. Fauré, A. and Thieffry, D. (2009) Logical modelling of cell cycle control in eukaryotes: a comparative study. Mol. BioSyst., 5, 1569-1581.
26. Franke, R. et al. (2008) Host-pathogen systems biology: logical modelling of hepatocyte growth factor and Helicobacter pylori induced c-met signal transduction. BMC Syst. Biol., 2, 4.
27. Garg, A. et al. (2008) Synchronous versus asynchronous modeling of gene regulatory networks. Bioinformatics, 24, 1917-1925.
28. Gilbert, D. et al. (2007) A unifying framework for modelling and analysing biochemical pathways using Petri nets. In: Calder, M. and Gilmore, S. (eds.) CMSB, Vol. 4695 of Lecture Notes in Bioinformatics. Berlin, pp. 200-216.
29. Glass, L. and Kauffman, S. (1973) The logical analysis of continuous non-linear biochemical control networks. J Theor. Biol., 39, 103-129.
30. Grieco, L. et al. (2013) Integrative modelling of the influence of MAPK network on cancer cell fate decision. PLoS Comput. Biol., 9, e1003286.
31. Harvey, I. and Bossomaier, T. (1997) Time out of joint: attractors in asynchronous random Boolean networks. In: Husbands, P. and Harvey, I. (eds.) 4th European Conf. on Artificial Life (ECAL).MIT Press, Cambridge, pp. 67-75.
32. Helikar, T. et al. (2012) The cell collective: toward an open and collaborative approach to systems biology. BMC Syst. Biol., 6, 96.
33. Helikar, T. et al. (2013) A comprehensive, multi-scale dynamical model of ErbB receptor signal transduction in human mammary epithelial cells. PLoS One, 8, e61757.
34. 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.
35. Herrmann, F. et al. (2012) A Boolean model of the cardiac gene regulatory network determining first and second heart field identity. PLoS One, 7, e46798.
36. Hopfensitz, M. et al. (2012) Multiscale binarization of gene expression data for reconstructing Boolean networks. IEEE/ACM Trans. Comput. Biol. Bioinform., 9, 487-498.
37. Hopfensitz, M. et al. (2013) Attractors in Boolean networks-a tutorial. Comput. Stat., 28, 19-36.
38. Huang, S. (1999) Gene expression profiling, genetic networks, and cellular states: an integrating concept for tumorigenesis and drug discovery. J. Mol. Med., 77, 469-480.
39. Hucka, M. et al. (2003) The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics, 19, 524-531.
40. Karlebach, G. and Shamir, R. (2008) Modelling and analysis of gene regulatory networks. Nat. Rev. Mol. Cell Biol., 9, 770-780.
41. Kauffman, S. et al. (2003) Random Boolean network models and the yeast transcriptional network. Proc. Natl Acad. Sci. USA., 100, 14796-14799.
42. Kauffman, S.A. (1969) Metabolic stability and epigensis in randomly constructed genetic nets. J. Theor. Biol., 22, 437-467.
43. Kauffman, S.A. (1993) The Origins of Order: Self-Organization and Selection in Evolution. Oxford University Press, New York.
44. Klamt, S. et al. (2007) Structural and functional analysis of cellular networks with cellnetanalyzer. BMC Syst. Biol., 1, 2.
45. Klarner, H. et al. (2014) Computing symbolic steady states of Boolean networks. In: Cellular Automata, Vol. 8751 of Lecture Notes in Computer Science, pp. 561-570.
46. Li, F. et al. (2004) The yeast cell-cycle network is robustly designed. Proc. Natl Acad. Sci. USA, 101, 4781-4786.
47. Madrahimov, A. et al. (2012) Dynamics of influenza virus and human host interactions during infection and replication cycle. Bull. Math. Biol., 75, 988-1011.
48. Monteiro, P.T. and Chaouiya, C. (2012) Efficient verification for logical models of regulatory networks. In: PACBB'12, Vol. 154 of Advances in Intelligent and Soft Computing, pp. 259-267.
49. Müssel, C. et al. (2010) BoolNet-an R package for generation, reconstruction and analysis of Boolean networks. Bioinformatics, 26, 1378-1380.
50. Müssel, C. et al. (2014) BoolNet: generation, reconstruction, simulation and analysis of synchronous, asynchronous, and probabilistic Boolean networks. R package version 2.0. http://cran.r-project.org/web/packages/BoolNet/index.html (26 January 2015, date last accessed).
51. Naldi, A. et al. (2007) Decision diagrams for the representation and analysis of logical models of genetic networks. In: CMSB, Vol. 4695 of Lecture Notes in Computer Science, pp. 233-247.
52. Naldi, A. et al. (2009) Logical modelling of regulatory networks with GINsim 2.3. Biosystems, 97, 134-139.
53. Naldi, A. et al. (2010) Diversity and plasticity of the cell types predicted from regulatory network modelling. PLoS Comput. Biol., 6, e1000912.
54. Naldi, A. et al. (2011) Dynamically consistent reduction of logical regulatory graphs. Theor. Comput. Sci., 412, 2207-2218.
55. Orlando, D.A. et al. (2008) Global control of cell-cycle transcription by coupled CDK and network oscillators. Nature, 453, 944-947.
56. Ouattara, D.A. and Aothers (2010) From structure to dynamics: frequency tuning in the p53-Mdm2 network. II Differential and stochastic approaches. J. Theor. Biol., 264, 1177-1189.
57. Peter, I.S. et al. (2012) Predictive computation of genomic logic processing functions in embryonic development. Proc. Natl Acad. Sci. USA, 109, 16434-16442.
58. Remy, E. et al. (2008) Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework. Adv. Appl. Math., 41, 335-350.
59. Robert, F. (1986) Discrete Iterations: A Metric Study. Vol. 6. Springer-Verlag, Berlin.
60. Saadatpour, A. and Albert, R. (2013) Boolean modeling of biological regulatory networks: a methodology tutorial. Methods, 62, 3-12.
61. Saez-Rodriguez, J. et al. (2007) A logical model provides insights into T cell receptor signaling. PLoS Comput. Biol., 3, e163.
62. Samaga, R. and Klamt, S. (2013) Modeling approaches for qualitative and semi-quantitative analysis of cellular signaling networks. Cell Commun. Signal., 11, 43.
63. Sánchez, L. et al. (2008) Segmenting the fly embryo: logical analysis of the role of the segment polarity cross-regulatory module. Int. J. Dev. Biol., 52, 1059-1075.
64. Sánchez, L. and Thieffry, D. (2001) A logical analysis of the drosophila gapgene system. J. Theor. Biol., 211, 115-141.
65. Sánchez, L. and Thieffry, D. (2003) Segmenting the fly embryo: a logical analysis of the pair-rule cross-regulatory module. J. Theor. Biol., 224, 517-537.
66. Shmulevich, I. et al. (2002) Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks. Bioinformatics, 18, 261-274.
67. Shmulevich, I. and Zhang, W. (2002) Binary analysis and optimization-based normalization of gene expression data. Bioinformatics, 18, 555-565.
68. Siebert, H. (2011) Analysis of discrete bioregulatory networks using symbolic steady states. Bull. Math. Biol., 73, 873-898.
69. Siebert, H. and Bockmayr, A. (2006) Incorporating time delays into the logical analysis of gene regulatory networks. In: CMSB, Vol. 4210 of Lecture Notes in Computer Science, pp. 169-183.
70. Stoll, G. et al. (2012). Continuous time Boolean modeling for biological signaling: application of Gillespie algorithm. BMC Syst. Biol., 6, 116.
71. Terfve, C.D.A. et al. (2012) CellNOptR: a flexible toolkit to train protein signaling networks to data using multiple logic formalisms. BMC Syst. Biol., 6, 133.
72. Thakar, J. et al. (2007) Modeling systems-level regulation of host immune responses. PLoS Comput. Biol., 3, e109.
73. Thieffry, D. (2007) Dynamical roles of biological regulatory circuits. Brief. Bioinform., 8, 220-225.
74. Thomas, R. (1973) Boolean formalization of genetic control circuits. J. Theor. Biol., 42, 563-585.
75. Thomas, R. (1981) On the relation between the logical structure of systems and their ability to generate multiple steady states or sustained oscillations. In: Della Dora, J. et al. (eds.) Numerical Methods in the Study of Critical Phenomena. Springer, Berlin Heidelberg, pp. 180-193.
76. Thomas, R. (1991) Regulatory networks seen as asynchronous automata: a logical description. J. Theor. Biol., 153, 1-23.
77. Thomas, R. (2013) Remarks on the respective roles of logical parameters and time delays in asynchronous logic: an homage to El Houssine Snoussi. Bull. Math. Biol., 75, 896-904.
78. Thomas, R. and d'Ari, R. (1990) Biological Feedback. CRC Press, Boca Raton, Florida, USA, pp. 316.
79. Todd, R.G. and Helikar, T. (2012) Ergodic sets as cell phenotype of budding yeast cell cycle. PLoS One, 7, e45780.
80. Veliz-Cuba, A. et al. (2010) Polynomial algebra of discrete models in systems biology. Bioinformatics, 26, 1637-1643.
81. Waltemath, D. et al. (2011) Reproducible computational biology experiments with SED-ML - the simulation experiment description markup language. BMC Syst. Biol., 5, 198.
82. Wittmann, D. et al. (2009) Transforming Boolean models to continuous models: methodology and application to T-cell receptor signaling. BMC Syst. Biol., 3, 98.
83. Zañudo, J.G.T. and Albert, R. (2013) An effective network reduction approach to find the dynamical repertoire of discrete dynamic networks. Chaos, 23, 025111.
84. Zhang, R. et al. (2008) Network model of survival signaling in large granular lymphocyte leukemia. Proc. Natl Acad. Sci. USA, 105, 16308-16313.