Formal agent-based modelling of intracellular chemical interactions.

Individual-based or agent-based models have proved useful in a variety of different biological contexts. This paper presents an agent-based model using a formal computational modelling approach to model a crucial biological system--the intracellular NF-kappaB signalling pathway. The pathway is vital to immune response regulation, and is fundamental to basic survival in a range of species. Alterations in pathway regulation underlie many diseases, including atherosclerosis and arthritis. Our modelling of individual molecules, receptors and genes provides a more comprehensive outline of regulatory network mechanisms than previously possible with equation-based approaches. The model has been validated with data obtained from single cell experimental analysis.

[1]  F. Carlotti,et al.  Activation of nuclear factor kappaB in single living cells. Dependence of nuclear translocation and anti-apoptotic function on EGFPRELA concentration. , 1999, The Journal of biological chemistry.

[2]  M. Holcombe,et al.  The epitheliome: agent-based modelling of the social behaviour of cells. , 2004, Bio Systems.

[3]  Tianhai Tian,et al.  A Grid Implementation of Chemical Kinetic Simulation Methods in Genetic Regulation , 2003 .

[4]  O Wolkenhauer,et al.  Analysis and modelling of signal transduction pathways in systems biology. , 2003, Biochemical Society transactions.

[5]  U. Bhalla,et al.  Emergent properties of networks of biological signaling pathways. , 1999, Science.

[6]  Eva E. Qwarnstrom,et al.  Dynamic Shuttling of Nuclear Factor κB between the Nucleus and Cytoplasm as a Consequence of Inhibitor Dissociation* , 2000, The Journal of Biological Chemistry.

[7]  A. Hoffmann,et al.  The IkappaB-NF-kappaB signaling module: temporal control and selective gene activation. , 2002, Science.

[8]  Marian Gheorghe,et al.  Communicating Stream X-Machines Systems are no more than X-Machines , 1999, J. Univers. Comput. Sci..

[9]  Eva E. Qwarnstrom,et al.  RelA Control of IκBα Phosphorylation , 2003, Journal of Biological Chemistry.

[10]  Jason A. Papin,et al.  Reconstruction of cellular signalling networks and analysis of their properties , 2005, Nature Reviews Molecular Cell Biology.

[11]  H. Lodish.  Molecular Cell Biology , 1986 .

[12]  Ray Paton,et al.  A Model of Bacterial Adaptability Based on Multiple Scales of Interaction : COSMIC , 2004 .

[13]  James R. Johnson,et al.  Oscillations in NF-κB Signaling Control the Dynamics of Gene Expression , 2004, Science.

[14]  Marian Gheorghe,et al.  A hybrid machine model of rice blast fungus, Magnaporthe grisea. , 2003, Bio Systems.

[15]  Marek Kimmel,et al.  Mathematical model of NF- κB regulatory module , 2004 .

[16]  F. Ratnieks,et al.  Trail geometry gives polarity to ant foraging networks , 2004, Nature.

[17]  J. Davies,et al.  Molecular Biology of the Cell , 1983, Bristol Medico-Chirurgical Journal.

[18]  George Eleftherakis,et al.  XmCTL: Extending temporal logic to facilitate formal veri cation of X-machine models , 2001 .

[19]  H. Bolouri,et al.  Computation in Cells and Tissues , 2004, Natural Computing Series.

[20]  Mike Holcombe,et al.  Coupled computational simulation and empirical research into the foraging system of Pharaoh's ant (Monomorium pharaonis). , 2004, Bio Systems.

[21]  Eva E. Qwarnstrom,et al.  Activation of Nuclear Factor κB in Single Living Cells , 1999, The Journal of Biological Chemistry.

[22]  D. Bray,et al.  Stochastic simulation of chemical reactions with spatial resolution and single molecule detail , 2004, Physical biology.