On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle

Elisabetta de Maria (1) , Francois Fages (1) , Sylvain Soliman (1)

1 CONTRAINTES - Constraint programming

In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challenging issue. In this paper, we show how the validation of a coupled model and the optimization of its parameters with respect to biological properties formalized in temporal logics, can be done automatically by model-checking. More specifically, we illustrate this approach with the coupling of existing models of the mammalian cell cycle, the p53-based DNA-damage repair network, and irinotecan metabolism, with respect to the biological properties of this anticancer drug.

Domaines: Bio-informatique [q-bio.QM]

Elisabetta de Maria, Francois Fages, Sylvain Soliman. On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle. Computational Methods in Systems Biology, 2009, Berlin, Heidelberg, Unknown Region. pp.142--157. ⟨hal-01779515⟩