Abstract
Rule-based languages (like, for example, Kappa, BioNetGen, and BioCham) have emerged as successful models for the representation, analysis, and simulation of bio-chemical systems. In particular Kappa, although based on reactions, differs from traditional chemistry as it allows for a graph-like representation of complexes. It follows the “don’t care, don’t write” approach: a rule contains the description of only those parts of the complexes that are actually involved in a reaction. Hence, given any possible combination of complexes that contain the reactants, such complexes can give rise to the reaction. In this paper we address the problem of extending the “don’t care, don’t write” approach to cases in which the actual structure of the complexes involved in the reaction could affect it (for instance, the mass of the complexes could influence the rate). The solutions that we propose is κ F , an extension of the Kappa-calculus in which rates are defined as functions of the actually involved complexes.
Keywords
- Functional Rate
- Label Transition System
- Continuous Time Markov Chain
- Binding Rate
- System Biology Markup Language
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
KaSim: kappa language simulator, http://www.kappalanguage.org
Badjić, J.D., Balzani, V., Credi, A., Silvi, S., Stoddart, J.F.: A molecular elevator. Science 303(5665), 1845–1849 (2004)
Balzani, V., Credi, A., Venturi, M.: Molecular devices and machines - Concepts and perspectives for the nano world, 2nd edn. Wiley-VCH, Weinheim (2008)
Blinov, M., Faeder, J., Goldstein, B., Hlavacek, W.: Bionetgen: software for rule-based modeling of signal transduction based on the interactions of molecular domains. Bioinformatics 20(17), 3289–3291 (2004)
Cao, Y., Li, H., Petzold, L.: Efficient formulation of the stochastic simulation algorithm for chemically reacting systems. J. Chem. Phys. 121(9), 4059–4067 (2004)
Cardelli, L.: Brane Calculi. In: Danos and Schächter [14], pp. 257–278
Ciocchetta, F., Duguid, A., Gilmore, S., Guerriero, M.L., Hillston, J.: The bio-pepa tool suite. In: QEST, pp. 309–310. IEEE Computer Society (2009)
Credi, A., Garavelli, M., Laneve, C., Pradalier, S., Silvi, S., Zavattaro, G.: nanok: A calculus for the modeling and simulation of nano devices. Theor. Comput. Sci. 408(1), 17–30 (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)
Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Rule-Based Modelling, Symmetries, Refinements. In: Fisher, J. (ed.) FMSB 2008. LNCS (LNBI), vol. 5054, pp. 103–122. Springer, Heidelberg (2008)
Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Abstracting the differential semantics of rule-based models: Exact and automated model reduction. In: LICS, pp. 362–381. IEEE Computer Society (2010)
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)
Danos, V., Laneve, C.: Formal molecular biology. Theoretical Computer Science 325(1), 69–110 (2004)
Danos, V., Schachter, V. (eds.): CMSB 2004. LNCS (LNBI), vol. 3082. Springer, Heidelberg (2005)
Degano, P., Gorrieri, R. (eds.): CMSB 2009. LNCS, vol. 5688. Springer, Heidelberg (2009)
Delzanno, G., Giusto, C.D., Gabbrielli, M., Laneve, C., Zavattaro, G.: The kappa-lattice: Decidability boundaries for qualitative analysis in biological languages. In: Degano and Gorrieri [15], pp. 158–172
Faeder, J.R., Blinov, M.L., Hlavacek, W.S.: Rule-based modeling of biochemical systems with bionetgen. Methods in Molecular Biology 500, 113–167 (2009)
Fages, F., Soliman, S.: Formal Cell Biology in Biocham. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 54–80. Springer, Heidelberg (2008)
Gibson, M., Bruck, J.: Efficient exact stochastic simulation of chemical systems with many species and many channels. Journal of Physical Chemistry A 104(9), 1876–1889 (2000)
Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340–2361 (1977)
Hlavacek, W.S., Faeder, J.R., Blinov, M.L., Posner, R.G., Hucka, M., Fontana, W.: Rules for modeling signal-transduction systems. Science Signaling 2006(344) (2006)
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)
Hucka, M., Finney, A., Sauro, H., Bolouri, H., Doyle, J., Kitano, H., Arkin, A., Bornstein, B., Bray, D., Cornish-Bowden, A., et al.: The systems biology markup language (sbml): a medium for representation and exchange of biochemical network models. Bioinformatics 19(4), 524–531 (2003)
Hucka, M., Finney, A., Sauro, H., Bolouri, H., Doyle, J., Kitano, H., Arkin, A., Bornstein, B., Bray, D., Cornish-Bowden, A., et al.: The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models (2003)
John, M., Lhoussaine, C., Niehren, J.: Dynamic compartments in the imperative pi-calculus. In: Degano and Gorrieri [15], pp. 235–250
John, M., Lhoussaine, C., Niehren, J., Uhrmacher, A.M.: The Attributed Pi Calculus. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol. 5307, pp. 83–102. Springer, Heidelberg (2008)
John, M., Lhoussaine, C., Niehren, J., Versari, C.: Biochemical Reaction Rules with Constraints. In: Barthe, G. (ed.) ESOP 2011. LNCS, vol. 6602, pp. 338–357. Springer, Heidelberg (2011)
Marsan, M.A.: Stochastic Petri Nets: An Elementary Introduction. In: Rozenberg, G. (ed.) APN 1989. LNCS, vol. 424, pp. 1–29. Springer, Heidelberg (1990)
Meyer, R.: A theory of structural stationarity in the π-calculus. Acta Inf. 46(2), 87–137 (2009)
Meyer, R., Gorrieri, R.: On the Relationship between π-Calculus and Finite Place/Transition Petri Nets. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol. 5710, pp. 463–480. Springer, Heidelberg (2009)
Phillips, A., Cardelli, L.: Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol. 4695, pp. 184–199. Springer, Heidelberg (2007)
Priami, C., Quaglia, P.: Beta binders for biological interactions. In: Danos and Schächter [14], pp. 20–33
Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.Y.: BioAmbients: an abstraction for biological compartments. Theor. Comput. Sci. 325(1), 141–167 (2004)
Sneddon, M.W., Faeder, J.R., Emonet, T.: Efficient modeling, simulation and coarse-graining of biological complexity with NFsim. Nature Methods 8, 177–183 (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Versari, C., Zavattaro, G. (2012). Complex Functional Rates in Rule-Based Languages for Biochemistry. In: Priami, C., Petre, I., de Vink, E. (eds) Transactions on Computational Systems Biology XIV. Lecture Notes in Computer Science(), vol 7625. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35524-0_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-35524-0_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35523-3
Online ISBN: 978-3-642-35524-0
eBook Packages: Computer ScienceComputer Science (R0)
