Qualitative modelling and formal verification of the FLR1 gene mancozeb response in Saccharomyces cerevisiae

Abstract : Background: Qualitative models allow understanding the relation between the structure and the dynamics of gene regulatory networks. The dynamical properties of these models can be automatically analysed by means of formal verification methods, like model checking. This facilitates the model-validation process and the test of new hypotheses to reconcile model predictions with the experimental data. Results: The authors report in this study the qualitative modelling and simulation of the transcriptional regulatory network controlling the response of the model eukaryote Saccharomyces cerevisiae to the agricultural fungicide mancozeb. The model allowed the analysis of the regulation level and activity of the components of the gene mancozeb-induced network controlling the transcriptional activation of the FLR1 gene, which is proposed to confer multidrug resistance through its putative role as a drug eflux pump. Formal verification analysis of the network allowed us to confront model predictions with the experimental data and to assess the model robustness to parameter ordering and gene deletion. Conclusions: This analysis enabled us to better understand the mechanisms regulating the FLR1 gene mancozeb response and confirmed the need of a new transcription factor for the full transcriptional activation of YAP1. The result is a computable model of the FLR1 gene response to mancozeb, permitting a quick and cost-effective test of hypotheses prior to experimental validation.
Liste complète des métadonnées

https://hal.inria.fr/hal-00793036
Contributeur : Gaëlle Rivérieux <>
Soumis le : jeudi 21 février 2013 - 14:33:30
Dernière modification le : mercredi 11 avril 2018 - 01:50:43

Identifiants

Collections

Citation

Pedro T. Monteiro, P.J. Dias, Delphine Ropers, A.L. Oliveira, I. Sa-Correia, et al.. Qualitative modelling and formal verification of the FLR1 gene mancozeb response in Saccharomyces cerevisiae. IET Systems Biology, Institution of Engineering and Technology, 2011, 5, pp.308-316. 〈10.1049/iet-syb.2011.0001〉. 〈hal-00793036〉

Partager

Métriques

Consultations de la notice

272