James R. Faeder

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 activities, potential post-translational modifications and interactions of the domains of signaling molecules. The output defines and parameterizes the network of molecular species that can arise during signaling and provides functions that relate model variables to experimental readouts of interest. Models that can be generated are relevant for rational drug discovery, analysis of proteomic data and mechanistic studies of signal transduction.

Rules for Modeling Signal-Transduction Systems

Formalized rules for protein-protein interactions have recently been introduced to represent the binding and enzymatic activities of proteins in cellular signaling. Rules encode an understanding of how a system works in terms of the biomolecules in the system and their possible states and interactions. A set of rules can be as easy to read as a diagrammatic interaction map, but unlike most such maps, rules have precise interpretations. Rules can be processed to automatically generate a mathematical or computational model for a system, which enables explanatory and predictive insights into the system’s behavior. Rules are independent units of a model specification that facilitate model revision. Instead of changing a large number of equations or lines of code, as may be required in the case of a conventional mathematical model, a protein interaction can be introduced or modified simply by adding or changing a single rule that represents the interaction of interest. Rules can be defined and visualized by using graphs, so no specialized training in mathematics or computer science is necessary to create models or to take advantage of the representational precision of rules. Rules can be encoded in a machine-readable format to enable electronic storage and exchange of models, as well as basic knowledge about protein-protein interactions. Here, we review the motivation for rule-based modeling; applications of the approach; and issues that arise in model specification, simulation, and testing. We also discuss rule visualization and exchange and the software available for rule-based modeling. Signaling molecules that control cellular regulation operate in complex networks of molecular interactions within the cell. Many of the individual proteins undergo multiple posttranslational modifications and can thus exist in numerous biochemically distinct states. We explore how mathematical models can cope with such complexity when intuition is insufficient to understand a regulatory scheme. We review approaches to creation of mathematical models of signaling systems with strategies that keep the models from being unwieldy but still allow them to accurately reflect biological systems. We discuss the translation of information about such signaling pathways into a computer-readable language that could allow interoperability of various models. The review has 10 figures and 155 citations and contains Web links to Web sites relevant to the various modeling efforts discussed.

Rule-Based Modeling of Biochemical Systems with BioNetGen

Rule-based modeling involves the representation of molecules as structured objects and molecular interactions as rules for transforming the attributes of these objects. The approach is notable in that it allows one to systematically incorporate site-specific details about protein-protein interactions into a model for the dynamics of a signal-transduction system, but the method has other applications as well, such as following the fates of individual carbon atoms in metabolic reactions. The consequences of protein-protein interactions are difficult to specify and track with a conventional modeling approach because of the large number of protein phosphoforms and protein complexes that these interactions potentially generate. Here, we focus on how a rule-based model is specified in the BioNetGen language (BNGL) and how a model specification is analyzed using the BioNetGen software tool. We also discuss new developments in rule-based modeling that should enable the construction and analyses of comprehensive models for signal transduction pathways and similarly large-scale models for other biochemical systems.

Efficient modeling, simulation and coarse-graining of biological complexity with NFsim

Managing the overwhelming numbers of molecular states and interactions is a fundamental obstacle to building predictive models of biological systems. Here we introduce the Network-Free Stochastic Simulator (NFsim), a general-purpose modeling platform that overcomes the combinatorial nature of molecular interactions. Unlike standard simulators that represent molecular species as variables in equations, NFsim uses a biologically intuitive representation: objects with binding and modification sites acted on by reaction rules. During simulations, rules operate directly on molecular objects to produce exact stochastic results with performance that scales independently of the reaction network size. Reaction rates can be defined as arbitrary functions of molecular states to provide powerful coarse-graining capabilities, for example to merge Boolean and kinetic representations of biological networks. NFsim enables researchers to simulate many biological systems that were previously inaccessible to general-purpose software, as we illustrate with models of immune system signaling, microbial signaling, cytoskeletal assembly and oscillating gene expression.

Mathematical and computational models of immune-receptor signalling

The process of signalling through receptors of the immune system involves highly connected networks of interacting components. Understanding the often counter-intuitive behaviour of these networks requires the development of mathematical and computational models. Here, we focus on the application of these models to understand signalling through immune receptors that are involved in antigen recognition. Simple models, which ignore the details of the signalling machinery, have provided considerable insight into how ligand–receptor binding properties affect signalling outcomes. Detailed models, which include specific molecular components and interactions beyond the ligand and receptor, are difficult to develop but have already provided new mechanistic understanding and uncovered relationships that are difficult to detect by experimental observation alone. They offer hope that models might eventually predict the full spectrum of signalling behaviour.

Investigation of Early Events in FcεRI-Mediated Signaling Using a Detailed Mathematical Model

