On the Verification and Correction of Large-Scale Kinetic Models in Systems Biology

  • Attila Gábor
  • Katalin M. Hangos
  • Gábor Szederkényi
  • Julio R. Banga
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8130)


In this paper we consider the problem of verification of large dynamic models of biological systems. We present syntactical criteria based on biochemical kinetics to ensure the plausibility of a model and the positivity of its solution. These criteria include the positivity of the rate functions, their kinetic type dependence on the reactant species concentrations, and the absence of the negative cross-effects that together guarantee the nonnegativity of the dynamics. Further, the stoichiometric matrix of the truncated reaction system is checked against conservation using its algebraic properties. Algorithmic procedures are then proposed for checking these criteria with emphasis on good scaling up properties. In addition to these verification procedures, we also provide, for certain typical errors, model correcting methods. The capabilities and usefulness of these procedures are illustrated on biochemical models taken from the Biomodels database. In particular, a set of 11 kinetic models related with E. coli are checked, finding two with deficiencies. Correcting actions for these models are proposed.


verification model checking kinetic models 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Angeli, D., De Leenheerb, P., Sontag, E.: A Petri net approach to the study of persistence in chemical reaction networks. Mathematical Biosciences 210, 598–618 (2007)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Sontag, E.: Structure and stability of certain chemical networks and applications to the kinetic proofreading model of T-cell receptor signal transduction. IEEE Transactions on Automatic Control 46(7), 1028–1047 (2001)MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Feinberg, M.: On chemical kinetics of a certain class. Arch. Rational Mech. Anal. 46, 1–41 (1972)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Li, C., Donizelli, M., Rodriguez, N., Dharuri, H., Endler, L., Chelliah, V., Li, L., He, E., Henry, A., Stefan, M.I., Snoep, J.L., Hucka, M., Le Novère, N., Laibe, C.: BioModels Database: An enhanced, curated and annotated resource for published quantitative kinetic models. BMC Systems Biology 4, 92 (2010)CrossRefGoogle Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Hoops, S., Sahle, S., Gauges, R., Lee, C., Pahle, J., Simus, N., Singhal, M., Xu, L., Mendes, P., Kummer, U.: COPASI — a COmplex PAthway SImulator. Bioinformatics 22(24), 3067–3074 (2006)CrossRefGoogle Scholar
  7. 7.
    Hangos, K.M.: Engineering model reduction and entropy-based lyapunov functions in chemical reaction kinetics. Entropy 12, 772–797 (2010)MathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    Fages, F., Gay, S., Soliman, S.: Automatic curation of SBML models based on their ODE semantics. Technical report, INRIA Reseqarch Report 8014, hal00723554 (2012)Google Scholar
  9. 9.
    Kaleta, C., Richter, S., Dittrich, P.: Using chemical organization theory for model checking. Bioinformatics 25(15), 1915–1922 (2009)CrossRefGoogle Scholar
  10. 10.
    Érdi, P., Tóth, J.: Mathematical Models of Chemical Reactions. Theory and Applications of Deterministic and Stochastic Models. Manchester University Press, Princeton University Press, Manchester, Princeton (1989)MATHGoogle Scholar
  11. 11.
    Klipp, E., Herwig, R., Kowald, A., Wierling, C., Lehrach, H.: Systems biology in practice: concepts, implementation and application. Wiley-Blackwell (2008)Google Scholar
  12. 12.
    Haddad, W.M., Chellaboina, V., Hui, Q.: Nonnegative and Compartmental Dynamical Systems. Princeton University Press (2010)Google Scholar
  13. 13.
    Famili, I., Palsson, B.O.: The convex basis of the left null space of the stoichiometric matrix leads to the definition of metabolically meaningful pools. Biophysical Journal 85(1), 16–26 (2003)MathSciNetCrossRefGoogle Scholar
  14. 14.
    Hangos, K.M., Szederkényi, G.: The underlying linear dynamics of some positive polynomial systems. Physics Letters A 376, 3129–3134 (2012)CrossRefGoogle Scholar
  15. 15.
    Sauro, H.M., Ingalls, B.: Conservation analysis in biochemical networks: computational issues for software writers. Biophysical Chemistry 109(1), 1–15 (2004)CrossRefGoogle Scholar
  16. 16.
    Schmidt, H., Jirstrand, M.: Systems Biology Toolbox for MATLAB: a computational platform for research in systems biology. Bioinformatics 22(4), 514–515 (2006), CrossRefGoogle Scholar
  17. 17.
    Feinberg, M.: Chemical Reaction Network Structure and the Stability of Complex Isothermal Reactors – I. The deficiency Zero and Deficiency One Theorems. Chemical Engineering Science 42(10), 2229–2268 (1987)CrossRefGoogle Scholar
  18. 18.
    Chassagnole, C., Noisommit-Rizzi, N., Schmid, J.W., Mauch, K., Reuss, M.: Dynamic modeling of the central carbon metabolism of Escherichia coli. Biotechnology and Bioengineering 79(1), 53–73 (2002)CrossRefGoogle Scholar
  19. 19.
    Hindmarsh, A.C., Brown, P.N., Grant, K.E., Lee, S.L., Serban, R., Shumaker, D.E., Woodward, C.S.: SUNDIALS: Suite of nonlinear and differential/algebraic equation solvers. ACM Transactions on Mathematical Software (TOMS) 31(3), 363–396 (2005)MathSciNetCrossRefMATHGoogle Scholar
  20. 20.
    Singh, V.K., Ghosh, I.: Kinetic modeling of tricarboxylic acid cycle and glyoxylate bypass in Mycobacterium tuberculosis, and its application to assessment of drug targets. Theoretical Biology and Medical Modelling 3, 27 (2006)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Attila Gábor
    • 1
  • Katalin M. Hangos
    • 2
    • 3
  • Gábor Szederkényi
    • 2
    • 4
  • Julio R. Banga
    • 1
  1. 1.BioProcess Engineering GroupIIM-CSICVigoSpain
  2. 2.Computer and Automation Research InstituteHungarian Academy of ScienceBudapestHungary
  3. 3.University of PannoniaVeszprémHungary
  4. 4.Pázmány Péter Catholic UniversityBudapestHungary

Personalised recommendations