Reactive animation: From piecemeal experimentation to reactive biological systems

Autoimmunity

Volumn 44, Issue 4, 2011, Pages 271-281

  Vainas, Oded ^a   Harel, David ^b   Cohen, Irun R ^b   Efron, Sol ^a  

^a BAR ILAN UNIVERSITY   (Israel)

^b WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

complex systems; computational models; pancreas; Reactive animation; simulation; statecharts; systems biology; T cell activation; thymus

Indexed keywords

CCL25 CHEMOKINE; CHEMOKINE; CHEMOKINE RECEPTOR CCR9; CHEMOKINE RECEPTOR CXCR4; INTERLEUKIN 2 RECEPTOR; MACROPHAGE DERIVED CHEMOKINE; SECONDARY LYMPHOID TISSUE CHEMOKINE; STROMAL CELL DERIVED FACTOR 1; T LYMPHOCYTE RECEPTOR; UNCLASSIFIED DRUG;

ANTIGEN PRESENTING CELL; ARTICLE; BIOLOGY; CD4+ T LYMPHOCYTE; CD8+ T LYMPHOCYTE; CELL CYCLE REGULATION; CELL INTERACTION; COMPUTER MODEL; EXPERIMENTATION; EXTRACELLULAR MATRIX; MOLECULAR INTERACTION; NONHUMAN; ORGANOGENESIS; PANCREAS; REACTIVE ANIMATION; T LYMPHOCYTE ACTIVATION; THYMOCYTE;

COMPUTER SIMULATION; LYMPHOCYTE ACTIVATION; MODELS, BIOLOGICAL; ORGANOGENESIS; PANCREAS; SYSTEMS BIOLOGY; T-LYMPHOCYTES; THYMUS GLAND;

EID: 79954461933     PISSN: 08916934     EISSN: 1607842X     Source Type: Journal    
DOI: 10.3109/08916934.2010.523260     Document Type: Article

References (41)

