Formal Modeling of C. elegans Development: A Scenario-Based Approach
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Combining analysis and synthesis in a model of a biological cell
Proceedings of the 2004 ACM symposium on Applied computing
Cell Modeling Using Agent-Based Formalisms
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Cell modeling with reusable agent-based formalisms
Applied Intelligence
The calculus of looping sequences
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
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
Executable Modeling of Morphogenesis: A Turing-Inspired Approach
Fundamenta Informaticae - Watching the Daisies Grow: from Biology to Biomathematics and Bioinformatics — Alan Turing Centenary Special Issue
Hi-index | 0.00 |
Biological systems exhibit the characteristics of reactive systems remarkably, and on many levels; from the molecular, via the cellular, and all the way up to organs, full organisms, and even entire populations. Thus, a different brand of bioinformatics arises, in which, rather than "we" solving "their" computational problems, we use "our" languages, methods and tools to model and analyze "their" complex systems. This talk proposes a grand challenge for computer scientist and biologists: to model a full multi-cellular animal as a reactive system. We would like to construct a full, true-to-all-known-facts 4-dimensional model, that would be animated, flexible and comprehensive, and would enable full and realistic simulation of the animal's development and behavior over time (the fourth dimension). It should help uncover gaps in our knowledge, correct errors, suggest new experiments and help predict unobserved phenomena. We actually have a particular organism in mind, the C. elegans nematode worm, a suggestion that is in line with the extraordinarily insightful proposal of Sydney Brenner, co-recipient of the 2002 Nobel Prize, who chose this organism 30 years ago to challenge biologists with the task of discovering the entire development and neurobiology of a living creature. The talk will argue the (long-term) feasibility of the challenge, by describing two pieces of preliminary modeling work: (i) T-cell behavior in the thymus, using statecharts with Rhapsody, linked with Flash animation, and (ii) parts of the vulval development of C. elegans, using LSCs with the Play-Engine.