Formal Modeling of C. elegans Development: A Scenario-Based Approach

N. Kam, D. Harel, H. Kugler, R. Marelly, A. Pnueli, E.J.A. Hubbard, and M.J. Stern

Abstract

We present preliminary results of a new approach to the formal modeling of biological phenomena. The approach stems from the conceptual compatibility of the methods and logic of data collection and analysis in the field of developmental genetics with the languages, methods and tools of scenario-based reactive system design. In particular, we use the recently developed methodology consisting of the language of live sequence charts with the play-in/play-out process, to model the well-characterized process of cell fate acquisition during C. elegans vulval development.

Details

Publication typeInproceedings
URLhttp://dx.doi.org/10.1007/3-540-36481-1_2
Pages4-20
Volume2602
SeriesLNCS
PublisherSpringer Verlag
> Publications > Formal Modeling of C. elegans Development: A Scenario-Based Approach