1. Cohen IR, Harel D. Explaining a complex living system: Dynamics, multi-scaling and emergence. J R Soc Interface 2007;4:175-182. (Pubitemid 46513049)
2. Efroni S, Harel D, Cohen IR. Reactive animation: Realistic modeling of complex dynamic systems. IEEE Comput 2005; 38:38-47. (Pubitemid 40583541)
3. Harel D, Efroni S, Cohen IR. Reactive Animation, Proc. 1st Int. Symposium on Formal Methods for Components and Objects (FMCO 2002) (invited paper), Lecture Notes in Computer Science, Vol. 2852, Leiden, The Netherlands: Springer-Verlag; 2003. p 136-153.
4. Harel D. A Statecharts: Visual formalism for complex systems. Sci Comput Program 1987;8:231-274. (Pubitemid 17617706)
5. Bauer AL, Beauchemin CA, Perelson AS. Agent-based modeling of host-pathogen systems: The successes and challenges. Inf Sci (NY) 2009;179:1379-1389.
6. Efroni S, Harel D, Cohen IR. Toward rigorous comprehension of biological complexity: Modeling, execution, and visualization of thymic T-cell maturation. Genome Res 2003;13: 2485-2497. (Pubitemid 37428273)
7. Efroni S, Harel D, Cohen IR. Emergent dynamics of thymocyte development and lineage determination. PLoS Comput Biol 2007;3:e13.
8. Fisher J, Henzinger TA. Executable cell biology. Nat Biotechnol 2007;25:1239-1249. (Pubitemid 350089829)
9. Fisher J, Piterman N. The executable pathway to biological networks. Brief Funct Genomics 2010;9:79-92.
10. Sadot A, Fisher J, BarakD, Admanit Y, SternMJ, Hubbard EJ, HarelD. Toward verified biological models. IEEE/ACMTrans Comput Biol Bioinform 2008;5:223-234.
11. Clarke EM, Grumberg O, Peled D. Model checking. Cambridge, Mass: MIT Press; 1999.
12. Kam N, Cohen IR, Harel D. The immune system as a reactive system: Modeling T cell activation with Statecharts, Proceedings of Visual Languages and Formal Methods (VLFM'01), part of IEEE Symposium on Human-Centric Computing (HCC'01). 2001;15-22.
13. Setty Y, Cohen IR, Dor Y, Harel D. Four-dimensional realistic modeling of pancreatic organogenesis. Proc Natl Acad Sci USA 2008;105:20374-20379.
14. Janeway C. Immunobiology: The immune system in health and disease. 6th ed. New York: Garland Science; 2005.
15. Harel D, Gery E. Executable object modeling with statecharts. Computer IEEE Press 1997;30:31-42.
16. Fisher J, Piterman N, Hubbard EJ, Stern MJ, Harel D. Computational insights into Caenorhabditis elegans vulval development. Proc Natl Acad Sci USA 2005;102:1951-1956. (Pubitemid 40261993)
17. Cohen IR. Tending Adam's garden: Evolving the cognitive immune self. London, UK: Academic Press; 2000.
18. Douek DC, Betts MR, Hill BJ, Little SJ, Lempicki R, Metcalf JA, Casazza J, Yoder C, Adelsberger JW, Stevens RA, Baseler MW, Keiser P, Richman DD, Davey RT, Koup RA. Evidence for increased T cell turnover and decreased thymic output in HIV infection. J Immunol 2001;167:6663-6668. (Pubitemid 33081605)
19. Holoshitz J, Matitiau A, Cohen IR. Role of the thymus in induction and transfer of vaccination against adjuvant arthritis with a T lymphocyte line in rats. J Clin Invest 1985;75: 472-477. (Pubitemid 15143487)
20. Anderson G, Jenkinson EJ. Lymphostromal interactions in thymic development and function. Nat Rev Immunol 2001;1: 31-40. (Pubitemid 33741973)
21. Germain RN. T-cell development and the CD4-CD8 lineage decision. Nat Rev Immunol 2002;2:309-322. (Pubitemid 37328754)
22. Platt N, Suzuki H, Kurihara Y, Kodama T, Gordon S. Role for the class A macrophage scavenger receptor in the phagocytosis of apoptotic thymocytes in vitro. Proc Natl Acad Sci USA 1996;93:12456-12460. (Pubitemid 26367165)
23. Benczik M, Gaffen SL. The interleukin (IL)-2 family cytokines: Survival and proliferation signaling pathways in T lymphocytes. Immunol Invest 2004;33:109-142. (Pubitemid 38685927)
24. Wurbel MA, Philippe JM, Nguyen C, Victorero G, Freeman T, Wooding P, Miazek A, Mattei MG, Malissen M, Jordan BR, Malissen B, Carrier A, Naquet P. The chemokine TECK is expressed by thymic and intestinal epithelial cells and attracts double- and single-positive thymocytes expressing the TECK receptor CCR9. Eur J Immunol 2000;30:262-271. (Pubitemid 30011788)
25. Nanda NK, Sercarz EE. The positively selected T cell repertoire: Is it exclusively restricted to the selecting MHC? Int Immunol 1995;7:353-358.
26. Yasutomo K, Lucas B, Germain RN. TCR signaling for initiation and completion of thymocyte positive selection has distinct requirements for ligand quality and presenting cell type. J Immunol 2000;165:3015-3022.
27. Plotkin J, Prockop SE, Lepique A, Petrie HT. Critical role for CXCR4 signaling in progenitor localization and T cell differentiation in the postnatal thymus. J Immunol 2003;171: 4521-4527. (Pubitemid 37310567)
28. Swerdlin N, Cohen IR, Harel D. The lymph node B cell immune response: Dynamic analysis in-silico. Proc IEEE Special Issue Comput Syst Biol 2003;96:1421-1443.
29. Pictet RL, Clark WR, Williams RH, Rutter WJ. An ultrastructural analysis of the developing embryonic pancreas. Dev Biol 1972;29:436-467.
30. Jensen J. Gene regulatory factors in pancreatic development. Dev Dyn 2004;229:176-200. (Pubitemid 38036833)
31. Hogan KA, Bautch VL. Blood vessel patterning at the embryonic midline. Curr Top Dev Biol 2004;62:55-85. (Pubitemid 39752375)
32. Lammert E, Cleaver O, Melton D. Induction of pancreatic differentiation by signals from blood vessels. Science 2001; 294:564-567. (Pubitemid 32999547)
33. Herrera PL. Adult insulin- and glucagon-producing cells differentiate from two independent cell lineages. Development 2000;127:2317-2322. (Pubitemid 30386571)
34. Kim SK, MacDonald RJ. Signaling and transcriptional control of pancreatic organogenesis. Curr Opin Genet Dev 2002;12: 540-547. (Pubitemid 35013536)
35. Meier-Schellersheim M, Klauschen F, Angermann B. Computational modeling of signaling networks for eukaryotic chemosensing. Methods Mol Biol 2009;571:507-526.
36. Meier-Schellersheim M, Xu X, Angermann B, Kunkel EJ, Jin T, Germain RN. Key role of local regulation in chemosensing revealed by a new molecular interaction-based modeling method. PLoS Comput Biol 2006;2:e82.
37. Castiglione F, Bernaschi M, Succi S. Simulating the immune response on a distributed parallel computer. Int JMod Phys C 1997;8(3):527-545. (Pubitemid 127468985)
38. Celada F, Seiden PE. A computer model of cellular interactions in the immune system. Immunol Today 1992; 13:56-62.
39. Cheng Y, Ghersi D, Calcagno C, Selin LK, Puzone R, Celada F. A discrete computer model of the immune system reveals competitive interactions between the humoral and cellular branch and between cross-reacting memory and naïve responses. Vaccine 2008;27:833-845.
40. Seiden PE, Celada F. A model for simulating cognate recognition and response in the immune system. J Theor Biol 1992;158:329-357.
41. Schaub MA, Henzinger TA, Fisher J. Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Syst Biol 2007;1:4.