Abstract
The paper presents a new approach based on process calculi to systems modeling suitable for biological systems. The main characteristic of process calculi is a linguistic description level to define incrementally and compositionally executable models. The formalism is suitable to be exploited on the same system at different levels of abstractions connected through well defined formal rules. The abstraction principle that represents biological entities as interacting computational units is the basis of the computational thinking that can help biology to unravel the functions of the cell machinery. We discuss then the perspectives that process calculi can open to life sciences and the impact that this can in turn produce on computer science.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
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
Calder, M., Gilmore, S., Hillston, J.: Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. In: Dumke, R.R., Abran, A. (eds.) IWSM 2000. LNCS, vol. 4230, Springer, Heidelberg (2006)
Danos, V., Schachter, V. (eds.): CMSB 2004. LNCS (LNBI), vol. 3082. Springer, Heidelberg (2005)
Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) ETAPS 1998 and FOSSACS 1998. LNCS, vol. 1378, Springer, Heidelberg (1998)
Castellani, I.: Process algebras with localities. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, pp. 945–1046 (2001)
Ciobanu, G., Rozenberg, G. (eds.): Modelling in Molecular Biology. Springer, Heidelberg (2004)
Danos, V., Krivine, J.: Formal Molecular Biology done in CCS-R. In: Proceedings of Workshop on Concurrent Models in Molecular Biology (Bio-CONCUR’03). Electronic Notes in Theoretical Computer Science (2003)
Danos, V., Laneve, C.: Formal molecular biology. TCS 325(1) (2004)
Finney, A., Sauro, H., Hucka, M., Bolouri, H.: An xml-based model description language for systems biology simulations. Technical report, California Institute of Technology, Technical report (September 2000)
Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81(25), 2340–2361 (1977)
Goss, P.J.E., Peccoud, J.: Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. In: Proceedings of the National Academy of Sciences, USA, vol. 12, pp. 6750–6754 (1998)
Guerriero, M.L., Priami, C., Romanel, A.: Beta-binders with static compartments. In: Algebraic Biology, 2007. to appear. Also TR-09-2006. The Microsoft Research - University of Trento Centre for Computational and Systems Biology (2007)
Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM 21(8), 666–677 (1978)
Hood, L., Galas, D.: The digital code of DNA. Nature 421, 444–448 (2003)
Kuttler, C., Niehren, J.: Gene regulation in the pi-calculus: simulating cooperativity at the lambda switch. In: Priami, C., Ingólfsdóttir, A., Mishra, B., Nielson, H.R. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol. 4230, Springer, Heidelberg (2006)
Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)
Milner, R.: Communicating and mobile systems: the π-calculus. Cambridge Universtity Press, Cambridge (1999)
Palsson, B.O.: Systems Biology. Properties of reconstructed networks. Cambridge Universtity Press, Cambridge (2006)
Păun, G. (ed.): Membrane Computing. An Introduction. Springer, Heidelberg (2002)
Phillips, A., Cardelli, L.: A Correct Abstract Machine for the Stochastic Pi-calculus. In: Priami, C., Ingólfsdóttir, A., Mishra, B., Nielson, H.R. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol. 4230, Springer, Heidelberg (2006)
Priami, C.: Stochastic π-calculus. The Computer Journal 38(6), 578–589 (1995)
Priami, C., Quaglia, P.: Beta Binders for Biological Interactions. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 20–33. Springer, Heidelberg (2005)
Priami, C., Regev, A., Silverman, W., Shapiro, E.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80(1), 25–31 (2001)
Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: An Abstraction for Biological Compartments. TCS 325(1) (2004)
Regev, A., Shapiro, E.: Cells as computation. Nature 419(6905), 343 (2002)
Romanel, A., Dematté, L., Priami, C.: The Beta Workbench. Technical Report TR-3-2007, The Microsoft Research - University of Trento Centre for Computational and Systems Biology (February 2007)
Wing, J.: Computational thinking. Communications of the ACM 49(3), 33–35 (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Priami, C. (2007). Computational Thinking in Biology. In: Priami, C. (eds) Transactions on Computational Systems Biology VIII. Lecture Notes in Computer Science(), vol 4780. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76639-1_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-76639-1_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76638-4
Online ISBN: 978-3-540-76639-1
eBook Packages: Computer ScienceComputer Science (R0)