The Realistic Modeling of Biological Systems: A Workshop Synopsis

There is a growing awareness for the need to understand the basic design principles of living systems. In May of 2005, a diverse group of researchers from the fields of biomedicine, physics, mathematics, engineering, and computer science were brought together in Mizpe Hayamim, Israel to contemplate the current and future trends in computational modeling of biology. In the following work we provide an overview of the discussions that took place and describe some of the research projects that were presented. We also discuss how these seemingly disparate efforts may be integrated and directed at the development of meaningful computational models of biological systems. The wide range of techniques presented in Mizpe Hayamim served to demonstrate not only the breadth of scale found in biology but also the diversity in criteria for the development and application of numerical models in the field. One of the key issues remains the reconciliation of different model types and their effective use as a single composite representation. By attempting to formulate a unifying theme that transcends traditional boundaries between disciplines, it is hoped that this workshop provided a first rallying point that will promote a new level of interaction and synergy in the field.

[1]  O Parnes,et al.  The Envisioning of Cells , 2000, Science in Context.

[2]  Yehuda G Assaraf,et al.  Computer modelling of antifolate inhibition of folate metabolism using hybrid functional petri nets. , 2006, Journal of theoretical biology.

[3]  David Harel,et al.  A Turing-like test for biological modeling , 2005, Nature Biotechnology.

[4]  E. Jane Albert Hubbard Model Organisms as Powerful Tools for Biomedical Research , 2007 .

[5]  Ioannis G. Kevrekidis,et al.  Equation-free: The computer-aided analysis of complex multiscale systems , 2004 .

[6]  Gordon Broderick,et al.  Accommodating space, time and randomness in network simulation. , 2006, Current opinion in biotechnology.

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

[8]  W. Pitts,et al.  A Logical Calculus of the Ideas Immanent in Nervous Activity (1943) , 2021, Ideas That Created the Future.

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

[10]  David Harel,et al.  Come, Let’s Play , 2003, Springer Berlin Heidelberg.

[11]  H. Petrie,et al.  Zoned out: functional mapping of stromal signaling microenvironments in the thymus. , 2007, Annual review of immunology.

[12]  David Harel,et al.  Modeling Reactive Systems With Statecharts : The Statemate Approach , 1998 .

[13]  David Harel,et al.  A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal , 2003, HSCC.

[14]  Gordon Broderick,et al.  A life-like virtual cell membrane using discrete automata , 2004, Silico Biol..

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

[16]  Henri Atlan,et al.  Proliferation and competition in discrete biological systems , 2003, Bulletin of mathematical biology.

[17]  Raymond R. Devillers,et al.  Incremental and unifying modelling formalism for biological interaction networks , 2007, BMC Bioinformatics.

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

[19]  Irun R. Cohen,et al.  On Tending Adam's Garden , 2000 .

[20]  David Harel,et al.  Come, let's play - scenario-based programming using LSCs and the play-engine , 2003 .

[21]  Vincent Schächter,et al.  Model of interactions in biology and application to heterogeneous network in yeast. , 2006, Comptes rendus biologies.

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

[23]  Ron Y. Pinter,et al.  Alignment of metabolic pathways , 2005, Bioinform..

[24]  H Atlan,et al.  Automata network theories in immunology: their utility and their underdetermination. , 1989, Bulletin of mathematical biology.

[25]  Judith Herzfeld,et al.  Life in a crowded world , 2004, EMBO reports.

[26]  David Harel,et al.  LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..

[27]  David Harel,et al.  Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems , 2004, CMSB.