Skip to Main content Skip to Navigation
New interface
Reports (Research report)

Automatic Curation of SBML Models based on their ODE Semantics

Abstract : Many models in Systems Biology are described as a system of Ordinary Differential Equations. The fact that the Systems Biology Markup Language SBML has become a standard for sharing and publishing models, has helped in making modelers formalize the structure of the reactions and use structure-related methods for reasoning about models. Unfortunately, SBML does not enforce any coherence between the structure and the kinetics of a reaction. Therefore the structural interpretation of models transcribed in SBML may vary according to different choices of representation of the original model and may be incorrect for some analyses. The first contribution of this paper is to propose a general compatibility condition between the kinetic expression and the structure of a reaction. We show that these well-formedness conditions are satisfied by standard kinetics and that they entail a property of independence from the kinetic expressions for the influence graph associated to the ODEs. We present a heuristic algorithm of low computational complexity for, given an ODE system, inferring a reaction model that preserves the ODE semantics and infers well-formed reactions whenever possible. This algorithm can be used for not only checking whether the network and ODE structures of an SBML model are consistent but also automatically curating SBML models by exporting them as ODE systems and then importing them as well-formed reaction models. We show how this strategy is capable of automatically curating SBML models on a large scale and provide some statistics figures obtained on the whole repository. The algorithms described in this paper are implemented in the open-source software modeling platform BIOCHAM [Fages and Soliman, 2008a, Calzone et al., 2006] available at The models used in the experiments are available from
Document type :
Reports (Research report)
Complete list of metadata

Cited literature [37 references]  Display  Hide  Download
Contributor : Sylvain Soliman Connect in order to contact the contributor
Submitted on : Monday, August 13, 2012 - 11:26:34 AM
Last modification on : Wednesday, October 26, 2022 - 8:14:46 AM
Long-term archiving on: : Friday, December 16, 2016 - 6:18:43 AM


Files produced by the author(s)


  • HAL Id : hal-00723554, version 1



Francois Fages, Steven Gay, Sylvain Soliman. Automatic Curation of SBML Models based on their ODE Semantics. [Research Report] RR-8014, INRIA. 2012. ⟨hal-00723554⟩



Record views


Files downloads