Formal Modeling of C. elegans development: A Scenario-based approach

Na’aman Kam; David Harel; Hillel Kugler; Rami Marelly; Amir Pnueli; E. Jane Albert Hubbard; Michael J. Stern

doi:10.1007/3-540-36481-1_2

Formal Modeling of C. elegans development: A Scenario-based approach

Na’aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern

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

64 Scopus citations

Abstract

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.

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Editors	Corrado Priami
Publisher	Springer Verlag
Pages	4-20
Number of pages	17
ISBN (Print)	3540006052, 9783540006053
DOIs	https://doi.org/10.1007/3-540-36481-1_2
State	Published - 2003
Externally published	Yes
Event	1st International Workshop on Computational Methods in Systems Biology, CMSB 2003 - Rovereto, Italy Duration: 24 Feb 2003 → 26 Feb 2003

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2602
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	1st International Workshop on Computational Methods in Systems Biology, CMSB 2003
Country/Territory	Italy
City	Rovereto
Period	24/02/03 → 26/02/03

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2003.

Access to Document

10.1007/3-540-36481-1_2

Cite this

Kam, N., Harel, D., Kugler, H., Marelly, R., Pnueli, A., Albert Hubbard, E. J., & Stern, M. J. (2003). Formal Modeling of C. elegans development: A Scenario-based approach. In C. Priami (Ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 4-20). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2602). Springer Verlag. https://doi.org/10.1007/3-540-36481-1_2

Kam, Na’aman ; Harel, David ; Kugler, Hillel et al. / Formal Modeling of C. elegans development : A Scenario-based approach. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). editor / Corrado Priami. Springer Verlag, 2003. pp. 4-20 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{ec0cb5952950498ba430b12450b2a86d,

title = "Formal Modeling of C. elegans development: A Scenario-based approach",

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

author = "Na{\textquoteright}aman Kam and David Harel and Hillel Kugler and Rami Marelly and Amir Pnueli and {Albert Hubbard}, {E. Jane} and Stern, {Michael J.}",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2003.; 1st International Workshop on Computational Methods in Systems Biology, CMSB 2003 ; Conference date: 24-02-2003 Through 26-02-2003",

year = "2003",

doi = "10.1007/3-540-36481-1_2",

language = "אנגלית",

isbn = "3540006052",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "4--20",

editor = "Corrado Priami",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

address = "גרמניה",

}

Kam, N, Harel, D, Kugler, H, Marelly, R, Pnueli, A, Albert Hubbard, EJ & Stern, MJ 2003, Formal Modeling of C. elegans development: A Scenario-based approach. in C Priami (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2602, Springer Verlag, pp. 4-20, 1st International Workshop on Computational Methods in Systems Biology, CMSB 2003, Rovereto, Italy, 24/02/03. https://doi.org/10.1007/3-540-36481-1_2

Formal Modeling of C. elegans development: A Scenario-based approach. / Kam, Na’aman; Harel, David; Kugler, Hillel et al.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ed. / Corrado Priami. Springer Verlag, 2003. p. 4-20 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2602).

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

TY - GEN

T1 - Formal Modeling of C. elegans development

T2 - 1st International Workshop on Computational Methods in Systems Biology, CMSB 2003

AU - Kam, Na’aman

AU - Harel, David

AU - Kugler, Hillel

AU - Marelly, Rami

AU - Pnueli, Amir

AU - Albert Hubbard, E. Jane

AU - Stern, Michael J.

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84883592668&partnerID=8YFLogxK

U2 - 10.1007/3-540-36481-1_2

DO - 10.1007/3-540-36481-1_2

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84883592668

SN - 3540006052

SN - 9783540006053

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 4

EP - 20

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A2 - Priami, Corrado

PB - Springer Verlag

Y2 - 24 February 2003 through 26 February 2003

ER -

Kam N, Harel D, Kugler H, Marelly R, Pnueli A, Albert Hubbard EJ et al. Formal Modeling of C. elegans development: A Scenario-based approach. In Priami C, editor, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2003. p. 4-20. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-36481-1_2

Formal Modeling of C. elegans development: A Scenario-based approach

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this