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.
|Title of host publication||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Number of pages||17|
|ISBN (Print)||3540006052, 9783540006053|
|State||Published - 2003|
|Event||1st International Workshop on Computational Methods in Systems Biology, CMSB 2003 - Rovereto, Italy|
Duration: 24 Feb 2003 → 26 Feb 2003
|Name||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Conference||1st International Workshop on Computational Methods in Systems Biology, CMSB 2003|
|Period||24/02/03 → 26/02/03|
Bibliographical notePublisher Copyright:
© Springer-Verlag Berlin Heidelberg 2003.