A declarative constraint-based method for analyzing discrete genetic regulatory networks

BioSystems

Volumn 98, Issue 2, 2009, Pages 91-104

  Corblin, Fabien ^a   Tripodi, Sébastien ^a   Fanchon, Eric ^a   Ropers, Delphine ^b   Trilling, Laurent ^a  

^a LABORATOIRE TIMC IMAG   (France)

^b INRIA RHÔNE ALPES   (France)

Author keywords

Constraint Logic Programming; Declarative approach; Escherichia coli; Genetic Regulatory Networks; Model building methods; Nutritional stress response

Indexed keywords

ANALYTICAL FRAMEWORK; BACTERIUM; BIOACTIVITY; COMPUTER SIMULATION; NUMERICAL MODEL; PARAMETERIZATION; PREDICTION; UNCERTAINTY ANALYSIS;

ARTICLE; COMPUTER PREDICTION; COMPUTER PROGRAM; COMPUTER SIMULATION; CONTROLLED STUDY; ESCHERICHIA COLI; GENE REGULATORY NETWORK; INFORMATION PROCESSING; LOGIC; MATHEMATICAL MODEL; MICROBIAL METABOLISM; PHASE TRANSITION; PHYSIOLOGICAL STRESS;

BACTERIA (MICROORGANISMS); ESCHERICHIA COLI;

EID: 70349998708     PISSN: 03032647     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.biosystems.2009.07.007     Document Type: Article

References (36)

