13th Estonian Winter School in Computer Science (EWSCS)
XIII Eesti Arvutiteaduse Talvekool

Palmse, Estonia, March 2-7, 2008

David Harel

Dept. of Computer Science and Applied Math.
Weizmann Institute
Rehovot, Israel

Biological Systems as Reactive Systems

Abstract

The course shows the way software and systems engineering, especially of reactive systems, can be applied beneficially to the life sciences. I will discuss the idea of comprehensive and realistic computerized modeling of biological systems. In comprehensive modeling the main purpose is to understand an entire system in detail, utilizing in the modeling effort all that is known about the system, and to use that understanding to analyze and predict behavior in silico. In realistic modeling the main issue is to model the behavior of actual elements, making possible totally interactive and modifiable realistic executions/simulations that reveal emergent properties. I will address the motivation for such modeling and the philosophy underlying the techniques for carrying it out, as well as the crucial question of when such models are to be deemed valid, or complete. In our work we have used visual formalisms, such as statecharts and live sequence charts, for the modeling, and powerful execution and analysis tools to back these up. The lectures will describe these as well as several actual examples from among the biological modeling efforts my group has been involved in: T cell development in the thymus, lymph node behavior, embryonic development of the pancreas, the C. elegans reproductive system, and a generic cell model. Time permitting, I will also discuss a new concept we have recently proposed to replace the classical notion of a gene.

Course materials

Valid CSS! Valid XHTML 1.0 Strict Last changed March 12, 2008 23:54 EET by local organizers, ewscs08(at)cs.ioc.ee
EWSCS'08 page: http://cs.ioc.ee/ewscs/2008/