A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment

This article presents a stochastic model of lymphocyte recruitment in inflamed brain microvessels. Recent studies about the inflammatory process of the brain that leads to multiple sclerosis have revealed that lymphocyte extravasation is a sequence of dynamical states, mediated by partially overlapped interactions of different adhesion molecules and activation factors. This study’s model of lymphocyte recruitment is based on process algebras for mobile systems. The biochemical system is modelled as a set of concurrent processes of the biochemical stochastic π-calculus. Processes are driven by suitable probability distributions that quantitatively describe the rates and the times at which reactions to simulations occur. The results of the model reproduce, within the estimated experimental errors, the functional behavior of the data obtained from laboratory measurements.

[1]  D. Harel,et al.  Toward rigorous comprehension of biological complexity: modeling, execution, and visualization of thymic T-cell maturation. , 2003, Genome research.

[2]  A. Graham Pockley,et al.  P-selectin glycoprotein ligand-1 supports rolling on E- and P-selectin in vivo , 2000 .

[3]  Daniela Degenring,et al.  Discrete event, multi-level simulation of metabolite channeling. , 2004, Bio Systems.

[4]  Giampiero Girolomoni,et al.  Quantitative Differences in Chemokine Receptor Engagement Generate Diversity in Integrin-Dependent Lymphocyte Adhesion1 , 2002, The Journal of Immunology.

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

[6]  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.

[7]  Faron Moller,et al.  The Mobility Workbench - A Tool for the pi-Calculus , 1994, CAV.

[8]  R Hofestädt,et al.  Quantitative modeling of biochemical networks , 1998, Silico Biol..

[9]  R. G. Cox,et al.  Slow viscous motion of a sphere parallel to a plane wall , 1967 .

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

[11]  J. Fritz,et al.  Force-mediated kinetics of single P-selectin/ligand complexes observed by atomic force microscopy. , 1998, Proceedings of the National Academy of Sciences of the United States of America.

[12]  C Zhu,et al.  Cell mechanics: mechanical response, cell adhesion, and molecular deformation. , 2000, Annual review of biomedical engineering.

[13]  Davide Sangiorgi,et al.  The Pi-Calculus - a theory of mobile processes , 2001 .

[14]  Hidde de Jong,et al.  Modeling and Simulation of Genetic Regulatory Systems: A Literature Review , 2002, J. Comput. Biol..

[15]  Rance Cleaveland,et al.  The concurrency workbench: a semantics-based tool for the verification of concurrent systems , 1993, TOPL.

[16]  D. Hammer,et al.  The state diagram for cell adhesion under flow: leukocyte rolling and firm adhesion. , 2000, Proceedings of the National Academy of Sciences of the United States of America.

[17]  Corrado Priami,et al.  Stochastic pi-Calculus , 1995, Comput. J..

[18]  G. I. Bell.  Models for the specific adhesion of cells to cells. , 1978, Science.

[19]  Jian Cao,et al.  Mechanics of Leukocyte Deformation and Adhesion to Endothelium in Shear Flow , 1999, Annals of Biomedical Engineering.

[20]  D. Gillespie.  A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions , 1976 .

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

[22]  Faron Mollerz,et al.  The Mobility Workbench | a Tool for the -calculus | , 1994 .

[23]  K E Norman,et al.  P-selectin glycoprotein ligand-1 supports rolling on E- and P-selectin in vivo. , 2000, Blood.

[24]  D. Lauffenburger,et al.  A dynamical model for receptor-mediated cell adhesion to surfaces. , 1987, Biophysical journal.

[25]  P Bongrand,et al.  Cell adhesion. Competition between nonspecific repulsion and specific bonding. , 1984, Biophysical journal.

[26]  Erwin A. Vogler.  A thermodynamic model of short-term cell adhesion in vitro , 1989 .

[27]  L A Sklar,et al.  Real time analysis of the affinity regulation of alpha 4-integrin. The physiologically activated receptor is intermediate in affinity between resting and Mn(2+) or antibody activation. , 2001, The Journal of biological chemistry.

[28]  Eric R. Prossnitz,et al.  Real Time Analysis of the Affinity Regulation of α4-Integrin , 2001, The Journal of Biological Chemistry.

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

[30]  David Harel,et al.  Modeling biological reactivity: statecharts vs. Boolean logic , 2002, AVI '02.

[31]  E. Evans,et al.  Chapter 15 - Physical Actions in Biological Adhesion , 1995 .

[32]  Eugene C. Butcher,et al.  Molecular Mechanisms Involved in Lymphocyte Recruitment in Inflamed Brain Microvessels: Critical Roles for P-Selectin Glycoprotein Ligand-1 and Heterotrimeric Gi-Linked Receptors1 , 2002, The Journal of Immunology.

[33]  Amir Pnueli,et al.  Formal Modeling of C. elegans Development: A Scenario-Based Approach , 2003, CMSB.

[34]  S Chien,et al.  Mechanics of Rouleau formation. , 1981, Biophysical journal.

[35]  D. Torney,et al.  The reaction-limited kinetics of membrane-to-surface adhesion and detachment , 1988, Proceedings of the Royal Society of London. Series B. Biological Sciences.

[36]  C. Zhu,et al.  Kinetics and mechanics of cell adhesion. , 2000, Journal of biomechanics.

[37]  Carlo Laudanna,et al.  Rapid leukocyte integrin activation by chemokines , 2002, Immunological reviews.

[38]  W. Shyy,et al.  Computational modeling of cell adhesion and movement using a continuum-kinetics approach. , 2003, Biophysical journal.

[39]  Marion U. Goebel,et al.  Acute Psychological Stress and Exercise and Changes in Peripheral Leukocyte Adhesion Molecule Expression and Density , 2000, Psychosomatic medicine.

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