TY - GEN
T1 - Formal Modeling of C. elegans Development: A Scenario-Based Approach
AU - Kam, Na'aman
AU - Harel, David
AU - Kugler, Hillel
AU - Marelly, Rami
AU - Pnueli, mir
AU - Hubbard, Jane Albert
AU - SternAffiliated, Michael J.
N1 - Place of conference:Italy
PY - 2003
Y1 - 2003
N2 - We present preliminary results of a new approach to the formal modelling 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.
AB - We present preliminary results of a new approach to the formal modelling 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.
M3 - Conference contribution
BT - First Int. Workshop on Computational Methods in Systems Biology
ER -