×

zbMATH — the first resource for mathematics

BioAmbients: an abstraction for biological compartments. (English) Zbl 1069.68569
Summary: Biomolecular systems, composed of networks of proteins, underlie the major functions of living cells. Compartments are key to the organization of such systems. We have previously developed an abstraction for biomolecular systems using the \(\phi\)-calculus process algebra, which successfully handled their molecular and biochemical aspects, but provided only a limited solution for representing compartments. In this work, we extend this abstraction to handle compartments. We are motivated by the ambient calculus, a process algebra for the specification of process location and movement through computational domains. We present the BioAmbients calculus, which is suitable for representing various aspects of molecular localization and compartmentalization, including the movement of molecules between compartments, the dynamic rearrangement of cellular compartments, and the interaction between molecules in a compartmentalized setting. Guided by the calculus, we adapt the BioSpi simulation system, to provide an extended modular framework for molecular and cellular compartmentalization, and we use it to model and study a complex multi-cellular system.

MSC:
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
92C40 Biochemistry, molecular biology
92E20 Classical flows, reactions, etc. in chemistry
Software:
TRANSFAC; BioSPI
PDF BibTeX Cite
Full Text: DOI
References:
[1] Ashburner, M.; Ball, C.A.; Blake, J.A.; Botstein, D.; Butler, H.; Cherry, J.M.; Davis, A.P.; Dolinski, K.; Dwight, S.S.; Eppig, J.T.; Harris, M.A.; Hill, D.P.; Issel-Tarver, L.; Kasarskis, A.; Lewis, S.; Matese, J.C.; Richardson, J.E.; Ringwald, M.; Rubin, G.M.; Sherlock, G., Gene ontologytool for the unification of biology. the gene ontology consortium, Natur. genetics, 25, 1, 25-29, (2000)
[2] Bader, G.D.; Donaldson, I.; Wolting, C.; Ouellette, B.F.; Pawson, T.; Hogue, C.W., Bind-the biomolecular interaction network database, Nucleic acids res, 29, 1, 242-245, (2001)
[3] L. Cardelli, Bioware languages, in: A. Herbert, K. Spärck Jones (Eds.), Computer Systems: Theory, Technology, and Applications — A Tribute to Rodger Needham, Springer, 2003.
[4] L. Cardelli, A.D. Gordon, Mobile ambients, in: Foundations of Software Science and Computation Structures: First Internat. Conf., FOSSACS ’98, Springer, Berlin, 1998.
[5] Danos, V.; Laneve, C., Graphs for core molecular biology, (), 34-46 · Zbl 1053.92021
[6] Gillespie, D.T., Exact stochastic simulation of coupled chemical reactions, J. phys. chem, 81, 25, 2340-2361, (1977)
[7] Goss, P.J.E.; Peccoud, J., Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets, Proc. nat. acad. sci. USA, 95, 12, 6750-6755, (1998)
[8] Haugh, J.M.; Lauffenburger, D.A., Analysis of receptor internalization as a mechanism for modulating signal transduction, J. theoret. biol, 195, 2, 187-218, (1998)
[9] N. Kam, I.R. Cohen, D. Harel, The immune system as a reactive system: modeling T cell activation with statecharts, Bull. Math. Biol., 2002, to appear (an extended abstract of this paper appeared in the Proceeding of the Symposia on Human-Centric Computing Languages and Environments, Stresa, Italy, September 2001, pp. 15-22).
[10] Levchenko, A.; Bruck, J.; Sternberg, P.W., Scaffold proteins may biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties, Proc. nat. acad. sci. USA, 97, 5818-5823, (2000)
[11] Lodish, H.; Berk, A.; Zipursky, S.L.; Matsudaira, P.; Baltimore, D.; Darnell, J.E., Molecular cell biology, (2000), W.H. Freeman New York
[12] Matsuno, H.; Murakani, R.; Yamane, R.; Yamasaki, N.; Fujita, S.; Yoshimori, H.; Miyano, S., Boundary formation by notch signaling in drosophila multicellular systems: experimental observations and gene network modeling by genomic object net, (), 152-163 · Zbl 1219.92006
[13] Milner, R., Communicating and mobile systems: the π-calculus, (1999), Cambridge University Press Cambridge · Zbl 0942.68002
[14] R. Milner, Bigraphical reactive systems, in: Proc. of the 12th Internat. Conf. on Concurrency Theory (CONCUR 2001), Lecture Notes in Computer Science, Vol. 2154, Springer, Berlin, 2001, pp. 16-35. · Zbl 1006.68080
[15] M. Nagasaki, S. Onami, S. Miyano, H. Kitano, Bio-calculus: its concept and molecular interaction, in: Genome Informatics, Vol. 10, Universal Academy Press, Tokyo, 1999, pp. 133-143.
[16] Paun, G., Membrane computing: an introduction, (2002), Springer Berlin · Zbl 1034.68037
[17] Priami, C.; Regev, A.; Shapiro, E.; Silverman, W., Application of a stochastic name-passing calculus to representation and simulation of molecular processes, Inform. process. lett, 80, 25-31, (2001) · Zbl 0997.92018
[18] A. Regev, The full code for this model is available from ftp://www.cgr.harvard.edu/public/ambients.
[19] A. Regev, W. Silverman, E. Shapiro, Representation and simulation of biochemical processes using the pi-calculus process algebra, in: R.B. Altman, A.K. Dunker, L. Hunter, T.E. Klein (Eds.), Pacific Symp. on Biocomputing, Vol. 6, World Scientific Press, Singapore, 2001, pp. 459-470.
[20] Schwartz, M.W.; Woods, S.C.; Porte, D.; Seeley, R.J.; Baskin, D.G., Central nervous system control of food intake, Nature, 404, 661-671, (2000)
[21] E. Shapiro, Concurrent prolog: a progress report, in: E. Shapiro (Ed.), Concurrent Prolog, Vol. I, MIT Press, Cambridge, MA, 1987, pp. 157-187.
[22] W. Silverman, M. Hirsch, A. Houri, E. Shapiro, The Logix system user manual, version 1.21, in: E. Shapiro (Ed.), Concurrent Prolog, Vol. II, MIT Press, Cambridge, MA, 1987, pp. 46-78.
[23] Wingender, E.; Chen, X.; Fricke, E.; Geffers, R.; Hehl, R.; Liebich, I.; Krull, M.; Matys, V.; Michael, H.; Ohnhauser, R.; Pruss, M.; Schacherer, F.; Thiele, S.; Urbach, S., The transfac system on gene expression regulation, Nucleic acids res, 29, 1, 281-283, (2001)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.