Boolean network simulations for life scientists

Modern life sciences research increasingly relies on computational solutions, from large scale data analyses to theoretical modeling. Within the theoretical models Boolean networks occupy an increasing role as they are eminently suited at mapping biological observations and hypotheses into a mathematical formalism. The conceptual underpinnings of Boolean modeling are very accessible even without a background in quantitative sciences, yet it allows life scientists to describe and explore a wide range of surprisingly complex phenomena. In this paper we provide a clear overview of the concepts used in Boolean simulations, present a software library that can perform these simulations based on simple text inputs and give three case studies. The large scale simulations in these case studies demonstrate the Boolean paradigms and their applicability as well as the advanced features and complex use cases that our software package allows. Our software is distributed via a liberal Open Source license and is freely accessible from http://booleannet.googlecode.com

[1]  Denis Thieffry,et al.  Segmenting the fly embryo: a logical analysis of the pair-rule cross-regulatory module. , 2003, Journal of theoretical biology.

[2]  K. Mills,et al.  Regulatory T cells: friend or foe in immunity to infection? , 2004, Nature Reviews Immunology.

[3]  Stuart A. Kauffman,et al.  The origins of order , 1993 .

[4]  L. Loew,et al.  The Virtual Cell: a software environment for computational cell biology. , 2001, Trends in biotechnology.

[5]  Denis Thieffry,et al.  Genetic control of flower morphogenesis in Arabidopsis thaliana: a logical analysis , 1999, Bioinform..

[6]  Paul B. Mann,et al.  Role of Antibodies in Immunity to Bordetella Infections , 2003, Infection and Immunity.

[7]  C. Klebanoff,et al.  CD8+ T‐cell memory in tumor immunology and immunotherapy , 2006, Immunological reviews.

[8]  S. Kauffman.  Metabolic stability and epigenesis in randomly constructed genetic nets. , 1969, Journal of theoretical biology.

[9]  A. Ghysen,et al.  The formation of sense organs in Drosophila: a logical approach. , 2003, BioEssays : news and reviews in molecular, cellular and developmental biology.

[10]  R. Thomas,et al.  Boolean formalization of genetic control circuits. , 1973, Journal of theoretical biology.

[11]  C. Espinosa-Soto,et al.  A Gene Regulatory Network Model for Cell-Fate Determination during Arabidopsis thaliana Flower Development That Is Robust and Recovers Experimental Gene Expression Profilesw⃞ , 2004, The Plant Cell Online.

[12]  Hidde de Jong,et al.  Genetic Network Analyzer: qualitative simulation of genetic regulatory networks , 2003, Bioinform..

[13]  Madalena Chaves,et al.  Robustness and fragility of Boolean models for genetic regulatory networks. , 2005, Journal of theoretical biology.

[14]  Hidde de Jong,et al.  Modeling and Simulation of Genetic Regulatory Systems: A Literature Review , 2002, J. Comput. Biol..

[15]  Jan-Hendrik S. Hofmeyr,et al.  Modelling cellular systems with PySCeS , 2005, Bioinform..

[16]  Arantxa Etxeverria.  The Origins of Order , 1993 .

[17]  Pedro Mendes,et al.  GEPASI: a software package for modelling the dynamics, steady states and control of biochemical and other systems , 1993, Comput. Appl. Biosci..

[18]  Uri Alon,et al.  An Introduction to Systems Biology , 2006 .

[19]  R. Albert,et al.  Predicting Essential Components of Signal Transduction Networks: A Dynamic Model of Guard Cell Abscisic Acid Signaling , 2006, PLoS biology.

[20]  L. Glass.  Classification of biological networks by their qualitative dynamics. , 1975, Journal of theoretical biology.

[21]  J. H. Liu,et al.  Dysregulation of CD95/CD95 ligand-apoptotic pathway in CD3(+) large granular lymphocyte leukemia. , 1998, Blood.

[22]  J. Turkson,et al.  Inhibition of STAT3 signaling leads to apoptosis of leukemic large granular lymphocytes and decreased Mcl-1 expression. , 2001, The Journal of clinical investigation.

[23]  Eric T. Harvill,et al.  Pregenomic Comparative Analysis betweenBordetella bronchiseptica RB50 and Bordetella pertussis Tohama I in Murine Models of Respiratory Tract Infection , 1999, Infection and Immunity.

[24]  L. Glass,et al.  The logical analysis of continuous, non-linear biochemical control networks. , 1973, Journal of theoretical biology.

[25]  Edward R. Dougherty,et al.  Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks , 2002, Bioinform..

[26]  M Chaves,et al.  Methods of robustness analysis for Boolean models of gene control networks. , 2006, Systems biology.

[27]  D. Thieffry,et al.  A logical analysis of the Drosophila gap-gene system. , 2001, Journal of theoretical biology.

[28]  Eric T. Harvill,et al.  The Bordetella bronchiseptica Type III Secretion System Inhibits Gamma Interferon Production That Is Required for Efficient Antibody-Mediated Bacterial Clearance , 2006, Infection and Immunity.

[29]  O. Kildahl-Andersen,et al.  [Large granular lymphocyte leukemia]. , 2009, Tidsskrift for den Norske laegeforening : tidsskrift for praktisk medicin, ny raekke.

[30]  M. Wlodarski,et al.  Phosphatidylinositol-3-phosphate kinase pathway activation protects leukemic large granular lymphocytes from undergoing homeostatic apoptosis. , 2005, Blood.

[31]  Sheng Wei,et al.  ERK couples chronic survival of NK cells to constitutively activated Ras in lymphoproliferative disease of granular lymphocytes (LDGL) , 2004, Oncogene.

[32]  R. Albert,et al.  Network model of survival signaling in large granular lymphocyte leukemia , 2008, Proceedings of the National Academy of Sciences.

[33]  J. Tyson,et al.  Computational Cell Biology , 2010 .

[34]  Réka Albert,et al.  Modeling Systems-Level Regulation of Host Immune Responses , 2007, PLoS Comput. Biol..

[35]  Q. Ouyang,et al.  The yeast cell-cycle network is robustly designed. , 2003, Proceedings of the National Academy of Sciences of the United States of America.