Aggregation of FcεRI on mast cells and basophils leads to autophosphorylation and increased activity of the cytosolic protein tyrosine kinase Syk. We investigated the roles of the Src kinase Lyn, the immunoreceptor tyrosine-based activation motifs (ITAMs) on the β and γ subunits of FcεRI, and Syk itself in the activation of Syk. Our approach was to build a detailed mathematical model of reactions involving FcεRI, Lyn, Syk, and a bivalent ligand that aggregates FcεRI. We applied the model to experiments in which covalently cross-linked IgE dimers stimulate rat basophilic leukemia cells. The model makes it possible to test the consistency of mechanistic assumptions with data that alone provide limited mechanistic insight. For example, the model helps sort out mechanisms that jointly control dephosphorylation of receptor subunits. In addition, interpreted in the context of the model, experimentally observed differences between the β- and γ-chains with respect to levels of phosphorylation and rates of dephosphorylation indicate that most cellular Syk, but only a small fraction of Lyn, is available to interact with receptors. We also show that although the β ITAM acts to amplify signaling in experimental systems where its role has been investigated, there are conditions under which the β ITAM will act as an inhibitor.

Kinetic Monte Carlo Method for Rule-based Modeling of Biochemical Networks

We present a kinetic Monte Carlo method for simulating chemical transformations specified by reaction rules, which can be viewed as generators of chemical reactions, or equivalently, definitions of reaction classes. A rule identifies the molecular components involved in a transformation, how these components change, conditions that affect whether a transformation occurs, and a rate law. The computational cost of the method, unlike conventional simulation approaches, is independent of the number of possible reactions, which need not be specified in advance or explicitly generated in a simulation. To demonstrate the method, we apply it to study the kinetics of multivalent ligand-receptor interactions. We expect the method will be useful for studying cellular signaling systems and other physical systems involving aggregation phenomena.

Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway

We present an algorithm, called BioLab , for verifying temporal properties of rule-based models of cellular signalling networks. BioLab models are encoded in the BioNetGen language, and properties are expressed as formulae in probabilistic bounded linear temporal logic. Temporal logic is a formalism for representing and reasoning about propositions qualified in terms of time. Properties are then verified using sequential hypothesis testing on executions generated using stochastic simulation. BioLab is optimal, in the sense that it generates the minimum number of executions necessary to verify the given property. BioLab also provides guarantees on the probability of it generating Type-I (i.e., false-positive) and Type-II (i.e., false-negative) errors. Moreover, these error bounds are pre-specified by the user. We demonstrate BioLab by verifying stochastic effects and bistability in the dynamics of the T-cell receptor signaling network.

Stochastic effects and bistability in T cell receptor signaling

The stochastic dynamics of T cell receptor (TCR) signaling are studied using a mathematical model intended to capture kinetic proofreading (sensitivity to ligand-receptor binding kinetics) and negative and positive feedback regulation mediated, respectively, by the phosphatase SHP1 and the MAP kinase ERK. The model incorporates protein-protein interactions involved in initiating TCR-mediated cellular responses and reproduces several experimental observations about the behavior of TCR signaling, including robust responses to as few as a handful of ligands (agonist peptide-MHC complexes on an antigen-presenting cell), distinct responses to ligands that bind TCR with different lifetimes, and antagonism. Analysis of the model indicates that TCR signaling dynamics are marked by significant stochastic fluctuations and bistability, which is caused by the competition between the positive and negative feedbacks. Stochastic fluctuations are such that single-cell trajectories differ qualitatively from the trajectory predicted in the deterministic approximation of the dynamics. Because of bistability, the average of single-cell trajectories differs markedly from the deterministic trajectory. Bistability combined with stochastic fluctuations allows for switch-like responses to signals, which may aid T cells in making committed cell-fate decisions.

Translational systems biology: introduction of an engineering approach to the pathophysiology of the burn patient.

The pathophysiology of the burn patient manifests the full spectrum of the complexity of the inflammatory response. In the acute phase, inflammation may have negative effects via capillary leak, the propagation of inhalation injury, and development of multiple organ failure. Attempts to mediate these processes remain a central subject of burn care research. Conversely, inflammation is a necessary prologue and component in the later stage processes of wound healing. Despite the volume of information concerning the cellular and molecular processes involved in inflammation, there exists a significant gap between the knowledge of mechanistic pathophysiology and the development of effective clinical therapeutic regimens. Translational systems biology (TSB) is the application of dynamic mathematical modeling and certain engineering principles to biological systems to integrate mechanism with phenomenon and, importantly, to revise clinical practice. This study will review the existing applications of TSB in the areas of inflammation and wound healing, relate them to specific areas of interest to the burn community, and present an integrated framework that links TSB with traditional burn research.