Reactive animation: From piecemeal experimentation to reactive biological systems

Over the past decade, multi-level complex behavior and reactive nature of biological systems, has been a focus point for the biomedical community. We have developed a computational approach, termed Reactive Animation (RA) for simulating such complex biological systems. RA is an approach for describing the dynamic characteristics of biological systems based on facts collected from experiments. These data are integrated bottom-up by computational tools and methods for reactive systems development and are simulated concomitantly to a front-end user friendly visualization and reporting systems. Using RA, the experimenter may intervene mid-simulation, suggest new hypotheses for cellular and molecular interactions, apply them to the simulation and observe their resulting outcomes “on-line”. Several RA models have been developed including models of T cell activation, thymocyte development and pancreatic organogenesis, which are describe in the in this review.

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

[2]  P E Seiden,et al.  A model for simulating cognate recognition and response in the immune system. , 1992, Journal of theoretical biology.

[3]  P E Seiden,et al.  A computer model of cellular interactions in the immune system. , 1992, Immunology today.

[4]  Marie Malissen,et al.  The chemokine TECK is expressed by thymic and intestinal epithelial cells and attracts double‐ and single‐positive thymocytes expressing the TECK receptor CCR9 , 2000, European journal of immunology.

[5]  Sarah L. Gaffen,et al.  The Interleukin (IL)‐2 Family Cytokines: Survival and Proliferation Signaling Pathways in T Lymphocytes , 2004, Immunological investigations.

[6]  David Harel,et al.  Reactive animation: realistic modeling of complex dynamic systems , 2005, Computer.

[7]  Stephan Merz,et al.  Model Checking , 2000 .

[8]  D. Harel,et al.  Ieee/acm Transactions on Computational Biology and Bioinformatics 1 towards Verified Biological Models , 2022 .

[9]  Tian Jin,et al.  Key Role of Local Regulation in Chemosensing Revealed by a New Molecular Interaction-Based Modeling Method , 2006, PLoS Comput. Biol..

[10]  Alan S. Perelson,et al.  Agent-based modeling of host–pathogen systems: The successes and challenges , 2008, Information Sciences.

[11]  G. Anderson,et al.  Lymphostromal interactions in thymic development and function , 2001, Nature Reviews Immunology.

[12]  Bruno Lucas,et al.  TCR Signaling for Initiation and Completion of Thymocyte Positive Selection Has Distinct Requirements for Ligand Quality and Presenting Cell Type , 2000, The Journal of Immunology.

[13]  I. Cohen,et al.  Role of the thymus in induction and transfer of vaccination against adjuvant arthritis with a T lymphocyte line in rats. , 1985, The Journal of clinical investigation.

[14]  R H Williams,et al.  An ultrastructural analysis of the developing embryonic pancreas. , 1972, Developmental biology.

[15]  R. Germain.  T-cell development and the CD4–CD8 lineage decision , 2002, Nature Reviews Immunology.

[16]  David Harel,et al.  Four-dimensional realistic modeling of pancreatic organogenesis , 2008, Proceedings of the National Academy of Sciences.

[17]  Ondine Cleaver,et al.  Induction of Pancreatic Differentiation by Signals from Blood Vessels , 2001, Science.

[18]  Martin Meier-Schellersheim,et al.  Computational modeling of signaling networks for eukaryotic chemosensing. , 2009, Methods in molecular biology.

[19]  David Harel,et al.  Computational insights into Caenorhabditis elegans vulval development. , 2005, Proceedings of the National Academy of Sciences of the United States of America.

[20]  David Harel,et al.  Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[21]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[22]  Filippo Castiglione,et al.  Simulating the Immune Response on a Distributed Parallel Computer , 1997 .

[23]  David Harel,et al.  Emergent Dynamics of Thymocyte Development and Lineage Determination , 2006, PLoS Comput. Biol..

[24]  David Harel,et al.  Explaining a complex living system: dynamics, multi-scaling and emergence , 2007, Journal of The Royal Society Interface.

[25]  Howard T. Petrie,et al.  Critical Role for CXCR4 Signaling in Progenitor Localization and T Cell Differentiation in the Postnatal Thymus 1 , 2003, The Journal of Immunology.

[26]  Daniel C. Douek,et al.  Evidence for Increased T Cell Turnover and Decreased Thymic Output in HIV Infection1 , 2001, The Journal of Immunology.

[27]  Nir Piterman,et al.  The executable pathway to biological networks. , 2010, Briefings in functional genomics.

[28]  E. Sercarz,et al.  The positively selected T cell repertoire: is it exclusively restricted to the selecting MHC? , 1995, International immunology.

[29]  Thomas A. Henzinger,et al.  Qualitative networks: a symbolic approach to analyze biological signaling networks , 2007, BMC Systems Biology.

[30]  David Harel,et al.  Reactive Animation , 2002, FMCO.

[31]  T. Henzinger,et al.  Executable cell biology , 2007, Nature Biotechnology.

[32]  Jan Jensen,et al.  Gene regulatory factors in pancreatic development , 2004, Developmental dynamics : an official publication of the American Association of Anatomists.

[33]  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).

[34]  V. Bautch,et al.  Blood vessel patterning at the embryonic midline. , 2004, Current topics in developmental biology.

[35]  P. Herrera,et al.  Adult insulin- and glucagon-producing cells differentiate from two independent cell lineages. , 2000, Development.

[36]  Claudia Calcagno,et al.  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. , 2009, Vaccine.

[37]  I. Cohen.  Tending Adam's Garden: Evolving the Cognitive Immune Self , 2004 .

[38]  David Harel,et al.  The Lymph Node B Cell Immune Response: Dynamic Analysis In-Silico , 2008, Proceedings of the IEEE.

[39]  C. Janeway.  Immunobiology: The Immune System in Health and Disease , 1996 .

[40]  S Gordon,et al.  Role for the class A macrophage scavenger receptor in the phagocytosis of apoptotic thymocytes in vitro. , 1996, Proceedings of the National Academy of Sciences of the United States of America.

[41]  D. Dudley,et al.  The immune system in health and disease. , 1992, Bailliere's clinical obstetrics and gynaecology.

[42]  Seung K. Kim,et al.  Signaling and transcriptional control of pancreatic organogenesis. , 2002, Current opinion in genetics & development.