1. Ahmad J., Bernot G., Comet J., Lime D., and Roux O. Hybrid modelling and dynamical analysis of gene regulatory networks with delays. Complexus 3 (2006) 231-251
2. Batt G., de Jong H., Page M., and Geiselmann J. Symbolic reachability analysis of genetic regulatory networks using discrete abstractions. Automatica 44 4 (2008) 982-989
3. Batt G., Ropers D., de Jong H., Geiselmann J., Mateescu R., Page M., and Schneider D. Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli. Bioinformatics 21 Suppl. 1 (2005) i19-i28
4. Batt G., Salah R., and Maler O. On timed models of gene networks. LNCS 4763 (2007) 38-52
5. Benhamou, F., Colmerauer, A., 1993. Constraint logic programming: selected research. MIT Press Ser. Logic Program. 22, 486.
6. Bernot G., Comet J., Richard A., and Guespin J. Application of formal methods to biological regulatory networks: extending Thomas asynchronous logical approach with temporal logic. J. Theor. Biol. 229 3 (2004) 339-347
7. Chaouiya C., Remy E., Mosse B., and Thieffry D. Qualitative analysis of regulatory graphs: a computational tool based on a discrete formal framework. Lect. Notes Cont. Inform. 294 (2003) 119-126
8. Cohen J. Constraint logic programming languages. Commun. ACM 33 7 (1990) 52-68
9. Corblin, F., Bordeaux, L., Hamadi, Y., Fanchon, E., Trilling, L., 2007a. A SAT-based approach to decipher Gene Regulatory Networks. In: Journée thématique RIAMS, Réseaux d'interaction: analyse, modélisation et simulation, 29-37.
10. Corblin F., Fanchon E., and Trilling L. Modélisation de réseaux biologiques discrets en programmation logique par contraintes. TSI 26 1-2 (2007) 73-98
11. de Jong H., Geiselmann J., Hernandez C., and Page M. Genetic Network Analyzer: qualitative simulation of genetic regulatory networks. Bioinformatics 19 3 (2003) 336-344
12. de Jong H., Gouzé J., Hernandez C., Page M., Sari T., and Geiselmann J. Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bull. Math. Biol. 66 2 (2004) 301-340
13. de Jong H., and Ropers D. Qualitative approaches to the analysis of genetic regulatory networks. System Modeling in Cellular Biology: From Concepts to Nuts and Bolts (2006), MIT Press, Cambridge, MA pp. 125-148
14. Eén, N., Sörensson, N., 2003. An Extensible Sat-solver [Ver. 1.2]. citeseer.ist.psu.edu/een03extensible.html.
15. Fages F., Soliman S., and Chabrier-Rivier N. Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. J. Biol. Phys. Chem. 4 2 (2004) 64-73
16. Fanchon, E., Corblin, F., Trilling, L., Hermant, B., Gulino, D., 2005. Modeling the molecular network controlling adhesion between human endothelial cells: Inference and simulation using constraint logic programming. In: Edinburgh (Ed.), Computational Methods in Systems Biology, CMSB05. Vol. 3082 of LNCS. Edinburgh, pp. 104-118.
17. Fisher J., and Henzinger T. Executable cell biology. Nat. Biotechnol. 25 11 (2007) 1239-1249
18. Gonzalez A., Naldi A., Sánchez L., Thieffry D., and Chaouiya C. GINsim: a software suite for the qualitative modelling, simulation and analysis of regulatory networks. BioSystems 84 2 (2006) 91-100
19. Gonzalez-Gil G., Kahmann R., and Muskhelishvili G. Regulation of crp transcription by oscillation between distinct nucleoprotein complexes. EMBO J. 17 10 (1998) 2877-2885
20. Gössler, G., 2006. Compositional reachability analysis of genetic networks. In: Springer (Ed.), Computational Methods in Systems Biology. Vol. 4210 of LNCS. Springer, Berlin/Heidelberg, pp. 212-226.
21. Ishizuka H., Hanamura A., Inada T., and Aiba H. Mechanism of the down-regulation of cAMP receptor protein by glucose in Escherichia coli: role of autoregulation of the crp gene. EMBO J. 13 13 (1994) 3077-3082
22. Kauffman S. The Origins of Order: Self-organization and Selection in Evolution (1993), Oxford University Press, New York
23. Kauffman S. A proposal for using the ensemble approach to understand genetic regulatory networks. J. Theor. Biol. 230 4 (2004) 581-590
24. Kell D., and Knowles J. The role of modeling in systems biology. System Modeling in Cellular Biology: From Concepts to Nuts and Bolts (2006), MIT Press, Cambridge, MA pp. 3-18
25. Kuepfer L., Peter M., Sauer U., and Stelling J. Ensemble modeling for analysis of cell signaling dynamics. Nat. Biotechnol. 25 (2007) 1001-1006
26. Mateus D., Gallois J., Comet J., and Le Gall P. Symbolic modeling of genetic regulatory networks. J. Bioinform. Comput. Biol. 5 2B (2007) 627-640
27. Naldi A., Berenguier D., Fauré A., Lopez F., Thieffry D., and Chaouiya C. Logical modelling of regulatory networks with GINsim 2.3. BioSystems 97 2 (2009) 134-139
28. Ropers D., de Jong H., Page M., Schneider D., and Geiselmann J. Qualitative simulation of the carbon starvation response in Escherichia coli. BioSystems 84 2 (2006) 124-152
29. Schneider R., Travers A., Kutateladze T., and Muskhelishvili G. A DNA architectural protein couples cellular physiology and DNA topology in Escherichia coli. Mol. Microbiol. 34 5 (1999) 953-964
30. Siebert H., and Bockmayr A. Temporal constraints in the logical analysis of regulatory networks. Theor. Comput. Sci. 391 3 (2008) 258-275
31. Thomas R., and Kaufman M. Multistationarity, the basis of cell differentiation and memory. I. Structural conditions of multistationarity and other non-trivial behaviour. Chaos 11 1 (2001) 170-179
32. Thomas R., and Kaufman M. Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits. Chaos 11 1 (2001) 180-195
33. van Riel N. Dynamic modelling and analysis of biochemical networks: mechanism-based models and model-based experiments. Brief Bioinform. 7 4 (2006) 364-374
34. von Dassow G., Meir E., Munro E.M., and Odell G.M. The segment polarity network is a robust developmental module. Nature 406 (2000) 188-192
35. Wahl S.A., Haunschild M.D., Oldiges M., and Wiechert W. Unravelling the regulatory structure of biochemical networks using stimulus response experiments and large-scale model selection. IET Syst. Biol. 153 (2006) 275-285
36. Weinstein-Fischer D., and Altuvia S. Differential regulation of Escherichia coli topoisomerase I by Fis. Mol. Microbiol. 63 4 (2007) 1131-1144