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

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.