GemCell: A generic platform for modeling multi-cellular biological systems

Theoretical Computer Science

Volumn 391, Issue 3, 2008, Pages 276-290

  Amir Kroll, Hila ^a   Sadot, Avital ^a   Cohen, Irun R ^a   Harel, David ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

Biological modeling; Complex systems; Executable modeling; Intercellular behavior; Statecharts

Indexed keywords

CELLS; COMPUTER AIDED DESIGN; DATA STRUCTURES; LARGE SCALE SYSTEMS; SYSTEMS ANALYSIS; USER INTERFACES;

BIOLOGICAL MODELING; EXECUTABLE MODELING; GEMCELL; LIVING ORGANISMS;

BIOLOGICAL SYSTEMS;

EID: 38649108502     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2007.11.014     Document Type: Article

References (26)

1. J. Barjis, I. Barjis, Formalization of the protein production by means of petri nets, in: International Conference on Information Intelligence and Systems, ICIIS'99, 1999
2. M. Calder, V. Vyshemirsky, D. Gilbert, R. Orton, Analysis of signaling pathways using the prism model checker, in: Proc. Computational Methods in Systems Biology, CMSB'05, 2005, pp. 179-190
3. Calzone L., Fages F., and Soliman S. Biocham: An environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22 14 (2006) 1805-1807
4. Efroni S., Harel D., and Cohen I.R. Toward rigorous comprehension of biological complexity: Modeling, execution, and visualization of thymic t-cell maturation. Genom. Res. 13 11 (2003) 2485-2497
5. Errampalli D.D., Priami C., and Quaglia P. A formal language for computational systems biology. Omics 8 4 (2004) 370-380
6. Fisher J., Piterman N., Hubbard E.J., Stern M.J., and Harel D. Computational insights into caenorhabditis elegans vulval development. Proc. Natl. Acad. Sci. USA 102 6 (2005) 1951-1956
7. Harel D., Efroni S., and Cohen I.R. Reactive animation. Lect. Notes Comput. Sci. 2852 (2003) 136-153
8. N. Kam, I.R. Cohen, D. Harel, The immune system as a reactive system: Modeling t cell activation with statecharts, in: Proc. Visual Languages and Formal Methods, VLFM'01, part of IEEE Symp. on Human-Centric Computing, HCC'01, 2001, pp. 15-22
9. N. Kam, D. Harel, H. Kugler, R. Marelly, A. Pnueli, E.J. Hubbard, M.J. Stern, Formal modeling of c. Elegans development: A scenario-based approach, in: Computational Methods in Systems Biology: First International Workshop, 2602 / 2003, 2003, pp. 4-20
10. Regev A., Silverman W., and Shapiro E. Representation and simulation of biochemical processes using the pi-calculus process algebra. Pac. Symp. Biocomput. (2001) 459-470
11. A. Sadot, J. Fisher, D. Barak, Y. Admanit, M.J. Stern, E.J. Hubbard, D. Harel, Towards verified biological models, IEEE/ACM Trans. Comput. Biology and Bioinformatics (in press)
12. Shvartsman S.Y., Muratov C.B., and Lauffenburger D.A. Modeling and computational analysis of egf receptor-mediated cell communication in drosophila oogenesis. Development 129 11 (2002) 2577-2589
13. C. Talcott, D.L. Dill, The pathway logic assistant, in: Proc. Computational Methods in Systems Biology, CMSB'05, 2005, pp. 228-239
14. Efroni S., Harel D., and Cohen I.R. Emergent dynamics of thymocyte development and lineage determination. PLoS Comput. Biol. 3 1 (2007) e13
15. Meier-Schellersheim M., Xu X., Angermann B., Kunkel E.J., Jin T., and Germain R.N. Key role of local regulation in chemosensing revealed by a new molecular interaction-based modeling method. PLoS Comput. Biol. 2 7 (2006) e82
16. Slepchenko B.M., Schaff J.C., Macara I., and Loew L.M. Quantitative cell biology with the virtual cell. Trends Cell. Biol. 13 11 (2003) 570-576
17. Csikasz-Nagy A., Battogtokh D., Chen K.C., Novak B., and Tyson J.J. Analysis of a generic model of eukaryotic cell-cycle regulation. Biophys. J. 90 12 (2006) 4361-4379
18. Segev R., and Ben-Jacob E. Generic modeling of chemotactic based self-wiring of neural networks. Neural Netw. 13 2 (2000) 185-199
19. International Human Genome Sequencing Consortium. Finishing the euchromatic sequence of the human genome. Nature 431 7011 (2004) 931-945
20. Cohen I.R., and Atlan H. Genetics as explanation: Limits to the human genome project. Encyclopedia Life Sci. (2006)
21. Cohen I.R. Tending Adam's Grden (1999), Academic Press, San Diego, CA
22. Harel D. Statecharts: A visual formalism for complex systems. Sci. Comput. Programm. 8 (1987) 231-274
23. Harel D., and Gery E. Executable object modeling with statecharts. Computer 30 7 (1997) 31-42
24. D. Drusinsky, Model checking of statecharts using automatic white box test generation, circuites and systems, in: 48th Midwest Symposium on, 2005, pp. 327-332
25. Efroni S., Harel D., and Cohen I.R. Reactive animation: Realistic modeling of complex dynamic systems. Computer 38 1 (2005) 38-47
26. Cohen I.R., and Harel D. Explaining a complex living system: Dynamics, multi-scaling and emergence. J. Royal Soci. Inter. 4 (2007) 175-182