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

被引：0
|
作者：
Kam, N [1 ]
Harel, D
Kugler, H
Marelly, R
Pnueli, A
Hubbard, EJA
Stern, MJ
机构：
[1] Weizmann Inst Sci, Dept Comp Sci & Appl Math, IL-76100 Rehovot, Israel
[2] NYU, Dept Biol, New York, NY 10003 USA
[3] Yale Univ, Sch Med, Dept Genet, New Haven, CT 06510 USA
来源：
COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, PROCEEDINGS | 2003年 / 2602卷
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
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.
引用
收藏
页码：4 / 20
页数：17
相关论文
共 50 条
  • [1] Formal modelling of C-elegans development.: A scenario-based approach
    Kam, N
    Harel, D
    Kugler, H
    Marelly, R
    Pnueli, A
    Hubbard, JA
    Stern, MJ
    [J]. MODELLING IN MOLECULAR BIOLOGY, 2004, : 151 - 173
  • [2] A scenario-based approach to modeling development: A prototype model of C. elegans vulval fate specification
    Kam, Na'aman
    Kugler, Hillel
    Marelly, Rami
    Appleby, Lara
    Fisher, Jasmin
    Pnueli, Amir
    Harel, David
    Stern, Michael J.
    Hubbard, E. Jane Albert
    [J]. DEVELOPMENTAL BIOLOGY, 2008, 323 (01) : 1 - 5
  • [3] A scenario-based integrated approach for modeling carbon price risk
    Zhu, Zili
    Graham, Paul
    Reedman, Luke
    Lo, Thomas
    [J]. DECISIONS IN ECONOMICS AND FINANCE, 2009, 32 (01) : 35 - 48
  • [4] A Scenario-Based Approach for Formal Modelling and Verification of Safety Properties in Automated Driving
    Xu, Bingqing
    Li, Qin
    Guo, Tong
    Du, Dehui
    [J]. IEEE ACCESS, 2019, 7 : 140566 - 140587
  • [5] A solution to the water resources crisis in wetlands: Development of a scenario-based modeling approach with uncertain features
    Lv, Ying
    Huang, Guohe
    Sun, Wei
    [J]. SCIENCE OF THE TOTAL ENVIRONMENT, 2013, 442 : 515 - 526
  • [6] A solution to the water resources crisis in wetlands: Development of a scenario-based modeling approach with uncertain features
    Lv, Ying
    Huang, Guohe
    Sun, Wei
    [J]. Science of the Total Environment, 2013, 442 : 515 - 526
  • [7] A solution to the water resources crisis in wetlands: Development of a scenario-based modeling approach with uncertain features
    Lv, Ying
    Huang, Guohe
    Sun, Wei
    [J]. Science of the Total Environment, 2013, 442 : 515 - 526
  • [8] Scenario-based modeling and its applications
    Bai, XY
    Tsai, WT
    Paul, R
    Feng, K
    Yu, L
    [J]. PROCEEDINGS OF THE SEVENTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, 2002, : 253 - 260
  • [9] An interdisciplinary collaboration approach: Scenario-based new product development
    Huang, Ding-Hau
    Hsieh, Kuo-Jung
    Liang, You-Chao
    Hsiao, Kun-An
    Chiou, Wen-Ko
    [J]. PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON OPERATIONS AND SUPPLY CHAIN MANAGEMENT, 2008, : 89 - 94
  • [10] Formal, Model- and Scenario-based Requirement Patterns
    Fockel, Markus
    Holtmann, Joerg
    Koch, Thorsten
    Schmelter, David
    [J]. PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2018, : 311 - 318
12345