Thermodynamic Constraints in Kinetic Modeling: Thermodynamic‐Kinetic Modeling in Comparison to Other Approaches

Kinetic models of reaction networks may easily violate the laws of thermodynamics and the principle of detailed balance. In large network models, the constraints that are imposed by these laws are particularly difficult to address. This hinders modeling of biochemical reaction networks. Thermodynamic‐kinetic modeling is a method that provides a thermodynamically sound and formally appealing way for deriving dynamic model equations of reaction systems. State variables of this approach are thermokinetic potentials that describe the ability of compounds to drive a reaction. A compound has a parameter called capacity, which is the ratio of its concentration and thermokinetic potential. A reaction is described by its resistance which is the ratio of the thermokinetic driving force and flux. In these aspects, the formalism is similar to the modeling formalism for electrical networks and an analogous graphical representation is possible. The thermodynamic‐kinetic modeling formalism is equivalent to the traditional kinetic modeling formalism with the exception that it is not possible to build thermodynamically infeasible models. Here, the thermodynamic‐kinetic modeling formalism is reviewed, compared to other approaches, and some of its advantages are worked out. In contrast to other approaches, thermodynamic‐kinetic modeling does not rely on an explicit enumeration of stoichiometric cycles. It is capable of describing rate laws far from equilibrium. Further, the parameterization by capacities and resistances is particularly intuitive and powerful.     

Towards kinetic modeling of genome-scale metabolic networks without sacrificing stoichiometric,thermodynamic and physiological constraints

Mathematical modeling is an essential tool for the comprehensive understanding of cell metabolism and its interactions with the environmental and process conditions. Recent developments in the construction and analysis of stoichiometric models made it possible to define limits on steady-state metabolic behavior using flux balance analysis. However, detailed information on enzyme kinetics and enzyme regulation is needed to formulate kinetic models that can accurately capture the dynamic metabolic responses. The use of mechanistic enzyme kinetics is a difficult task due to uncertainty in the kinetic properties of enzymes. Therefore, the majority of recent works considered only mass action kinetics for reactions in metabolic networks. Herein, we applied the optimization and risk analysis of complex living entities (ORACLE) framework and constructed a large-scale mechanistic kinetic model of optimally grown Escherichia coli. We investigated the complex interplay between stoichiometry, thermodynamics, and kinetics in determining the flexibility and capabilities of metabolism. Our results indicate that enzyme saturation is a necessary consideration in modeling metabolic networks and it extends the feasible ranges of metabolic fluxes and metabolite concentrations. Our results further suggest that enzymes in metabolic networks have evolved to function at different saturation states to ensure greater flexibility and robustness of cellular metabolism.     

Thermodynamics of stoichiometric biochemical networks in living systems far from equilibrium

The principles of thermodynamics apply to both equilibrium and nonequilibrium biochemical systems. The mathematical machinery of the classic thermodynamics, however, mainly applies to systems in equilibrium. We introduce a thermodynamic formalism for the study of metabolic biochemical reaction (open, nonlinear) networks in both time-dependent and time-independent nonequilibrium states. Classical concepts in equilibrium thermodynamics-enthalpy, entropy, and Gibbs free energy of biochemical reaction systems-are generalized to nonequilibrium settings. Chemical motive force, heat dissipation rate, and entropy production (creation) rate, key concepts in nonequilibrium systems, are introduced. Dynamic equations for the thermodynamic quantities are presented in terms of the key observables of a biochemical network: stoichiometric matrix Q, reaction fluxes J, and chemical potentials of species mu without evoking empirical rate laws. Energy conservation and the Second Law are established for steady-state and dynamic biochemical networks. The theory provides the physiochemical basis for analyzing large-scale metabolic networks in living organisms.     

Ensemble modeling of metabolic networks

Complete modeling of metabolic networks is desirable, but it is difficult to accomplish because of the lack of kinetics. As a step toward this goal, we have developed an approach to build an ensemble of dynamic models that reach the same steady state. The models in the ensemble are based on the same mechanistic framework at the elementary reaction level, including known regulations, and span the space of all kinetics allowable by thermodynamics. This ensemble allows for the examination of possible phenotypes of the network upon perturbations, such as changes in enzyme expression levels. The size of the ensemble is reduced by acquiring data for such perturbation phenotypes. If the mechanistic framework is approximately accurate, the ensemble converges to a smaller set of models and becomes more predictive. This approach bypasses the need for detailed characterization of kinetic parameters and arrives at a set of models that describes relevant phenotypes upon enzyme perturbations.     

Preservation of dynamic properties in qualitative modeling frameworks for gene regulatory networks

