Abstract
Lymphocytes roll along the walls of vessels to survey the endothelial surface for chemotactic inflammatory signals, which stimulate the lymphocytes to stop rolling and migrate through the endothelium and its supporting basement membrane. Recent studies about the inflammatory process of the brain leading to the multiple sclerosis, have revealed that lymphocytes extravasation is a sequence of dynamical states (contact with endothelium, rolling and firm adhesion), mediated by partially overlapped interactions of different adhesion molecules and activation factors. These interactions are both concurrent and parallel, and consequently their modelling need to be specified in a language able to represent concurrency and parallelism. Process calculi (or process algebras) are a diverse family of related languages developed by in computer science for formally modelling concurrent systems. Here, we propose the use of the biochemical stochastic π-calculus. This calculus is an efficient tool for describing the concurrency of the different interactions driving the phases of lymphocytes recruitment. It models a biochemical systems as a set of concurrent processes selected according to a suitable probability distribution to quantitatively describe the rates and the times at which the reactions occur. We use here this tool to model and simulate the molecular mechanisms involved in encephalitogenic lymphocytes recruitment. In particular, we show that the model predicts the percentage of lymphocytes involved in the rolling process on the endothelium of vessels of different diameters and the adhesion probability of the cell as function of interaction time. The results of the model reproduce, within the estimated experimental errors, the functional behavior of the data obtained from laboratory measurements.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Major developments in the 1990s included experiments that provided direct measurements of kinetic rates, lifetimes and detachment force of adhesive interactions.
References
BioSpi home page: http://www.wisdom.weizmann.ac.il/~biopsi/
Bell GI (1978) Models for the specific adhesion of cells to cells. Science 200:618–627
Bell GI, Dembo M, Bongrand P (1984) Cell adhesion. Competition between non-specific repulsion and specific bonding. Biophys J 45:1051–1064
Chang K, Tees DFJ, Hammer DA (2000) The state diagram for cell adhesion under flow: leukocyte adhesion and rolling. Proc Natl Acad Sci USA. doi:10.1073/pnas200240897
Chigaev A, Blenc AM, Braaten JV, Kumaraswamy N, Kepley CL, Andrews RP, Oliver JM, Edwards BS, Prossnitz ER, Larson RS, Sklar LA
Curti M, Degano P, Baldari CT (2003) Casual π-calculus for biochemical modelling. In: Computational methods in system biology, CMSB, Rovereto, Springer, Berlin/New York
D’Ambrosio D, Lecca P, Priami C, Laudanna C (2004) Concurrency in leukocyte vascular recognition: developing the tools for a predictive computer model. Trends Immunol 25: 411–416
Dembo M, Torney DC, Saxaman K, Hammer D (1978) The reaction-limited kinetics of membrane-to-surface adhesion and detachment. Proc R Soc Lond B 234:55–83
Dong C, Cao J, Struble EJ, Lipowsky H (1999) Mechanics of leukocyte deformation and adhesion to endothelium in shear flow. Annu Biomed Eng 27:298–312
Evans EA (1995) Physical actions in biological adhesion. In: Lipowski R, Sackmann E (eds) Handbook of biophysics, vol I. Elsevier, Amsterdam
Fritz J, Katopodis AG, Kolbinger F, Anselmetti D (1998) Force-mediated kinetics of single P-selectin/ligand complexes by atomic force microscopy. Proc Natl Acad Sci USA 95: 12283–12288
Gillespie DT (1976) A general method for numerically simulating the stochastic time evolution of coupled chemical species. J Comput Phys 22:403–434
Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J Phys Chem 81(25):2340–2361
Goebel MU, Mills PJ (2000) Acute psychological stress and exercise and changes in peripheral leukocyte adhesion molecule expression and density. Psychosom Med 62(5):664–670
Goldman AJ, Cox RG, Brenner H (1967) Slow viscous motion of a sphere parallel to a plane wall: couette flow. Chem Eng Sci 22:653–660
Hammer DA, Lauffenburgher DA (1987) A dynamical model for receptor-mediated cell adhesion to surfaces. Biophys J 52:475–487
Lecca P, Priami C, Quaglia P, Rossi B, Laudanna C, Constantin G (2004) A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment. Simulation 80: 273–288
Lei X, Dong C (1999) Cell deformation and adhesion kinetics in leukocyte rolling. In: BED-Vol. 50, bioengineering conference, ASME
Marshall B, McEver RP, Zhu C (2001) Kinetics rates and their force dependence of the P-SELECTIN/PSGL-1 interaction measured by atomic force microscopy. In: BED-Vol. 50, bioengineering conference, ASME
Milner R (1989) Communication and concurrency. Internationa series in computer science. New Yourk, Prentice Hall
Milner R (1999) Communicating and mobile systems: the π-calculus. Cambridge University Press, Cambridge
N’dri N, Shyy W, Udaykumar HS, Tran-Son-tay R (2001) Computational modeling of cell adhesion and movement using continuum-kinetics approach. In: BED-Vol. 50, bioengineering conference, ASME
Norman KE, Katopodis AG, Thoma G, Kolbinger F, Hicks AE, Cotter MJ, Pockley AG, Hellewell PG (2000) P-selectin glycoprotein ligand-1 supports rolling on E- and P-selectin in vivo. Blood 96(10):3585–3591
Piccio L, Rossi B, Scarpini E, Laudanna C, Giagulli C, Issekutz AC, Vestweber D, Butcher EC, Costantin G (2002) Molecular mechanism involved in lymphocyte recruitment in inflamed brain microvessel: critical roles for P-selectin Glycoprotein Ligand-1 and Heterotrimeric G i -linked receptors. J Immunol 168:1940–1949
Priami C (1995) Stochastic π-calculus. Comput J 38:6578–6589
Priami C, Regev A, Silverman W, Shapiro E (2001) Application of a stochastic name passing calculus to representation and simulation of molecular processes. Inf Process Lett 80:25–31
Regev A (2001) Representation and simulation of molecular pathways in the stochastic π-calculus. In: Proceedings of the 2nd workshop on computation of biochemical pathways and genetic networks, Villa Bosch
Regev A, Silverman W, Shapiro E (2000) Representing biomolecular processes with computer process algebra: π-calculus programs of signal transduction pathways. American Assocation for Artificial Intelligence Pubblication, Menlo Park
Regev A, Silverman W, Shapiro E (2001) Representation and simulation of biochemical processes using the pi-calculus process algebra. Proc Pac Symp Biocomput (PSB2001) 6: 459–470
Skalak R, Zarda PR, Jan KM, Chien S (1981) Mechanics of rouleau fromation. Biophys J 35:771–781
Vogler EA (1989) A thermodynamic model of short-term cell adhesion in vitro. Colloid Surf 42:233
Zhu C (2000) Kinetic and mechanics of cell adhesion. J Biomech 33:23–33
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Lecca, P. (2012). A Process-Algebra Model of the Cell Mechanics of Autoreactive Lymphocytes Recruitment. In: Natal Jorge, R., Tavares, J., Pinotti Barbosa, M., Slade, A. (eds) Technologies for Medical Sciences. Lecture Notes in Computational Vision and Biomechanics, vol 1. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-4068-6_15
Download citation
DOI: https://doi.org/10.1007/978-94-007-4068-6_15
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-4067-9
Online ISBN: 978-94-007-4068-6
eBook Packages: EngineeringEngineering (R0)