Abstract | ||
---|---|---|
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been taking in our group for several years, whereby the complexity of the problem is reduced by decomposing a natural system into its basic elements, which are then reassembled and combined to form a comprehensive, simulatable model of the system. Our modeling approach allows one to view a natural system at various levels of abstraction, in a way that makes it possible to zoom in and out between levels. Using statecharts, a high level visual formalism, we specify the behavior of the basic elements of each level and compile these into executable code, which is then linked to an animated front-end. At run-time, the concurrent execution of the basic elements is continuously displayed and provides a dynamic description of the system. We illustrate this approach by modeling aspects of three biological systems: development of the mammalian pancreas; the differentiation of T cells in the thymus; and the dynamic architecture of a lymph node. We compared each model's behavior with experimental data and also reproduced genetic experiments in silico. Interestingly, certain behavioral properties that were not explicitly programmed into the model emerge from concurrent execution and correspond well with the experimental observations. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1016/j.entcs.2007.12.009 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
biological modeling,dynamic description,dynamic architecture,concurrent modeling,biological system,experimental data,modeling approach,reactive systems,concurrent behavior,simulatable model,statecharts,reactive animation,concurrent execution,natural system,basic element,genetics,reactive system,front end,biological systems | Programming language,Abstraction,Visualization,Computer science,Concurrency,Zoom,Compiler,Theoretical computer science,Formalism (philosophy),Reactive system,Executable | Journal |
Volume | Issue | ISSN |
194 | 3 | Electronic Notes in Theoretical Computer Science |
Citations | PageRank | References |
5 | 0.49 | 20 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
David Harel | 1 | 9703 | 1953.76 |
Yaki Setty | 2 | 20 | 3.13 |
Sol Efroni | 3 | 99 | 8.10 |
Naamah Swerdlin | 4 | 21 | 1.92 |
Irun R. Cohen | 5 | 296 | 21.62 |