Mathematical modeling often helps to provide a systems perspective on gene regulatory networks. In particular, qualitative approaches are useful when detailed kinetic information is lacking. Multiple methods have been developed that implement qualitative information in different ways, e.g., in purely discrete or hybrid discrete/continuous models. In this paper, we compare the discrete asynchronous logical modeling formalism for gene regulatory networks due to R. Thomas with piecewise affine differential equation models. We provide a local characterization of the qualitative dynamics of a piecewise affine differential equation model using the discrete dynamics of a corresponding Thomas model. Based on this result, we investigate the consistency of higher-level dynamical properties such as attractor characteristics and reachability. We show that although the two approaches are based on equivalent information, the resulting qualitative dynamics are different. In particular, the dynamics of the piecewise affine differential equation model is not a simple refinement of the dynamics of the Thomas model     

From annotated genomes to metabolic flux models and kinetic parameter fitting

Significant advances in system-level modeling of cellular behavior can be achieved based on constraints derived from genomic information and on optimality hypotheses. For steady-state models of metabolic networks, mass conservation and reaction stoichiometry impose linear constraints on metabolic fluxes. Different objectives, such as maximization of growth rate or minimization of flux distance from a reference state, can be tested in different organisms and conditions. In particular, we have suggested that the metabolic properties of mutant bacterial strains are best described by an algorithm that performs a minimization of metabolic adjustment (MOMA) upon gene deletion. The increasing availability of many annotated genomes paves the way for a systematic application of these flux balance methods to a large variety of organisms. However, such a high throughput goal crucially depends on our capacity to build metabolic flux models in a fully automated fashion. Here we describe a pipeline for generating models from annotated genomes and discuss the current obstacles to full automation. In addition, we propose a framework for the integration of flux modeling results and high throughput proteomic data, which can potentially help in the inference of whole-cell kinetic parameters.     

Maximum entropy,logistic regression,and species abundance

There is considerable debate about the utility of statistical mechanics in predicting diversity patterns in terms of life history traits. Here, I reflect on this debate and show that a community is controlled by the balance of two opposite forces: the entropic part (the natural tendency of the system to be in the configuration with the highest possible entropy) and environmental, ecological and evolutionary constraints maintaining order (reducing entropy). The Boltzmann distribution law that can be derived from the maximum entropy formalism provides a fundamental model for linking species abundance to life history traits and environmental constraining factors. This model predicts a global pattern of diversity evenness along a latitudinal gradient. Although the Boltzmann distribution and the logistic regression models represent two fundamentally different approaches, the two models have an identical mathematical form. Their identical formalisms facilitate the interpretation of logistic regression models with statistical mechanics, and reveal several limitations of the maximum entropy formalism. I argued that although maximum entropy formalism is a promising tool for modeling species abundances and for linking microscopic quantities of individual life history traits to macroscopic patterns of diversity, it is necessary to revise the Boltzmann distribution law for successful prediction of species abundance.     

Formal Methods for Hopfield-Like Networks

Building a meaningful model of biological regulatory network is usually done by specifying the components (e.g. the genes) and their interactions, by guessing the values of parameters, by comparing the predicted behaviors to the observed ones, and by modifying in a trial-error process both architecture and parameters in order to reach an optimal fitness. We propose here a different approach to construct and analyze biological models avoiding the trial-error part, where structure and dynamics are represented as formal constraints. We apply the method to Hopfield-like networks, a formalism often used in both neural and regulatory networks modeling. The aim is to characterize automatically the set of all models consistent with all the available knowledge (about structure and behavior). The available knowledge is formalized into formal constraints. The latter are compiled into Boolean formula in conjunctive normal form and then submitted to a Boolean satisfiability solver. This approach allows to formulate a wide range of queries, expressed in a high level language, and possibly integrating formalized intuitions. In order to explore its potential, we use it to find cycles for 3-nodes networks and to determine the flower morphogenesis regulatory network of Arabidopsis thaliana. Applications of this technique are numerous and concern the building of models from data as well as the design of biological networks possessing specified behaviors.     

Modeling of uncertainties in biochemical reactions

