We present preliminary results of a new approach to the formal mod-eling of biological phenomena. The approach stems from the conceptual com-patibility 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 methodol-ogy 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.
First International Workshop on Computational Methods in Systems Biology