Abstract
We propose React(C), an expressive programming language for stochastic modeling and simulation in systems biology that is based on biochemical reactions with constraints. We prove that React(C) can express the stochastic π-calculus, in contrast to previous rule-based programming languages, and further illustrate the high expressiveness of React(C). We present a stochastic simulator for React(C) independently of the choice of the constraint language C. Our simulator decides for a given reaction rule whether it can be applied to the current biochemical solution. We show that this decision problem is NP-complete for arbitrary constraint systems C and that it can be solved in polynomial time for rules of bounded arity. In practice, we propose to solve this problem by constraint programming.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
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)
Cardelli, L.: From processes to odes by chemistry. In: IFIP TCS. IFIP, vol. 273, pp. 261–281. Springer, Heidelberg (2008)
Chabrier-Rivier, N., Fages, F., Soliman, S.: The biochemical abstract machine biocham. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 172–191. Springer, Heidelberg (2005)
Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Abstracting the differential semantics of rule-based models: Exact and automated model reduction. In: 25th LICS, pp. 362–381. IEEE Press, Los Alamitos (2010)
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)
Danos, V., Laneve, C.: Formal molecular biology. TCS 325(1), 69–110 (2004)
Fournet, C., Gonthier, G.: The reflexive cham and the join-calculus. In: POPL, pp. 372–385. ACM Press, New York (1996)
Gillespie, D.T.: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. Journal of Computational Physics 22(4), 403–434 (1976)
Gilroy, S.W., Harrison, M.D.: SBML: a user interface mark-up language based on interaction style. Int. J. Web Eng. Technol. 4(2), 207–234 (2008)
John, M., Lhoussaine, C., Niehren, J.: Dynamic compartments in the imperative pi calculus. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 235–250. Springer, Heidelberg (2009)
John, M., Lhoussaine, C., Niehren, J., Uhrmacher, A.: The attributed pi calculus with priorities. In: Priami, C., Breitling, R., Gilbert, D., Heiner, M., Uhrmacher, A.M. (eds.) Transactions on Computational Systems Biology XII. LNCS, vol. 5945, pp. 13–76. Springer, Heidelberg (2010)
Krivine, J., Danos, V., Benecke, A.: Modelling epigenetic information maintenance: A kappa tutorial. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 17–32. Springer, Heidelberg (2009)
Kuttler, C., Lhoussaine, C., Nebut, M.: Rule-based modeling of transcriptional attenuation at the tryptophan operon. In: Priami, C., Breitling, R., Gilbert, D., Heiner, M., Uhrmacher, A.M. (eds.) Transactions on Computational Systems Biology XII. LNCS, vol. 5945, pp. 199–228. Springer, Heidelberg (2010)
Kuttler, C., Lhoussaine, C., Niehren, J.: A stochastic pi calculus for concurrent objects. In: Anai, H., Horimoto, K., Kutsia, T. (eds.) Ab 2007. LNCS, vol. 4545, pp. 232–246. Springer, Heidelberg (2007)
Laneve, C., Pradalier, S., Zavattaro, G.: From biochemistry to stochastic processes. ENTCS 253(3), 167–185 (2009)
Papanikolaou, N.: The space and motion of communicating agents author: Robin Milner. SIGACT News 41(3), 51–55 (2010)
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.: Stochastic pi-calculus. Comput. J. 38(7), 578–589 (1995)
Ramsey, S., Orrell, D., Bolouri, H.: Dizzy: Stochastic simulation of large-scale genetic regulatory networks. J. Bioinformatics and Computational Biology 3(2), 415–436 (2005)
Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.Y.: Bioambients: an abstraction for biological compartments. TCS 325(1), 141–167 (2004)
Regev, A., Shapiro, E.: Cells as Computation. Nature 419, 343 (2002)
Romanel, A., Priami, C.: On the computational power of BlenX. TCS 411(2), 542–565 (2010)
Versari, C.: A core calculus for a comparative analysis of bio-inspired calculi. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 411–425. Springer, Heidelberg (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
John, M., Lhoussaine, C., Niehren, J., Versari, C. (2011). Biochemical Reaction Rules with Constraints. In: Barthe, G. (eds) Programming Languages and Systems. ESOP 2011. Lecture Notes in Computer Science, vol 6602. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19718-5_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-19718-5_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-19717-8
Online ISBN: 978-3-642-19718-5
eBook Packages: Computer ScienceComputer Science (R0)