Abstract
Biologists use diagrams to represent interactions between molecular species, and on the computer, diagrammatic notations are also more and more employed in interactive maps. These diagrams are fundamentally of two types: reaction graphs and activation/inhibition graphs. In this paper, we study the formal relationship between these graphs. We consider systems of biochemical reactions with kinetic expressions, as written in the Systems Biology Markup Language SBML, and interpreted by a system of Ordinary Differential Equations over molecular concentrations. We show that under a general condition of increasing monotonicity of the kinetic expressions, and in absence of both activation and inhibition effects between a pair of molecules, the influence graph inferred from the stoichiometric coefficients of the reactions is equal to the one defined by the signs of the coefficients of the Jacobian matrix. Under these conditions, satisfied by mass action law, Michaelis-Menten and Hill kinetics, the influence graph is thus independent of the precise kinetic expressions, and is computable in linear time in the number of reactions. We apply these results to Kohn’s map of the mammalian cell cycle and to the MAPK signalling cascade. Then we propose a syntax for denoting antagonists in reaction rules and generalize our results to this setting.
This paper provides a direct presentation and a generalization of one theorem shown in [1] among other results in the framework of abstract interpretation which is not used here.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Fages, F., Soliman, S.: Abstract interpretation and types for systems biology. Theoretical Computer Science (to appear, 2008)
Kohn, K.W.: Molecular interaction map of the mammalian cell cycle control and DNA repair systems. Molecular Biology of the Cell 10, 2703–2734 (1999)
Hucka, M., et al.: The systems biology markup language (SBML): A medium for representation and exchange of biochemical network models. Bioinformatics 19, 524–531 (2003)
Thomas, R., Gathoye, A.M., Lambert, L.: A complex control circuit: regulation of immunity in temperate bacteriophages. European Journal of Biochemistry 71, 211–227 (1976)
Kaufman, M., Soulé, C., Thomas, R.: A new necessary condition on interaction graphs for multistationarity. Journal of Theoretical Biology 248, 675–685 (2007)
Soulé, C.: Mathematical approaches to differentiation and gene regulation. C. R. Biologies 329, 13–20 (2006)
Soulé, C.: Graphic requirements for multistationarity. ComplexUs 1, 123–133 (2003)
Snoussi, E.: Necessary conditions for multistationarity and stable periodicity. J. Biol. Syst. 6, 3–9 (1998)
Gouzé, J.L.: Positive and negative circuits in dynamical systems. J. Biol. Syst. 6, 11–15 (1998)
Thomas, R.: On the relation between the logical structure of systems and their ability to generate multiple steady states or sustained oscillations. Springer Ser. Synergetics 9, 180–193 (1981)
Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F., Schächter, V.: Modeling and querying biochemical interaction networks. Theoretical Computer Science 325, 25–44 (2004)
Levchenko, A., Bruck, J., Sternberg, P.W.: Scaffold proteins biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties. PNAS 97, 5818–5823 (2000)
Ventura, A.C., Sepulchre, J.A., Merajver, S.D.: A hidden feedback in signaling cascades is revealed. PLoS Computational Biology (to appear, 2008)
Markevich, N.I., Hoek, J.B., Kholodenko, B.N.: Signaling switches and bistability arising from multisite phosphorylation in protein kinase cascades. Journal of Cell Biology 164, 353–359 (2005)
Calzone, L., Fages, F., Soliman, S.: BIOCHAM: An environment for modeling biological systems and formalizing experimental knowledge. BioInformatics 22, 1805–1807 (2006)
Fages, F., Soliman, S., Chabrier-Rivier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry 4, 64–73 (2004)
Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81, 2340–2361 (1977)
Qiao, L., Nachbar, R.B., Kevrekidis, I.G., Shvartsman, S.Y.: Bistability and oscillations in the huang-ferrell model of mapk signaling. PLoS Computational Biology 3, 1819–1826 (2007)
Ciliberto, A., Novák, B., Tyson, J.J.: Steady states and oscillations in the p53/mdm2 network. Cell Cycle 4, 488–493 (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fages, F., Soliman, S. (2008). From Reaction Models to Influence Graphs and Back: A Theorem. In: Fisher, J. (eds) Formal Methods in Systems Biology. FMSB 2008. Lecture Notes in Computer Science(), vol 5054. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68413-8_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-68413-8_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68410-7
Online ISBN: 978-3-540-68413-8
eBook Packages: Computer ScienceComputer Science (R0)