Core SBML Software Package

Niehren, Joachim

Document type :

Autre communication scientifique (congrès sans actes - poster - séminaire...)

Permalink :

http://hdl.handle.net/20.500.12210/109684

Title :

Core SBML Software Package

Author(s) :

Niehren, Joachim [Auteur]

BioComputing
Linking Dynamic Data [LINKS]

English keyword(s) :

Systems Biology standards

HAL domain(s) :

Informatique [cs]

English abstract : [en]

<p>Core SBML is a recent language with the same expressiveness as SBML level 2, which serves for writing reaction networks mixed with algebraic and differential equations. In contrast to SBML, Core SBML enjoys a formal ...
Show more ><p>Core SBML is a recent language with the same expressiveness as SBML level 2, which serves for writing reaction networks mixed with algebraic and differential equations. In contrast to SBML, Core SBML enjoys a formal semantics enabeling provably correct compilers to other languages such as BioCham or Julia's Catalyst. While the syntax of Core SBML is based on XML technology, it has a different schema than SBML. Still any SBML level 2 model can be compiled to some Core SBML network and vice versa by using the XSLT compilers in the present software package and described in the following scientific paper. </p><section><header>Scientific Paper</header> J. Niehren, C. Lhouassaine, and A. Vaginay. <a href="hal-04125922">Core SBML and its Formal Semantics</a>, CMSB 2023.</section><section><header>Compilers</header><p> We have implemented the following compilers for XML documents in Saxon XSLT:<ul> <li> A compiler from <a href="https://www.sbml.org/SBML">SBML</a> level 2 to Core SBML.</li><li> A backwards compiler from Core SBML to SBML level 2. This enables the simulation and analysis of Core SBML models via <a href="http://copasi.org/">Copasi</a>.</li><li> A compiler from Core SBML networks (without delays) to BioCham.This enables the simulation and analysis of Core SBML models via <a href="http://contraintes.inria.fr/biocham">BioCham</a>.</li><li> A compiler from Core SBML networks (without events) to Julia's Catalyst. This enables the simulation and analysis of Core SBML models via <a href="https://docs.sciml.ai/Catalyst/stable/">Julia</a>.</li><li> A compiler from Core SBML networks to BioComputing's reaction networks. This permits to draw the graphs of Core SBML networks and to compute their differential equations, by using <a href="http://researchers.lille.inria.fr/~niehren/BioComputing/Network-Graph/doc.html">BioComputing's Network-Graph Tool</a>.</ul></p><section><header>Application to Curated <a href="https://www.ebi.ac.uk/biomodels/">BioModels</a></header><p> We applied our compiler to all 542 SBML models of the curated part of the BioModels database. Of those, only 18 networks use delays, so all others can be compiled further to BioCham. Our compilers produce for all curated BioModels:<ul><li>network.csbml: a Core SBML network (compatible with the schema), </li><li>core-graph.pdf: a PDF document with the graph of the network and its differential equations, and </li><li>network.bc: a BioCham 4 reaction network, if the SBML model does not contain delays.</li><li>network.jl: a Julia reaction network with Catalyst if the SBML model does not contain delays.</li></ul></p>Show less >

Language :

Anglais

ANR Project :

Abstraction des Réseaux de Réactions vers des Réseaux Booléens pour Améliorer l'Inférence et le Contrôle en Biologie des Systèmes

Collections :