Core SBML and its Formal Semantics - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2023

Core SBML and its Formal Semantics


The systems biology markup language (SBML) permits to represent biological models mixing reaction networks, algebraic equations, differential equations, and events. Its main objective is to exchange biological models between various tools for simulation and analysis. The specification of SBML, however, lacks a formal semantics. This makes it often difficult to understand SMBL models and to design correct and general interfaces with SBML. In the present paper, we propose Core SBML, a novel language covering a large subset of SBML with clear formal semantics.We present a compiler of the delay-free fragment of SBML to Core SBML (without any formal correctness guarantees). We then show how to compile Core SBML further to BioCham while preserving the semantics. We implemented and applied our compilers to the more than 500 SBML models from the curated part of the BioModels database.
Fichier principal
Vignette du fichier
c.pdf (350.99 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-04125922 , version 1 (30-06-2023)
hal-04125922 , version 2 (03-07-2023)




  • HAL Id : hal-04125922 , version 2


Joachim Niehren, Cédric Lhoussaine, Athénaïs Vaginay. Core SBML and its Formal Semantics. CMSB 2023 - 21th International Conference on Computational Methods in Systems Biology, Sep 2023, Luxembourg, Luxembourg. ⟨hal-04125922v2⟩
120 View
245 Download


Gmail Facebook X LinkedIn More