Formal Modelling of C. elegans Development. A Scenario-Based Approach

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

Formal Modelling of C. elegans Development. A Scenario-Based Approach

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

Bar-Ilan University - The Alexander Kofkin Faculty of Engineering

Research output: Chapter in Book/Report/Conference proceeding › Chapter › 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	Formal Modelling of C. elegans Development. A Scenario-Based Approach
Editors	Gabriel Ciobanu, Grzegorz Rozenberg
Publisher	Springer Berlin Heidelberg
Pages	151-173
State	Published - 2004

Publication series

Name	Natural Computing Series

Cite this

@inbook{3d0a894366cd45bfb7e38ed473d2c726,

title = "Formal Modelling 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 Amir Pnueli and Hubbard, {Jane Albert} and Stern, {Michael J.}",

year = "2004",

language = "American English",

series = "Natural Computing Series",

publisher = "Springer Berlin Heidelberg",

pages = "151--173",

editor = "Gabriel Ciobanu and Grzegorz Rozenberg",

booktitle = "Formal Modelling of C. elegans Development. A Scenario-Based Approach",

}

Formal Modelling of C. elegans Development. A Scenario-Based Approach. / Kam, Na&#039;aman; Harel, David; Kugler, Hillel et al.
Formal Modelling of C. elegans Development. A Scenario-Based Approach. ed. / Gabriel Ciobanu; Grzegorz Rozenberg. Springer Berlin Heidelberg, 2004. p. 151-173 (Natural Computing Series).

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

TY - CHAP

T1 - Formal Modelling of C. elegans Development. A Scenario-Based Approach

AU - Kam, Na&#039;aman

AU - Harel, David

AU - Kugler, Hillel

AU - Marelly, Rami

AU - Pnueli, Amir

AU - Hubbard, Jane Albert

AU - Stern, Michael J.

PY - 2004

Y1 - 2004

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.

UR - https://scholar.google.co.il/scholar?q=Formal+Modelling+of+C.+elegans+Development%3A+A+Scenario-Based+Approach&btnG=&hl=en&as_sdt=0%2C5

M3 - Chapter

T3 - Natural Computing Series

SP - 151

EP - 173

BT - Formal Modelling of C. elegans Development. A Scenario-Based Approach

A2 - Ciobanu, Gabriel

A2 - Rozenberg, Grzegorz

PB - Springer Berlin Heidelberg

ER -

Formal Modelling of C. elegans Development. A Scenario-Based Approach

Abstract

Publication series

Other files and links

Fingerprint

Cite this