Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development

Caenorhabditis elegans vulval development provides an important paradigm for studying the process of cell fate determination and pattern formation during animal development. Although many genes controlling vulval cell fate specification have been identified, how they orchestrate themselves to generate a robust and invariant pattern of cell fates is not yet completely understood. Here, we have developed a dynamic computational model incorporating the current mechanistic understanding of gene interactions during this patterning process. A key feature of our model is the inclusion of multiple modes of crosstalk between the epidermal growth factor receptor (EGFR) and LIN-12/Notch signaling pathways, which together determine the fates of the six vulval precursor cells (VPCs). Computational analysis, using the model-checking technique, provides new biological insights into the regulatory network governing VPC fate specification and predicts novel negative feedback loops. In addition, our analysis shows that most mutations affecting vulval development lead to stable fate patterns in spite of variations in synchronicity between VPCs. Computational searches for the basis of this robustness show that a sequential activation of the EGFR-mediated inductive signaling and LIN-12 / Notch-mediated lateral signaling pathways is key to achieve a stable cell fate pattern. We demonstrate experimentally a time-delay between the activation of the inductive and lateral signaling pathways in wild-type animals and the loss of sequential signaling in mutants showing unstable fate patterns; thus, validating two key predictions provided by our modeling work. The insights gained by our modeling study further substantiate the usefulness of executing and analyzing mechanistic models to investigate complex biological behaviors.

[1]  Stephan Merz,et al.  Model Checking , 2000 .

[2]  Paul W. Sternberg,et al.  Lateral inhibition during vulval induction in Caenorhabditis elegans , 1988, Nature.

[3]  David Harel,et al.  Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems , 2004, CMSB.

[4]  Corrado Priami,et al.  A formal language for computational systems biology. , 2004, Omics : a journal of integrative biology.

[5]  H. Horvitz,et al.  The lin-12 locus specifies cell fates in caenorhabditis elegans , 1983, Cell.

[6]  Ning Chen,et al.  The lateral signal for LIN-12/Notch in C. elegans vulval development comprises redundant secreted and transmembrane DSL proteins. , 2004, Developmental cell.

[7]  Paul W Sternberg,et al.  Developmental biology. A pattern of precision. , 2004, Science.

[8]  U. Alon,et al.  Robustness in bacterial chemotaxis , 2022 .

[9]  J. Sulston,et al.  Regulation and cell autonomy during postembryonic development of Caenorhabditis elegans. , 1980, Developmental biology.

[10]  Paul W. Sternberg,et al.  Pattern formation during vulval development in C. elegans , 1986, Cell.

[11]  Thomas A. Henzinger,et al.  MOCHA: Modularity in Model Checking , 1998, CAV.

[12]  Alex Hajnal,et al.  The C. elegans homolog of the mammalian tumor suppressor Dep-1/Scc1 inhibits EGFR signaling to regulate binary cell fate decisions. , 2005, Genes & development.

[13]  Thomas A. Henzinger,et al.  Reactive Modules , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[14]  Iva Greenwald,et al.  Endocytosis-mediated downregulation of LIN-12/Notch upon Ras activation in Caenorhabditis elegans , 2002, Nature.

[15]  P. Sternberg,et al.  The let-60 locus controls the switch between vulval and nonvulval cell fates in Caenorhabditis elegans. , 1990, Genetics.

[16]  David Gilbert,et al.  Analysis of signalling pathways using the prism model checker , 2005 .

[17]  Radu Mateescu,et al.  Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli , 2005, ISMB.

[18]  H. Horvitz,et al.  Cell interactions coordinate the development of the C. elegans egg-laying system , 1990, Cell.

[19]  Amir Pnueli,et al.  Formal Modeling of C. elegans Development: A Scenario-Based Approach , 2003, CMSB.

[20]  D. Harel,et al.  Toward rigorous comprehension of biological complexity: modeling, execution, and visualization of thymic T-cell maturation. , 2003, Genome research.

[21]  G. Odell,et al.  The segment polarity network is a robust developmental module , 2000, Nature.

[22]  V. Ambros,et al.  Cell cycle-dependent sequencing of cell fate decisions in Caenorhabditis elegans vulva precursor cells. , 1999, Development.

[23]  A. Hajnal,et al.  Notch Inhibition of RAS Signaling Through MAP Kinase Phosphatase LIP-1 During C. elegans Vulval Development , 2001, Science.

[24]  Min Han,et al.  SynMuv genes redundantly inhibit lin-3/EGF expression to prevent inappropriate vulval induction in C. elegans. , 2006, Developmental cell.

[25]  M. Sundaram,et al.  The love-hate relationship between Ras and Notch. , 2005, Genes & development.

[26]  Iva Greenwald,et al.  Crosstalk Between the EGFR and LIN-12/Notch Pathways in C. elegans Vulval Development , 2004, Science.

[27]  Stuart K. Kim,et al.  Sequential signalling during Caenorhabditis elegans vulval induction , 1995 .

[28]  J Kimble,et al.  Alterations in cell lineage following laser ablation of cells in the somatic gonad of Caenorhabditis elegans. , 1981, Developmental biology.

[29]  Marta Z. Kwiatkowska,et al.  Probabilistic model checking of complex biological pathways , 2008, Theor. Comput. Sci..

[30]  Freddy Radtke,et al.  Paradigms of Notch Signaling in Mammals , 2005 .

[31]  David Harel,et al.  The immune system as a reactive system: modeling T cell activation with statecharts , 2001, Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587).

[32]  Paul W. Sternberg,et al.  A Pattern of Precision , 2004, Science.

[33]  S. Leibler,et al.  Robustness in simple biochemical networks , 1997, Nature.

[34]  L. Wolpert Developmental Biology , 1968, Nature.

[35]  David Harel,et al.  Computational insights into Caenorhabditis elegans vulval development. , 2005, Proceedings of the National Academy of Sciences of the United States of America.

[36]  David Harel,et al.  Emergent Dynamics of Thymocyte Development and Lineage Determination , 2006, PLoS Comput. Biol..

[37]  Corrado Priami,et al.  Application of a stochastic name-passing calculus to representation and simulation of molecular processes , 2001, Inf. Process. Lett..

[38]  Thomas A. Henzinger,et al.  Executable Biology , 2006, Proceedings of the 2006 Winter Simulation Conference.

[39]  N. Munakata [Genetics of Caenorhabditis elegans]. , 1989, Tanpakushitsu kakusan koso. Protein, nucleic acid, enzyme.

[40]  Paul W. Sternberg,et al.  The combined action of two intercellular signaling pathways specifies three cell fates during vulval induction in C. elegans , 1989, Cell.

[41]  Aviv Regev,et al.  Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra , 2000, Pacific Symposium on Biocomputing.