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

  title={Boolean modeling in systems biology: an overview of methodology and applications},
  author={Rui-Sheng Wang and Assieh Saadatpour and R{\'e}ka Albert},
  journal={Physical Biology},
Mathematical modeling of biological processes provides deep insights into complex cellular systems. While quantitative and continuous models such as differential equations have been widely used, their use is obstructed in systems wherein the knowledge of mechanistic details and kinetic parameters is scarce. On the other hand, a wealth of molecular level qualitative data on individual components and interactions can be obtained from the experimental literature and high-throughput technologies… 

Figures from this paper

A comparative study of qualitative and quantitative dynamic models of biological regulatory networks

This study shows that while the fixed points of asynchronous Boolean models are observed in continuous Hill-type and piecewise affine models, these models may exhibit different attractors under certain conditions.

Genome Scale Modeling in Systems Biology: Algorithms and Resources

This review highlights some of most popular and important modeling algorithms, tools, and emerging standards for representing, simulating and analyzing cellular networks in five sections and provides an overview of all processes used in modeling and simulating biological networks in such a way that they can become easily understandable for researchers with both biological and mathematical backgrounds.

Unfolding of Parametric Boolean Networks

Combining Boolean Networks and Ordinary Differential Equations for Analysis and Comparison of Gene Regulatory Networks

This disputation talk will present and compare different automated reduction methods for Boolean models and discuss what dynamical properties of the original models are conserved during the reduction, and focus on different types of attractors and conditions for their conservation.

Boolean Models of Biological Processes Explain Cascade-Like Behavior.

This paper examines the common perception that events in biomolecular networks occur sequentially, in a cascade- like manner, and suggests that cascade-like behavior might be an intrinsic property of biological processes.

Enhancing Boolean networks with fuzzy operators and edge tuning

This work proposes a modeling approach derived from Boolean networks where fuzzy operators are used and where edges are tuned, expected to bring enhancements in the ability of qualitative models to simulate the dynamics of biological networks while not requiring quantitative information.

Validation of systems biology models

Computational approaches for model validation are presented and guidelines for reliable model validation and selection are provided with examples on real biological data.

Enhancing Boolean networks with continuous logical operators and edge tuning

A modeling approach derived from Boolean networks where continuous logical operators are used and where edges can be tuned is proposed, to provide enhancements in the ability of qualitative models to simulate the dynamics of biological networks while limiting the need of quantitative information.

A practical guide to mechanistic systems modeling in biology using a logic-based approach

This protocol provides a framework that includes defining the model scope, choosing validation criteria, selecting the appropriate modeling approach, constructing a model and simulating the model, and can be completed by users with little to no prior computational modeling experience approximately within 3 h.



Integration of Boolean models exemplified on hepatocyte signal transduction

This work proposes modelling standards for Boolean models as a prerequisite for smooth model integration and demonstrates the coupling of two logical models on two different examples concerning cellular interactions in the liver.

Boolean network models of cellular regulation: prospects and limitations

  • S. Bornholdt
  • Computer Science
    Journal of The Royal Society Interface
  • 2008
The interesting question of why at all such simple models can describe aspects of biology despite their simplicity is discussed, and prospects of Boolean models in exploratory dynamical models for biological circuits and their mutants will be discussed.

Transforming Boolean models to continuous models: methodology and application to T-cell receptor signaling

This work presents a canonical way of transforming Boolean into continuous models, where the use of multivariate polynomial interpolation allows transformation of logic operations into a system of ordinary differential equations (ODE).

Discrete dynamic modeling with asynchronous update, or how to model complex systems in the absence of quantitative information.

This work describes one systems biology method, in which the tools of network analysis and discrete dynamic (Boolean) modeling are used to develop predictive models of cellular signaling in cases where detailed temporal and kinetic information regarding the propagation of the signal through the system is lacking.

ADAM: Analysis of Discrete Models of Biological Systems Using Computer Algebra

A method to identify attractors of a discrete model that is equivalent to solving a system of polynomial equations, a long-studied problem in computer algebra is proposed and the algebraic algorithms presented are fast for systems with the structure maintained by most biological systems, namely sparseness and robustness.

Methods of robustness analysis for Boolean models of gene control networks.

Two possible methods of adapting qualitative models to incorporate the continuous-time character of regulatory networks, and a theoretical characterisation of the model's gene pattern prediction is provided as a function of the timescales of the various processes.

Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle

This work compares the respective advantages and limits of synchronous versus asynchronous updating assumptions to delineate the asymptotical behaviour of regulatory networks and proposes several intermediate strategies to optimize the computation of asymPTotical properties depending on available knowledge.

The Signaling Petri Net-Based Simulator: A Non-Parametric Strategy for Characterizing the Dynamics of Cell-Specific Signaling Networks

The signalingPetri net, a non-parametric model of cellular signaling networks, and the signaling PetriNet-based simulator, a Petri net execution strategy for characterizing the dynamics of signal flow through a signaling network using token distribution and sampling, are presented.