Email updates

Keep up to date with the latest news and content from BMC Bioinformatics and BioMed Central.

This article is part of the supplement: Highlights from the Third International Society for Computational Biology (ISCB) Student Council Symposium at the Fifteenth Annual International Conference on Intelligent Systems for Molecular Biology (ISMB)

Open Access Poster presentation

Logical modelling and analysis of the budding yeast cell cycle

Adrien Fauré1*, Claudine Chaouiya1, Andrea Ciliberto2 and Denis Thieffry1

Author Affiliations

1 Université de la Méditerranée & INSERM ERM206, Marseille, France

2 IFOM, Milano, Italy

For all author emails, please log on.

BMC Bioinformatics 2007, 8(Suppl 8):P1  doi:10.1186/1471-2105-8-S8-P1

The electronic version of this article is the complete one and can be found online at:

Published:20 November 2007

© 2007 Fauré et al; licensee BioMed Central Ltd.

Biological background

The budding yeast cell cycle core engine has been modelled in great detail, most notably by the groups of Béla Novak and John Tyson, using a differential formalism. Several models focusing on different regulatory modules have been developed. In this respect, the use of a logical formalism facilitates the development of more integrated models, through the articulation of control modules to the core engine. Such integrated models are difficult to build with the differential formalism due to the lack of quantitative data, as well as to numerical instabilities inherent to large non linear systems.

Logical modelling of cell cycle regulatory modules

Relying on the logical framework defined by Thomas and Kaufman [1], we use GINsim, the modelling software developed in our team [2] to integrate the morphogenesis checkpoint module to the core model of the yeast cell cycle published by Chen et al. [3] (see also [4] for an application on the Mammalian cell cycle).

Our current logical model recapitulates the wild type succession of events as presently characterised. We are now adjusting the model parameters to account for all mutant phenotypes described together with the original differential model [3]. At this point we focus on Knock Out (KO) mutants and on strong gene over-expressions.

Our logical simulations provide consistent results for two thirds of the 90 mutants already tested. The remaining problematic cases involve regulatory genes such as Sic1 and Cdh1, whose parameterisation is very complex. We are currently implementing in GINsim the possibility to define the parameters in the form of logical formulas to overcome this problem.

In parallel with our model of the budding yeast cycling core, we are developing a logical model of the morphogenesis checkpoint, inspired by the work of Ciliberto et al. [5]. This module is expected to produce a stable state with active Clb2 when the checkpoint is off, and when the checkpoint is on, Clb2 activation should be delayed, to prevent the formation of dinucleate cells. Still, the arrest is not complete, and after a while the checkpoint can be overcome. In our model, this relates to an increase of mass. Clb2 is then activated and the cell can complete nuclear division, becoming dinucleate.

This module has been designed to fit the wild-type behaviour, as well as that of the swe1Δ, mih1Δ and hsl1Δ mutants. Interestingly, the double mutants mih1Δ hsl1Δ and mih1Δ swe1Δ also exhibit the expected behaviour. Other mutant phenotypes listed or predicted in [3,5] have still to be tested.

Conclusions and prospects

The two models have then been connected together. Preliminary stable state analysis shows that the coupled model retains the properties of the two modules. A more thorough analysis should confirm this result. At the present time, we still have to tune these models to fit all the mutant phenotypes. In the longer term, we plan to model other checkpoints and connect the resulting modules to our cell cycle core model. Finally, we also plan to systematically apply regulatory circuit analysis and model-checking approach to the resulting model.


  1. Thomas R, Kaufman M: Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits.

    Chaos 2001, 11:180-95. PubMed Abstract | Publisher Full Text OpenURL

  2. Gonzalez AG, Naldi A, Sanchez L, Thieffry D, Chaouiya C: GINsim: a software suite for the qualitative modelling, simulation and analysis of regulatory networks.

    Biosystems 2006, 84:91-100. PubMed Abstract | Publisher Full Text OpenURL

  3. Chen KC, Calzone L, Csikasz-Nagy A, Cross FR, Novak B, Tyson JJ: Integrative analysis of cell cycle control in budding yeast.

    Mol Biol Cell 2004, 15:3841-62. PubMed Abstract | Publisher Full Text | PubMed Central Full Text OpenURL

  4. Fauré A, Naldi A, Chaouiya C, Thieffry D: Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle.

    Bioinformatics 2006, 22:e124-31. PubMed Abstract | Publisher Full Text OpenURL

  5. Ciliberto A, Novak B, Tyson JJ: Mathematical model of the morphogenesis checkpoint in budding yeast.

    J Cell Biol 2003, 163:1243-54. PubMed Abstract | Publisher Full Text OpenURL