Statecharts: A visual formalism for complex systems
Science of Computer Programming
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Communications of the ACM - Security in the Browser
ECC'08 Proceedings of the 2nd conference on European computing conference
A grand challenge: full reactive modeling of a multi-cellular animal
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Standing on the shoulders of a giant: one persons experience of turings impact
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
Hi-index | 0.00 |
In his pioneering 1952 paper, “The chemical basis of morphogenesis”, Alan Turing introduced, perhaps for the first time, a model of the morphogenesis of embryo development. Central to his theory is the concept of cells with chemical entities that interact with morphogens to drive embryonic development through changes in what he termed ‘the state of the system’. Turing's concepts have inspired many mathematical and computational models proposed since then. Here we discuss the way Turing's ideas inspired our approach to the state-based modeling of morphogenesis, which results in a fully executable program for the interactions between chemical entities and morphogens. As a representative example we describe our modeling of pancreatic organogenesis, a complex developmental process that develops from a flat sheet of cells into a 3D cauliflower-like shape. We show how we constructed the model and tested the relations between morphogens and cells, and illustrate the analysis of the model against experimental data. Finally, we discuss a variant of the original Turing-Test for a machine's ability to demonstrate intelligence as a future means to validate computerized biological models, like the one presented here.