Mathematical modeling is an indispensable tool for research and development in biotechnology and bioengineering. The formulation of kinetic models of biochemical networks depends on knowledge of the kinetic properties of the enzymes of the individual reactions. However, kinetic data acquired from experimental observations bring along uncertainties due to various experimental conditions and measurement methods. In this contribution, we propose a novel way to model the uncertainty in the enzyme kinetics and to predict quantitatively the responses of metabolic reactions to the changes in enzyme activities under uncertainty. The proposed methodology accounts explicitly for mechanistic properties of enzymes and physico‐chemical and thermodynamic constraints, and is based on formalism from systems theory and metabolic control analysis. We achieve this by observing that kinetic responses of metabolic reactions depend: (i) on the distribution of the enzymes among their free form and all reactive states; (ii) on the equilibrium displacements of the overall reaction and that of the individual enzymatic steps; and (iii) on the net fluxes through the enzyme. Relying on this observation, we develop a novel, efficient Monte Carlo sampling procedure to generate all states within a metabolic reaction that satisfy imposed constrains. Thus, we derive the statistics of the expected responses of the metabolic reactions to changes in enzyme levels and activities, in the levels of metabolites, and in the values of the kinetic parameters. We present aspects of the proposed framework through an example of the fundamental three‐step reversible enzymatic reaction mechanism. We demonstrate that the equilibrium displacements of the individual enzymatic steps have an important influence on kinetic responses of the enzyme. Furthermore, we derive the conditions that must be satisfied by a reversible three‐step enzymatic reaction operating far away from the equilibrium in order to respond to changes in metabolite levels according to the irreversible Michelis–Menten kinetics. The efficient sampling procedure allows easy, scalable, implementation of this methodology to modeling of large‐scale biochemical networks. Biotechnol. Bioeng. 2011;108: 413–423. © 2010 Wiley Periodicals, Inc.     

Thermodynamic-based computational profiling of cellular regulatory control in hepatocyte metabolism

Thermodynamic-based constraints on biochemical fluxes and concentrations are applied in concert with mass balance of fluxes in glycogenesis and glycogenolysis in a model of hepatic cell metabolism. Constraint-based modeling methods that facilitate predictions of reactant concentrations, reaction potentials, and enzyme activities are introduced to identify putative regulatory and control sites in biological networks by computing the minimal control scheme necessary to switch between metabolic modes. Computational predictions of control sites in glycogenic and glycogenolytic operational modes in the hepatocyte network compare favorably with known regulatory mechanisms. The developed hepatic metabolic model is used to computationally analyze the impairment of glucose production in von Gierke's and Hers' diseases, two metabolic diseases impacting glycogen metabolism. The computational methodology introduced here can be generalized to identify downstream targets of agonists, to systematically probe possible drug targets, and to predict the effects of specific inhibitors (or activators) on integrated network function.     

WebCell: a web-based environment for kinetic modeling and dynamic simulation of cellular networks

SUMMARY: WebCell is a web-based environment for managing quantitative and qualitative information on cellular networks and for interactively exploring their steady-state and dynamic behaviors in response to systemic perturbations. It is designed as a user-friendly web interface, allowing users to efficiently construct, visualize, analyze and store reaction network models, thereby facilitating kinetic modeling and in silico simulation of biological systems of interest. A collected model library is also available to provide comprehensive implications for cellular dynamics of the published models.     

Energy coupling and thermokinetic balancing in enzyme kinetics

A survey of the development of the concepts of microscopic reversibility and detailed balancing is given. Considerable confusion surrounds these concepts. To obviate this, an unambiguous relation is presented that holds under all conditions and for which we propose the term “thermokinetic balancing”. The utility of this relation, which in contrast to detailed balancing is independent of reactant and product concentrations, is demonstrated in a detailed discussion of the kinetics and thermodynamics of the calcium-transporting ATPase according to the principles worked out by Hill. This includes a critical analysis of the different concepts advocated by Jencks and Tanford. The advantage of thermokinetic balancing over detailed balancing is illustrated by examples, high-lighting the relationship of these procedures to standard free energies and basic free energies.     

A practical kinetic model that considers endproduct inhibition in anaerobic digestion processes by including the equilibrium constant

The classical Michaelis-Menten model is widely used as the basis for modeling of a number of biological systems. As the model does not consider the inhibitory effect of endproducts that accumulate in virtually all bioprocesses, it is often modified to prevent the overestimation of reaction rates when products have accumulated. Traditional approaches of model modification use the inclusion of irreversible, competitive, and noncompetitive inhibition factors. This article demonstrates that these inhibition factors are insufficient to predict product inhibition of reactions that are close the dynamic equilibrium. All models investigated were found to violate thermodynamic laws as they predicted positive reaction rates for reactions that were endergonic due to high endproduct concentrations. For modeling of biological processes that operate close to the dynamic equilibrium (e.g., anaerobic processes), it is critical to prevent the prediction of positive reaction rates when the reaction has already reached the dynamic equilibrium. This can be achieved by using a reversible kinetic model. However, the major drawback of the reversible kinetic model is the large number of empirical parameters it requires. These parameters are difficult to determine and prone to experimental error. For this reason, the reversible model is not practical in the modeling of biological processes.This article uses the fundamentals of steady-state kinetics and thermodynamics to establish an equation for the reversible kinetic model that is of practical use in bio-process modeling. The behavior of this equilibrium-based model is compared with Michaelis-Menten-based models that use traditional inhibition factors. The equilibrium-based model did not require any empirical inhibition factor to correctly predict when reaction rates must be zero due to the free energy change being zero. For highly exergonic reactions, the equilibrium-based model did not deviate significantly from the Michaelis-Menten model, whereas, for reactions close to equilibrium, the reaction rate was mainly controlled by the quotient of mass action ratio (concentration of all products over concentration of all substrates) over the equilibrium constant K. This quotient is a measure of the displacement of the reaction from its equilibrium. As the new equation takes into account all of the substrates and products, it was able to predict the inhibitor effect of multiple endproducts. The model described is designed to be a useful basis for a number of different model applications where reaction conditions are close to equilibrium.     

