A graphical method for reducing and relating models in systems biology.
BACKGROUND
In Systems Biology, an increasing collection of models of various biological processes is currently developed and made available in publicly accessible repositories, such as biomodels.net for instance, through common exchange formats such as SBML. To date, however, there is no general method to relate different models to each other by abstraction or reduction relationships, and this task is left to the modeler for re-using and coupling models. In mathematical biology, model reduction techniques have been studied for a long time, mainly in the case where a model exhibits different time scales, or different spatial phases, which can be analyzed separately. These techniques are however far too restrictive to be applied on a large scale in systems biology, and do not take into account abstractions other than time or phase decompositions. Our purpose here is to propose a general computational method for relating models together, by considering primarily the structure of the interactions and abstracting from their dynamics in a first step.


RESULTS
We present a graph-theoretic formalism with node merge and delete operations, in which model reductions can be studied as graph matching problems. From this setting, we derive an algorithm for deciding whether there exists a reduction from one model to another, and evaluate it on the computation of the reduction relations between all SBML models of the biomodels.net repository. In particular, in the case of the numerous models of MAPK signalling, and of the circadian clock, biologically meaningful mappings between models of each class are automatically inferred from the structure of the interactions. We conclude on the generality of our graphical method, on its limits with respect to the representation of the structure of the interactions in SBML, and on some perspectives for dealing with the dynamics.


BACKGROUND
The algorithms described in this article are implemented in the open-source software modeling platform BIOCHAM available at http://contraintes.inria.fr/biocham The models used in the experiments are available from http://www.biomodels.net/.
Gay
Steven
S
EPI Contraintes, Institut National de Recherche en Informatique et Automatique, INRIA Paris-Rocquencourt, France.
Soliman
Sylvain
S
Fages
François
F
D000465:Algorithms; D002118:Calcium / Q000378:metabolism; D002453:Cell Cycle; D002940:Circadian Rhythm; D003196:Computer Graphics; D020407:Internet; D020935:MAP Kinase Signaling System; D008954:Models, Biological; D012984:Software; D049490:Systems Biology / Q000379:methods*
D002118:Calcium
Mol Biol Cell. 1999 Aug;10(8):2703-34
10436023
Mol Biol Cell. 2006 Jan;17(1):1-13
16267266
Biophys Chem. 1997 May 21;66(1):25-41
17029867
Biophys J. 2004 Nov;87(5):3023-34
15347590
J Biol Rhythms. 1998 Feb;13(1):70-87
9486845
PLoS Comput Biol. 2007 Mar 16;3(3):e45
17367203
BMC Bioinformatics. 2008 May 28;9 Suppl 6:S6
18541059
Proc Natl Acad Sci U S A. 2003 Jun 10;100(12):7051-6
12775757
Proc Biol Sci. 1995 Sep 22;261(1362):319-24
8587874
Bioinformatics. 2006 Jul 15;22(14):1805-7
16672256
Nucleic Acids Res. 2006 Jan 1;34(Database issue):D689-91
16381960
Bioinformatics. 2008 Mar 15;24(6):876-7
18024474
Mol Syst Biol. 2006;2:59
17102804
J Theor Biol. 1999 Jun 7;198(3):445-59
10366496
Proc Natl Acad Sci U S A. 1996 Sep 17;93(19):10078-83
8816754
J Cell Biol. 2004 Feb 2;164(3):353-9
14744999
Mol Syst Biol. 2005;1:2005.0013
16729048
Mol Syst Biol. 2008;4:173
18319725
Biophys J. 2004 May;86(5):2786-802
15111397
J Theor Biol. 2001 Jun 21;210(4):401-6
11403560
Nat Biotechnol. 2009 Aug;27(8):735-41
19668183
Proc Natl Acad Sci U S A. 2000 May 23;97(11):5818-23
10823939
Bioinformatics. 2003 Mar 1;19(4):524-31
12611808
Ann Biomed Eng. 2006 Nov;34(11):1712-28
17031595