Core SBML and its Formal Semantics - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Core SBML and its Formal Semantics

Résumé

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.

Domaines

Informatique
Fichier principal
Vignette du fichier
c.pdf (350.99 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Paternité

Identifiants

  • HAL Id : hal-04125922 , version 2

Citer

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⟩
114 Consultations
232 Téléchargements

Partager

Gmail Facebook X LinkedIn More