Abstract
When designing genetic circuits, the typical primitives used in major existing modelling formalisms are gene interaction graphs, where edges between genes denote either an activation or inhibition relation. However, when designing experiments, it is important to be precise about the low-level mechanistic details as to how each such relation is implemented. The rule-based modelling language Kappa allows to unambiguously specify mechanistic details such as DNA binding sites, dimerisation of transcription factors, or co-operative interactions. Such a detailed description comes with complexity and computationally costly executions. We propose a general method for automatically transforming a rule-based program, by eliminating intermediate species and adjusting the rate constants accordingly. To the best of our knowledge, we show the first automated reduction of rule-based models based on equilibrium approximations.
Our algorithm is an adaptation of an existing algorithm, which was designed for reducing reaction-based programs; our version of the algorithm scans the rule-based Kappa model in search for those interaction patterns known to be amenable to equilibrium approximations (e.g. Michaelis-Menten scheme). Additional checks are then performed in order to verify if the reduction is meaningful in the context of the full model. The reduced model is efficiently obtained by static inspection over the rule-set. The tool is tested on a detailed rule-based model of a \(\lambda \)-phage switch, which lists 92 rules and 13 agents. The reduced model has 11 rules and 5 agents, and provides a dramatic reduction in simulation time of several orders of magnitude.
This research was supported by the People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007-2013) under REA grant agreement no. 291734, and the SNSF Early Postdoc.Mobility Fellowship, the grant number P2EZP2_148797.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
for explicit algorithms, please consult the Appendix of the online paper version [27].
References
Gardner, T.S., Cantor, C.R., Collins, J.J.: Construction of a genetic toggle switch in escherichia coli. Nature 403(6767), 339–342 (2000)
Guet, C.C., Elowitz, M.B., Hsing, W., Leibler, S.: Combinatorial synthesis of genetic networks. Science 296(5572), 1466–1470 (2002)
Kwok, R.: Five hard truths for synthetic biology. Nature 463(7279), 288–290 (2010)
Del Vecchio, D.: Design and analysis of an activator-repressor clock in e. coli. In: American Control Conference. ACC 2007, pp. 1589–1594. IEEE (2007)
Feret, J., Krivine, J.: Kasim: a simulator for kappa (2008–2013). http://www.kappalanguage.org
Blinov, M.L., Faeder, J.R., Goldstein, B., Hlavacek, W.S.: Bionetgen: software for rule-based modeling of signal transduction based on the interactions of molecular domains. Bioinformatics 20(17), 3289–3291 (2004)
Danos, V., Feret, J., Fontana, W., Krivine, J.: Scalable simulation of cellular signaling networks. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol. 4807, pp. 139–157. Springer, Heidelberg (2007)
Hogg, J.S., Harris, L.A., Stover, L.J., Nair, N.S., Faeder, J.R.: Exact hybrid particle/population simulation of rule-based models of biochemical systems. PLoS Comput. Biol. 10(4), e1003544 (2014)
Danos, V., Feret, J., Fontana, W., Krivine, J.: Abstract interpretation of reachable complexes in biological signalling networks. In: Proceedings of the 9th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2008), vol. 4905, pp. 42–58 (2008)
Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Rule-based modelling of cellular signalling. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 17–41. Springer, Heidelberg (2007)
Myers, C.J.: Engineering Genetic Circuits. CRC Press, Boca Raton (2011)
Kuwahara, H., Myers, C.J., Samoilov, M.S., Barker, N.A., Arkin, A.P.: Automated abstraction methodology for genetic regulatory networks. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol. 4220, pp. 150–175. Springer, Heidelberg (2006)
Ptashne, M.: A Genetic Switch: Gene Control and Phage Lambda. Blackwell Scientific Publications, Palo Alto (1986)
Ptashne, M.A.: Genes and Signals. Cold Spring Harbor Laboratory Press, New York (2001)
Cousot, P.: Abstract interpretation based formal methods and future challenges. In: Wilhelm, R. (ed.) Informatics: 10 Years Back, 10 Years Ahead. LNCS, vol. 2000, pp. 138–156. Springer, Heidelberg (2001)
Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.-J.: Symbolic model checking: \(10^{20}\) states and beyond. Inf. Comput. 98(2), 142–170 (1992)
Feret, J., Danos, V., Krivine, J., Harmer, R., Fontana, W.: Internal coarse-graining of molecular systems. Proc. Nat. Acad. Sci. 106(16), 6453–6458 (2009)
Ganguly, A., Petrov, T., Koeppl, H.: Markov chain aggregation and its applications to combinatorial reaction networks. J. Math. Biol. 69, 767–797 (2013)
Feret, J., Henzinger, T., Koeppl, H., Petrov, T.: Lumpability abstractions of rule-based systems. Theor. Comput. Sci. 431, 137–164 (2012)
Conzelmann, H., Saez-Rodriguez, J., Sauter, T., Kholodenko, B.N., Gilles, E.D.: A domain-oriented approach to the reduction of combinatorial complexity in signal transduction networks. BMC Bioinf., 7:34 (2006)
Borisov, N.M., Markevich, N.I., Hoek, J.B., Kholodenko, B.N.: Signaling through receptors and scaffolds: independent interactions reduce combinatorial complexity. Biophys. J. 89(2), 951–966 (2005)
Craciun, G., Feinberg, M.: Multiple equilibria in complex chemical reaction networks: Ii. the species-reaction graph. SIAM J. Appl. Math. 66(4), 1321–1338 (2006)
Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340–2361 (1977)
Kurtz, T.G.: Limit theorems for sequences of jump Markov processes approximating ordinary differential processes. J. Appl. Probab. 8(2), 344–356 (1971)
Kang, H.-W., Kurtz, T.G.: Separation of time-scales and model reduction for stochastic reaction networks. Ann. Appl. Prob. 23(2), 529–583 (2013)
Danos, V., Feret, J., Fontana, W., Krivine, J.: Abstract interpretation of cellular signalling networks. In: Logozzo, F., Peled, D.A., Zuck, L.D. (eds.) VMCAI 2008. LNCS, vol. 4905, pp. 83–97. Springer, Heidelberg (2008)
Beica, A., Guet, C., Petrov, T.: Efficient reduction of kappa models by static inspection of the rule-set (2015). arXiv preprint arXiv:1501.00440
Murray, J.D.: Mathematical Biology I: an Introduction, vol. 17 of Interdisciplinary Applied Mathematics. Springer, New York (2002)
Rao, C.V., Arkin, A.P.: Stochastic chemical kinetics and the quasi-steady-state assumption: application to the gillespie algorithm. J. Chem. Phys. 118(11), 4999–5010 (2003)
Haseltine, E.L., Rawlings, J.B.: Approximate simulation of coupled fast and slow reactions for stochastic chemical kinetics. J. Chem. Phys. 117(15), 6959–6969 (2002)
Crudu, A., Debussche, A., Radulescu, O.: Hybrid stochastic simplifications for multiscale gene networks. BMC Syst. Biol. 3(1), 89 (2009)
Hepp, B., Gupta, A., Khammash, M.: Adaptive hybrid simulations for multiscale stochastic reaction networks (2014). arXiv preprint arXiv:1402.3523
Sanft, K.R., Gillespie, D.T., Petzold, L.R.: Legitimacy of the stochastic michaelis-menten approximation. IET Syst. Biol. 5(1), 58–69 (2011)
Gillespie, D.T., Cao, Y., Sanft, K.R., Petzold, L.R.: The subtle business of model reduction for stochastic chemical kinetics. J. Chem. Phys. 130(6), 064103 (2009)
Darden, T.A.: A pseudo-steady-state approximation for stochastic chemical kinetics. PhD thesis, University of California, Berkeley (1979)
Arkin, A., Ross, J., McAdams, H.H.: Stochastic kinetic analysis of developmental pathway bifurcation in phage \(\lambda \)-infected escherichia coli cells. Genetics 149(4), 1633–1648 (1998)
Beica, A., Petrov, T.: Kared (2014). http://pub.ist.ac.at/~tpetrov/KappaRed.tar.gz
Acknowledgements
The authors would like to thank to Jérôme Feret, for the inspiring discussions and useful suggestions.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Beica, A., Guet, C.C., Petrov, T. (2015). Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set. In: Abate, A., Šafránek, D. (eds) Hybrid Systems Biology. HSB 2015. Lecture Notes in Computer Science(), vol 9271. Springer, Cham. https://doi.org/10.1007/978-3-319-26916-0_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-26916-0_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-26915-3
Online ISBN: 978-3-319-26916-0
eBook Packages: Computer ScienceComputer Science (R0)