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

Na&#039;aman Kam; David Harel; Hillel Kugler; Rami Marelly; mir Pnueli; Jane Albert Hubbard; Michael J. SternAffiliated

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

Na'aman Kam
, David Harel
, Hillel Kugler
, Rami Marelly
, mir Pnueli
, Jane Albert Hubbard
, Michael J. SternAffiliated

Bar-Ilan University - The Alexander Kofkin Faculty of Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

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.

Original language	American English
Title of host publication	First Int. Workshop on Computational Methods in Systems Biology
State	Published - 2003

Bibliographical note

Place of conference:Italy

Cite this

@inproceedings{35cd487d73e246888b501e6391d3a611,

title = "Formal Modeling of C. elegans Development: A Scenario-Based Approach",

abstract = "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.",

author = "Na\&\#039;aman Kam and David Harel and Hillel Kugler and Rami Marelly and mir Pnueli and Hubbard, \{Jane Albert\} and SternAffiliated, \{Michael J.\}",

note = "Place of conference:Italy",

year = "2003",

language = "American English",

booktitle = "First Int. Workshop on Computational Methods in Systems Biology",

}

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 -

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

Abstract

Bibliographical note

Fingerprint

Cite this