Abstract
Living cells are extremely well-organized autonomous systems, consisting of discrete interacting components. Key to understanding and modeling their behavior is modeling their system organization. Four distinct chemical toolkits (classes of macromolecules) have been characterized, each combinatorial in nature. Each toolkit consists of a small number of simple components that are assembled (polymerized) into complex structures that interact in rich ways. Each toolkit abstracts away from chemistry; it embodies an abstract machine with its own instruction set and its own peculiar interaction model. These interaction models are highly effective, but are not ones commonly used in computing: proteins stick together, genes have fixed output, membranes carry activity on their surfaces. Biologists have invented a number of notations attempting to describe these abstract machines and the processes they implement. Moving up from molecular biology, systems biology aims to understand how these interaction models work, separately and together.
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
Adami, C.: What is complexity? BioEssays, vol. 24, pp. 1085–1094. Wiley, Chichester (2002)
Alberts, B., Bray, D., Lewis, J., Raff, M., Roberts, K., Watson, J.D.: Molecular biology of the cell, 3rd edn., Garland
Alur, R., Belta, C., Ivancic, F., Kumar, V., Mintz, M., Pappas, G.J., Rubin, H., Schug, J.: Hybrid modeling of biomolecular networks. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol. 2034, p. 19. Springer, Heidelberg (2001)
Antoniotti, M., Mishra, B., Park, F., Policriti, A., Ugel, N.: Foundations of a query and simulation system for the modeling of biochemical and biological processes. In: Hunter, L., Jung, T.A., Altman, R.B., Dunker, A.K., Klein, T.E. (eds.) The Pacific Symposium on Biocomputing (PSB 2003), pp. 116–127. World Scientific, Singapore (2003)
Antoniotti, M., Piazza, C., Policriti, A., Simeoni, M., Mishra, B.: Modeling cellular behavior with hybrid automata: bisimulation and collapsing. In: Priami, C. (ed.) CMSB 2003. LNCS, vol. 2602, pp. 57–74. Springer, Heidelberg (2003)
Antoniotti, M., Policriti, A., Ugel, N., Mishra, B.: Model building and model checking for biochemical processes. Cell Biochemistry and Biophysics (2003) (in press)
Bodei, C., Degano, P., Nielson, F., Nielson, H.R.: Control flow analysis for the pi-calculus. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 84–98. Springer, Heidelberg (1998)
Burger, K.N.J.: Greasing membrane fusion and fission machineries. Traffic 1, 605–613 (2000)
Ciobanu, G., Ciubotariu, V., Tanasa, B.: A p-calculus model of the Na pump. Genome Informatics 13, 469–471 (2002)
Ciobanu, G.: Software verification of biomolecular systems. In: Ciobanu, G., Rozenberg, G. (eds.) Modelling in Molecular Biology. Natural Computing Series, pp. 40–59. Springer, Heidelberg (2004)
Curti, M., Degano, P., Priami, C., Baldari, C.T.: Modelling biochemical pathways through enhanced pi-calculus. Theoretical Computer Science 325(1), 111–140
Cardelli, L.: Brane calculi – Interactions of biological membranes. In: Proc. Computational Methods in Systems Biology 2004. Springer, Heidelberg (2004) (to appear)
Cardelli, L., Gordon, A.D.: Mobile ambients. In: Le Métayer, D. (ed.) Theoretical Computer Science, June 2000. Special Issue on Coordination, vol. 240/1, pp. 177–213 (2000)
Danos, V., Chiaverini, M.: A core modeling language for the working molecular biologist (2002)
Danos, V., Laneve, C.: Formal molecular biology. Theoretical Computer Science (to appear)
Davidson, E.H., McClay, D.R., Hood, L.: Regulatory gene networks and the properties of the developmental process. PNAS 100(4), 1475–1480 (2003)
Di Pierro, A., Wiklicky, H.: Probabilistic abstract interpretation and statistical testing (Extended abstract). In: Hermanns, H., Segala, R. (eds.) PROBMIV 2002, PAPM-PROBMIV 2002, and PAPM 2002. LNCS, vol. 2399, pp. 211–212. Springer, Heidelberg (2002)
Efroni, S., Harel, D., Cohen, I.R.: Reactive animation: realistic modeling of complex dynamic systems. IEEE Computer (2005) (to appear)
Elowitz, M.B., Leibler, S.: A synthetic oscillatory network of transcriptional regulators. Nature 403, 335–338 (2000)
Fages, F., Soliman, S., Chabrier-Rivier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. J. Biological Physics and Chemistry 4(2), 64–73 (2004)
Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81, 2340–2361 (1977)
Harel, D.: Statecharts: a visual formalism for complex systems. Science of Computer Programming 8, 231–274 (1987)
Hartwell, L.H., Hopfield, J.J., Leibler, S., Murray, A.W.: From molecular to modular cell biology. Nature 402(6761 Suppl.), C47–52 (1999)
Hillston, J.: A compositional approach to performance modelling. Cambridge University Press, Cambridge (1996)
Huang, C.-Y.F., Ferrell Jr, J.E.: Ultrasensitivity in the mitogen-activated protein kinase cascade. PNAS 93, 10078–10083 (1996)
Kauffman, S., Peterson, C., Samuelsson, B., Troein, C.: Random Boolean network models and the yeast transcriptional network. PNAS 100(25), 14796–14799 (2003)
Kitano, H.: The standard graphical notation for biological networks. In: The Sixth Workshop on Software Platforms for Systems Biology (2002)
Kitano, H.: A graphical notation for biochemical networks. BIOSILICO 1, 169–176 (2003)
Kohn, K.W.: Molecular interaction map of the mammalian cell cycle control and DNA repair systems. Molecular Biology of the Cell 10(8), 2703–2734 (1999)
Kuttler, C., Niehren, J., Blossey, R.: Gene regulation in the pi calculus: simulating cooperativity at the Lambda switch. In: BioConcur 2004. ENTCS (2004)
Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic symbolic model checking with PRISM: a hybrid approach. J. Software Tools for Technology Transfer (STTT) 6(2), 128–142 (2004)
Lodish, H., Berk, A., Zipursky, S.L., Matsudaira, P., Baltimore, D., Darnell, J.: Molecular cell biology, 4th edn. Freeman, New York (2002)
Mattick, J.S.: The hidden genetic program of complex organisms. Scientific American, 31–37 (October 2004)
McAdams, H.H., Arkin, A.: It’s a noisy business! Genetic regulation at the nanomolar scale. Trends Genet. 15(2), 65–69 (1999)
Milner, R.: Communicating and mobile systems: the p-calculus. Cambridge University Press, Cambridge (1999)
Milo, R., Shen-Orr, S., Itzkovitz, S., Kashtan, N., Chklovskii, D., Alon, U.: Network motifs: simple building blocks of complex networks. Science 298, 824–827 (2002)
Milner, R.: Bigraphical reactive systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 16–35. Springer, Heidelberg (2001)
Nagasaki, M., Onami, S., Miyano, S., Kitano, H.: Bio-calculus: its concept and molecular interaction. Genome Informatics 10, 133–143 (1999) PMID: 11072350
Nielson, F., Hansen, R.R., Nielson, H.R.: Abstract interpretation of mobile ambients. Science of Computer Programming 47(2-3), 145–175 (2003)
Nielson, F., Nielson, H.R., Priami, C., Rosa, D.: Static analysis for systems biology. In: Proc. ACM Winter International Symposium on Information and Communication Technologies, Cancun (2004)
Nielson, F., Nielson, H.R., Priami, C., Rosa, D.: Control flow analysis for BioAmbients. In: Proc. BioCONCUR (2003) (to appear)
Paun, G.: Membrane computing. Springer, Heidelberg (2002)
Priami, C.: The stochastic pi-calculus. The Computer Journal 38, 578–589 (1995)
Priami, C., Regev, A., Shapiro, E., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80, 25–31 (2001)
Prusinkiewicz, P., Hammel, M., Mjolsness, E.: Animation of plant development. In: Proceeding of SIGGRAPH 1993, vol. 351, p. 360. ACM Press, New York (1993)
Ptashne, M.: Genetic switch: phage Lambda revisited, 3rd edn. Cold Spring Harbor Laboratory Press (2004)
Regev, A.: Computational systems biology: a calculus for biomolecular knowledge. Ph.D. Thesis, Tel Aviv University (2002)
Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: an abstraction for biological compartments. Theoretical Computer Science (to appear)
Regev, A., Shapiro, E.: Cells as computation. Nature 419, 343 (2002)
Shmulevich, I., Dougherty, E.R., Zhang, W.: From Boolean to probabilistic Boolean networks as models of genetic regulatory networks. Proceedings of the IEEE 90(11), 1778–1792 (2002)
Systems biology markup language, http://www.sbml.org
Thieffry, D., Thomas, R.: Qualitative analysis of gene networks. In: Pacific Symposium on Biocomputing, pp. 77–88 (1998) PMID: 9697173
Vilar, J.M., Kueh, H.Y., Barkai, N., Leibler, S.: Mechanisms of noise-resistance in genetic oscillators. PNAS 99(9), 5988–5992 (2002)
Yuh, C.-H., Bolouri, H., Davidson, E.H.: Genomic cis-regulatory logic: experimental and computational analysis of a sea urchin gene. Science 279, 1896–1902 (1998), www.sciencemag.org
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cardelli, L. (2005). Abstract Machines of Systems Biology. In: Priami, C., Merelli, E., Gonzalez, P., Omicini, A. (eds) Transactions on Computational Systems Biology III. Lecture Notes in Computer Science(), vol 3737. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11599128_10
Download citation
DOI: https://doi.org/10.1007/11599128_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30883-6
Online ISBN: 978-3-540-31446-2
eBook Packages: Computer ScienceComputer Science (R0)