Constraints Programming for Unifying Gene Regulatory Networks Modeling Approaches

Damien Eveillard (1) , Jonathan Fromentin (2) , Olivier Roux (3)

1 LINA - Laboratoire d'Informatique de Nantes Atlantique
2 IRCCyN - Institut de Recherche en Communications et en Cybernétique de Nantes
3 MeForBio

Qualitative approaches, like Piecewise-Affine Differential Equations (PADEs) or those inspired from the R. Thomas formalism, represent one of the major recent improvements in biological modeling. We show herein that these approaches might be naturally represented within a unified theoretical framework using constraints. This result allows us to reason about biological models which is helpful for (i) passing from one qualitative formalism to another one and as well for (ii) building a constraints-based protocol that opens perspectives on modeling large genetic regulatory systems

Domaines: Bio-Informatique, Biologie Systémique [q-bio.QM]; Bio-informatique [q-bio.QM]

Damien Eveillard, Jonathan Fromentin, Olivier Roux. Constraints Programming for Unifying Gene Regulatory Networks Modeling Approaches. Workshop on Constraint Based Methods for Bioinformatics (WCB08), 2008, Paris, France. pp.10. ⟨hal-00277104⟩