Comprehensive and realistic modeling of biological systems

Proceedings - Winter Simulation Conference

Volumn , Issue , 2006, Pages 1625-1627

  Harel, David ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

PHILOSOPHICAL ASPECTS;

(PL) PROPERTIES; BIOLOGICAL MODELLING; C. ELEGANS; CELL DEVELOPMENT; COMPREHENSIVE MODELING; EMBRYONIC DEVELOPMENTS; GENERIC CELL; IN-SILICO; LYMPH NODE (LN); REALISTIC MODELING;

BIOLOGICAL SYSTEMS;

EID: 46149089691     PISSN: 08917736     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WSC.2006.322936     Document Type: Conference Paper

References (18)

1. Damm, W., and D. Harel. 2001. LSCs: breathing life into message sequence charts. Formal Methods in System Design 19 (1): 45-80.
2. (Early version in Proceedings of the 3rd IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99), 293-312. Kluwer.
3. Efroni, S., D. Harel, and I. Cohen. 2003. Towards rigorous comprehension of biological complexity: modeling, execution and visualization of thymic T cell maturation. Genome Research 13:2485-2497.
4. Efroni, S., D. Harel, and I. Cohen. 2005. Reactive animation: realistic modeling of complex dynamic systems. IEEE Computer 38 (1): 38-47.
5. Fisher, J., N. Piterman, E. Hubbard, M. Stern, and D. Harel. 2005. Computational insights into C. elegans vulval development. Proceedings of the National Academy of Sciences 6 (102): 1951-1956.
6. Harel, D. 1987. Statecharts: a visual formalism for complex systems. Science of Computer Programming 8 (3): 231-274.
7. Harel, D. 1988. On visual formalisms. Communications of the Association for Computing Machinery 31 (5): 514-530.
8. Harel, D. 2003. A grand challenge for computing: to-wards full reactive modeling of a multi-cellular animal. Bulletin of the European Association for Theoretical Computer Science (EATCS) (81): 226-235.
9. (Reprinted in Current Trends in Theoretical Computer Science: The Challenge of the New Century, Algorithms and Complexity, Vol I, ed. Paun, Rozenberg and Salomaa, 559-568, World Scientific, 2004).
10. Harel, D. 2005. A turing-like test for biological modeling. Nature Biotechnology 23:495-496.
11. Harel, D., and E. Gery. 1997. Executable object modeling with Statecharts. IEEE Computer 23 (7): 31-42.
12. Harel, D., and R. Marelly. 2003. Come, let's play: scenario-based programming using lscs and the play-engine. Springer.
13. Harel, D., and A. Pnueli. 1985. On the development of reactive systems. In Logics and Models of Concurrent Systems, ed. K. Apt, Volume F-13 of NATO ASI Series, 411-498. Springer-Verlag.
14. Kam, N., D. Harel, H. Kugler, R. Marelly, A. Pnueli, E. Hubbard, and M. Stern. 2002. Formal modeling of C. elegans development: a scenario-based approach. In Proceedings of the 1st International Workshop on Computational Methods in Systems Biology (ICMSB 2003), Number 2602 in LNCS, 4-20. Springer.
15. (Revised version in Modeling in Molecular Biology, ed. G. Ciobanu and G. Rozenberg, 151-173. BerlimSpringer, 2004.).
16. Sadot, A., J. Fisher, D. Barak, Y. Admanit, M. Stern, E. Hubbard, and D. Harel. 2006. Towards verified biological models. Submitted.
17. Swerdlin, N., I. Cohen, and D. Harel. 2006. Towards an in-silico lymph node: a realistic approach to modeling dynamic behavior of lymphocytes. Submitted.
18. Turing, A. 1950. Computing machinery and intelligence. Mind 59:433-460.