Rule-based modeling of biochemical networks

  title={Rule-based modeling of biochemical networks},
  author={James R. Faeder and Michael L. Blinov and Byron Goldstein and William S. Hlavacek},
A method for the automatic generation of mathematical/computational models that account comprehensively and precisely for the full spectrum of chemical species implied by user-specified activities, potential modifications and interactions of the molecular components of biomolecules is described. A computer-implemented system that includes software was used to generate models. The software has a user interface that allows a user to generate new models and modify existing models. 

Figures and Tables from this paper

Constraint-Based Simulation of Biological Systems Described by Molecular Interaction Maps

A method to simulate biochemical networks described by the graphical notation of Molecular Interaction Maps within stochastic Concurrent Constraint Programming, capable to stochastically simulate these maps implicitly, without generating the full list of reactions.

Rule-based modeling of biochemical systems with BioNetGen.

This work focuses on how a rule-based model is specified in the BioNetGen language (BNGL) and how a model specification is analyzed using the Bio netGen software tool.

Modeling for (physical) biologists: an introduction to the rule-based approach

A rule-based approach to modeling enables consideration of mechanistic details at the level of functional sites of biomolecules and provides a facile and visual means for constructing computational models, which can be analyzed to study how system-level behaviors emerge from component interactions.

Simulation of large-scale rule-based models

DYNSTOC enables the simulation of rule-based models that cannot be simulated by conventional methods and is demonstrated to simulate models accounting for multisite phosphorylation and multivalent binding processes that are characterized by large numbers of reactions.

Leveraging modeling approaches: reaction networks and rules.

A case is made for combining the capabilities of conventional simulation software with the unique features and flexibility of a rule-based approach in a single software platform for building models of molecular interaction networks.

Rule‐based modeling: a computational approach for studying biomolecular site dynamics in cell signaling systems

A rule‐based model comprises a set of rules, which can be processed by general‐purpose simulation and analysis tools to achieve different objectives (e.g., to perform either a deterministic or stochastic simulation).

Graph Theory for Rule-Based Modeling of Biochemical Networks

We introduce a graph-theoretic formalism suitable for modeling biochemical networks marked by combinatorial complexity, such as signal-transduction systems, in which protein-protein interactions play

Specification, annotation, visualization and simulation of a large rule-based model for ERBB receptor signaling

A demonstration that the rule-based modeling approach can be used to specify and simulate a large model for ERBB receptor signaling that accounts for site-specific details of protein-protein interactions, and is considered large because it corresponds to a reaction network containing more reactions than can be practically enumerated.

Modeling metabolic processes between molecular and systems biology.

  • T. Geyer
  • Biology
    Current opinion in structural biology
  • 2013

Innovations of the Rule-Based Modeling Approach

In this chapter, innovations of the rule-based modeling approach are discussed, relative to traditional approaches for modeling chemical kinetics, which include the use of rules to concisely capture the dynamics of molecular interactions, the view of models as programs, and agent-based computational approaches that can be applied to simulate the chemicalKinetics of a system characterized by a large traditional model.



BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains

BioNetGen allows a user to create a computational model that characterizes the dynamics of a signal transduction system, and that accounts comprehensively and precisely for specified enzymatic

Pathway logic modeling of protein functional domains in signal transduction

It is shown how signal transduction processes can be modeled at different levels of abstraction involving either an overall state of a protein or its PFDs and their interactions, and how the resulting signalling network can be queried using formal methods tools.

Molecular Interaction Maps--A Diagrammatic Graphical Language for Bioregulatory Networks

The main features of the MIM language are discussed, which can serve to generate new hypotheses regarding the roles of specific molecules in the bioregulatory networks that control progression through the cell cycle, differentiation, and cell death.

Automatic generation of cellular reaction networks with Moleculizer 1.0

This work describes an approach to the exact stochastic simulation of biochemical networks that emphasizes the contribution of protein complexes to these systems and generates much smaller reaction networks, which can be exported to other simulators for further analysis.

Graphs for Core Molecular Biology

A graphic language--the graphic ? calculus--modeling protein interactions at the domain level is introduced, and a compilation in a low-level graph rewriting calculus, called mobile ?, is given and shown to be correct up to some suitable notion of observational equivalence.

Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM

A formal modelling environment for network biology, called the Biochemical Abstract Machine (BIOCHAM), which delivers precise semantics to biomolecular interaction maps and offers automated reasoning tools for querying the temporal properties of the system under all its possible behaviours.

The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models

This work summarizes the Systems Biology Markup Language (SBML) Level 1, a free, open, XML-based format for representing biochemical reaction networks, a software-independent language for describing models common to research in many areas of computational biology.

Docking of protein models

An adequate description of entire genomes has to include information on the three‐dimensional (3D) structure of proteins. Most of these protein structures will be determined by high‐throughput