{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,4]],"date-time":"2025-10-04T14:35:22Z","timestamp":1759588522092},"reference-count":30,"publisher":"Oxford University Press (OUP)","issue":"18","license":[{"start":{"date-parts":[[2016,10,2]],"date-time":"2016-10-02T00:00:00Z","timestamp":1475366400000},"content-version":"vor","delay-in-days":2220,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc\/2.0\/uk\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9,15]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Motivation: 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.<\/jats:p>\n               <jats:p>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.<\/jats:p>\n               <jats:p>Availability: 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\/<\/jats:p>\n               <jats:p>Contact: \u00a0francois.fages@inria.fr<\/jats:p>","DOI":"10.1093\/bioinformatics\/btq388","type":"journal-article","created":{"date-parts":[[2010,9,7]],"date-time":"2010-09-07T17:41:46Z","timestamp":1283881306000},"page":"i575-i581","source":"Crossref","is-referenced-by-count":40,"title":["A graphical method for reducing and relating models in systems biology"],"prefix":"10.1093","volume":"26","author":[{"given":"Steven","family":"Gay","sequence":"first","affiliation":[{"name":"EPI Contraintes, Institut National de Recherche en Informatique et Automatique, INRIA Paris-Rocquencourt, France"}]},{"given":"Sylvain","family":"Soliman","sequence":"additional","affiliation":[{"name":"EPI Contraintes, Institut National de Recherche en Informatique et Automatique, INRIA Paris-Rocquencourt, France"}]},{"given":"Fran\u00e7ois","family":"Fages","sequence":"additional","affiliation":[{"name":"EPI Contraintes, Institut National de Recherche en Informatique et Automatique, INRIA Paris-Rocquencourt, France"}]}],"member":"286","published-online":{"date-parts":[[2010,9,4]]},"reference":[{"key":"2023012508270171700_B1","doi-asserted-by":"crossref","first-page":"3023","DOI":"10.1529\/biophysj.104.040824","article-title":"Modeling feedback loops of the mammalian circadian oscillator","volume":"87","author":"Becker-Weimann","year":"2004","journal-title":"Biophys. J."},{"key":"2023012508270171700_B2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/S0301-4622(97)00010-0","article-title":"Complex intracellular calcium oscillations. A theoretical exploration of possible mechanisms","volume":"66","author":"Borghans","year":"1997","journal-title":"Biophy. Chem."},{"key":"2023012508270171700_B3","doi-asserted-by":"crossref","first-page":"1805","DOI":"10.1093\/bioinformatics\/btl172","article-title":"BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge","volume":"22","author":"Calzone","year":"2006","journal-title":"Bioinformatics"},{"key":"2023012508270171700_B4","doi-asserted-by":"crossref","DOI":"10.1038\/msb.2008.7","article-title":"A comprehensive imodular map of molecular interactions in RB\/E2F pathway","volume":"4","author":"Calzone","year":"2008","journal-title":"Mol. Syst. Biol."},{"issue":"Suppl. 6","key":"2023012508270171700_B5","article-title":"Biographe: high-performance bionetwork analysis using the biological graph environment","volume":"9","author":"Chin","year":"2008","journal-title":"BMC Bioinformatics"},{"key":"2023012508270171700_B6","doi-asserted-by":"crossref","DOI":"10.1371\/journal.pcbi.0030045","article-title":"Modeling networks of coupled enzymatic reactions using the total quasi-steady state approximation","volume":"3","author":"Ciliberto","year":"2007","journal-title":"PLOS Comput. Biol."},{"key":"2023012508270171700_B7","author":"Diaz","journal-title":"GNU Prolog User'S Manual."},{"key":"2023012508270171700_B8","first-page":"54","article-title":"Formal cell biology in BIOCHAM","volume-title":"8th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Computational Systems Biology SFM'08","author":"Fages","year":"2008"},{"key":"2023012508270171700_B9","doi-asserted-by":"crossref","first-page":"1712","DOI":"10.1007\/s10439-006-9179-4","article-title":"Nfat and nfkappab activation in t lymphocytes: a model of differential activation of gene expression","volume":"34","author":"Fisher","year":"2006","journal-title":"Ann. Biomed. Eng."},{"key":"2023012508270171700_B10","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1098\/rspb.1995.0153","article-title":"A model for circadian oscillations in the drosophila period protein (per)","volume":"261","author":"Goldbeter","year":"1995","journal-title":"Proc. Biol. Sci. Roy. Soc."},{"key":"2023012508270171700_B11","doi-asserted-by":"crossref","first-page":"10078","DOI":"10.1073\/pnas.93.19.10078","article-title":"Ultrasensitivity in the mitogen-activated protein kinase cascade","volume":"93","author":"Huang","year":"1996","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"2023012508270171700_B12","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","article-title":"The systems biology markup language (SBML): A medium for representation and exchange of biochemical network models","volume":"19","author":"Hucka","year":"2003","journal-title":"Bioinformatics"},{"key":"2023012508270171700_B13","doi-asserted-by":"crossref","first-page":"2703","DOI":"10.1091\/mbc.10.8.2703","article-title":"Molecular interaction map of the mammalian cell cycle control and DNA repair systems","volume":"10","author":"Kohn","year":"1999","journal-title":"Mol. Biol. Cell"},{"key":"2023012508270171700_B14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1091\/mbc.e05-09-0824","article-title":"Molecular interaction maps of bioregulatory networks: a general rubric for systems biology","volume":"17","author":"Kohn","year":"2006","journal-title":"Mol. Biol. Cell"},{"key":"2023012508270171700_B15","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1007\/978-3-642-04244-7_23","article-title":"Constraint-based graph matching","volume-title":"15th International Conference on Principles and Practice of Constraint Programming (CP 2009)","author":"le Cl\u00e9ment","year":"2009"},{"key":"2023012508270171700_B16","doi-asserted-by":"crossref","first-page":"5818","DOI":"10.1073\/pnas.97.11.5818","article-title":"Scaffold proteins may iphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties","volume":"97","author":"Levchenko","year":"2000","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"2023012508270171700_B17","doi-asserted-by":"crossref","first-page":"D689","DOI":"10.1093\/nar\/gkj092","article-title":"BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems","volume":"1","author":"le Nov\u00e8re","year":"2006","journal-title":"Nucleic Acid Res."},{"key":"2023012508270171700_B18","doi-asserted-by":"crossref","first-page":"735","DOI":"10.1038\/nbt.1558","article-title":"The systems biology graphical notation","volume":"27","author":"le Novere","year":"2009","journal-title":"Nat. Biotechnol."},{"key":"2023012508270171700_B19","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1177\/074873098128999934","article-title":"A model for circadian rhythms in drosophila incorporating the formation of a complex between the per and tim proteins","volume":"13","author":"Leloup","year":"1998","journal-title":"J. Biol. Rhythms"},{"key":"2023012508270171700_B20","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1006\/jtbi.1999.0924","article-title":"Chaos and birhythmicity in a model for circadian oscillations of the per and tim proteins in drosophila","volume":"198","author":"Leloup","year":"1999","journal-title":"J. Theor. Biol."},{"key":"2023012508270171700_B21","doi-asserted-by":"crossref","first-page":"7051","DOI":"10.1073\/pnas.1132112100","article-title":"Toward a detailed computational model for the mammalian circadian clock","volume":"100","author":"Leloup","year":"2003","journal-title":"Proc. Natl Acad. Sci."},{"key":"2023012508270171700_B22","doi-asserted-by":"crossref","DOI":"10.1038\/msb4100102","article-title":"Experimental validation of a predicted feedback loop in the multi-oscillator clock of arabidopsis thaliana","volume":"2","author":"Locke","year":"2006","journal-title":"Mol. Syst. Biol."},{"key":"2023012508270171700_B23","doi-asserted-by":"crossref","DOI":"10.1038\/msb4100018","article-title":"Extension of a genetic network model by iterative experimentation and mathematical analysis","volume":"1","author":"Locke","year":"2005","journal-title":"Mol. Syst. Biol."},{"key":"2023012508270171700_B24","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1083\/jcb.200308060","article-title":"Signaling switches and bistability arising from multisite phosphorylation in protein kinase cascades","volume":"164","author":"Markevich","year":"2005","journal-title":"J. Cell Biol."},{"key":"2023012508270171700_B25","first-page":"266","article-title":"A reduction method for logical regulatory graphs preserving essential dynamical properties","volume-title":"CMSB'09: Proceedings of the Seventh International Conference on Computational Methods in Systems Biology","author":"Naldi","year":"2009"},{"key":"2023012508270171700_B26","article-title":"Hierarchies and modules in complex biological systems","volume-title":"Proceedings of the Second European Conference on Complex Systems 2006 (ECCS 2006).","author":"Radulescu","year":"2006"},{"key":"2023012508270171700_B27","volume-title":"Modeling Dynamic Phenomena in Molecular and Cellular Biology.","author":"Segel","year":"1984"},{"key":"2023012508270171700_B28","doi-asserted-by":"crossref","first-page":"2786","DOI":"10.1016\/S0006-3495(04)74332-5","article-title":"Simulation of drosophila circadian oscillations, mutations, and light responses by a model with vri, pdp-1, and clk","volume":"86","author":"Smolen","year":"2004","journal-title":"Biophys. J."},{"key":"2023012508270171700_B29","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1006\/jtbi.2000.2226","article-title":"Robust oscillations within the interlocked feedback model of drosophila circadian rhythm","volume":"210","author":"Ueda","year":"2001","journal-title":"J. Theor. Biol."},{"key":"2023012508270171700_B30","doi-asserted-by":"crossref","first-page":"876","DOI":"10.1093\/bioinformatics\/btm553","article-title":"BiNoM: a cytoscape plugin for manipulating and analyzing biological networks","volume":"24","author":"Zinovyev","year":"2008","journal-title":"Bioinformatics"}],"container-title":["Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/26\/18\/i575\/48857959\/bioinformatics_26_18_i575.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/26\/18\/i575\/48857959\/bioinformatics_26_18_i575.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,25]],"date-time":"2023-01-25T08:27:26Z","timestamp":1674635246000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article\/26\/18\/i575\/206585"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,4]]},"references-count":30,"journal-issue":{"issue":"18","published-print":{"date-parts":[[2010,9,15]]}},"URL":"https:\/\/doi.org\/10.1093\/bioinformatics\/btq388","relation":{},"ISSN":["1367-4811","1367-4803"],"issn-type":[{"value":"1367-4811","type":"electronic"},{"value":"1367-4803","type":"print"}],"subject":[],"published-other":{"date-parts":[[2010,9,15]]},"published":{"date-parts":[[2010,9,4]]}}}