A scalable algorithm to explore the Gibbs energy landscape of genome-scale metabolic networks

The integration of various types of genomic data into predictive models of biological networks is one of the main challenges currently faced by computational biology. Constraint-based models in particular play a key role in the attempt to obtain a quantitative understanding of cellular metabolism at genome scale. In essence, their goal is to frame the metabolic capabilities of an organism based on minimal assumptions that describe the steady states of the underlying reaction network via suitable stoichiometric constraints, specifically mass balance and energy balance (i.e. thermodynamic feasibility). The implementation of these requirements to generate viable configurations of reaction fluxes and/or to test given flux profiles for thermodynamic feasibility can however prove to be computationally intensive. We propose here a fast and scalable stoichiometry-based method to explore the Gibbs energy landscape of a biochemical network at steady state. The method is applied to the problem of reconstructing the Gibbs energy landscape underlying metabolic activity in the human red blood cell, and to that of identifying and removing thermodynamically infeasible reaction cycles in the Escherichia coli metabolic network (iAF1260). In the former case, we produce consistent predictions for chemical potentials (or log-concentrations) of intracellular metabolites; in the latter, we identify a restricted set of loops (23 in total) in the periplasmic and cytoplasmic core as the origin of thermodynamic infeasibility in a large sample (10(6)) of flux configurations generated randomly and compatibly with the prior information available on reaction reversibility.     

Requirements for comparing the performance of finite element models of biological structures

The widespread availability of three-dimensional imaging and computational power has fostered a rapid increase in the number of biologists using finite element analysis (FEA) to investigate the mechanical function of living and extinct organisms. The inevitable rise of studies that compare finite element models brings to the fore two critical questions about how such comparative analyses can and should be conducted: (1) what metrics are appropriate for assessing the performance of biological structures using finite element modeling? and, (2) how can performance be compared such that the effects of size and shape are disentangled? With respect to performance, we argue that energy efficiency is a reasonable optimality criterion for biological structures and we show that the total strain energy (a measure of work expended deforming a structure) is a robust metric for comparing the mechanical efficiency of structures modeled with finite elements. Results of finite element analyses can be interpreted with confidence when model input parameters (muscle forces, detailed material properties) and/or output parameters (reaction forces, strains) are well-documented by studies of living animals. However, many researchers wish to compare species for which these input and validation data are difficult or impossible to acquire. In these cases, researchers can still compare the performance of structures that differ in shape if variation in size is controlled. We offer a theoretical framework and empirical data demonstrating that scaling finite element models to equal force: surface area ratios removes the effects of model size and provides a comparison of stress-strength performance based solely on shape. Further, models scaled to have equal applied force:volume ratios provide the basis for strain energy comparison. Thus, although finite element analyses of biological structures should be validated experimentally whenever possible, this study demonstrates that the relative performance of un-validated models can be compared so long as they are scaled properly.     

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.     

Linear network representation of multistate models of transport.

By introducing external driving forces in rate-theory models of transport we show how the Eyring rate equations can be transformed into Ohm's law with potentials that obey Kirchhoff's second law. From such a formalism the state diagram of a multioccupancy multicomponent system can be directly converted into linear network with resistors connecting nodal (branch) points and with capacitances connecting each nodal point with a reference point. The external forces appear as emf or current generators in the network. This theory allows the algebraic methods of linear network theory to be used in solving the flux equations for multistate models and is particularly useful for making proper simplifying approximation in models of complex membrane structure. Some general properties of linear network representation are also deduced. It is shown, for instance, that Maxwell's reciprocity relationships of linear networks lead directly to Onsager's relationships in the near equilibrium region. Finally, as an example of the procedure, the equivalent circuit method is used to solve the equations for a few transport models.