BioAmbients: an abstraction for biological compartments

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 π-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.

[1]  Onami,et al.  Bio-calculus: Its Concept and Molecular Interaction. , 1999, Genome informatics. Workshop on Genome Informatics.

[2]  Ehud Shapiro,et al.  Concurrent Prolog: A Progress Report , 1985, Computer.

[3]  G. Yarrington.  Molecular Cell Biology , 1987, The Yale Journal of Biology and Medicine.

[4]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[5]  Ian M. Donaldson,et al.  BIND: the Biomolecular Interaction Network Database , 2001, Nucleic Acids Res..

[6]  A. Dunker.  The pacific symposium on biocomputing , 1998 .

[7]  Ehud Shapiro,et al.  The Logix system user manual version 1.21 , 1988 .

[8]  David Harel,et al.  The immune system as a reactive system: modeling T cell activation with statecharts , 2001, Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587).

[9]  Aviv Regev,et al.  Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra , 2000, Pacific Symposium on Biocomputing.

[10]  Jehoshua Bruck,et al.  Scaffold proteins may biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties. , 2000, Proceedings of the National Academy of Sciences of the United States of America.

[11]  Gheorghe Paun,et al.  Membrane Computing , 2002, Natural Computing Series.

[12]  D. Gillespie.  Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

[13]  M. Ashburner,et al.  Gene Ontology: tool for the unification of biology , 2000, Nature Genetics.

[14]  Hiroshi Matsuno,et al.  Boundary Formation by Notch Signaling in Drosophila Multicellular Systems: Experimental Observations and Gene Network Modeling by Genomic Object Net , 2002, Pacific Symposium on Biocomputing.

[15]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[16]  D A Lauffenburger,et al.  Analysis of receptor internalization as a mechanism for modulating signal transduction. , 1998, Journal of theoretical biology.

[17]  Cosimo Laneve,et al.  Graphs for Core Molecular Biology , 2003, CMSB.

[18]  P J Goss,et al.  Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. , 1998, Proceedings of the National Academy of Sciences of the United States of America.

[19]  S. Woods,et al.  Central nervous system control of food intake , 2000, Nature.

[20]  Akif Uzman,et al.  Molecular Cell Biology (4th edition): Harvey Lodish, Arnold Berk, S. Lawrence Zipursky, Paul Matsudaira, David Baltimore and James Darnell; Freeman & Co., New York, NY, 2000, 1084 pp., list price $102.25, ISBN 0-7167-3136-3 , 2001 .

[21]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[22]  R. Milner,et al.  Bigraphical Reactive Systems , 2001, CONCUR.

[23]  Corrado Priami,et al.  Application of a stochastic name-passing calculus to representation and simulation of molecular processes , 2001, Inf. Process. Lett..

[24]  Xin Chen,et al.  The TRANSFAC system on gene expression regulation , 2001, Nucleic Acids Res..