SBML2Modelica: integrating biochemical models within open-standard simulation ecosystems

MOTIVATION SBML is the most widespread language for the definition of biochemical models. Although dozens of SBML simulators are available, there is a general lack of support to the integration of SBML models within open-standard general-purpose simulation ecosystems. This hinders co-simulation and integration of SBML models within larger model networks, in order to, e.g., enable in-silico clinical trials of drugs, pharmacological protocols, or engineering artefacts such as biomedical devices against Virtual Physiological Human models. Modelica is one of the most popular existing open-standard general-purpose simulation languages, supported by many simulators. Modelica models are especially suited for the definition of complex networks of heterogeneous models from virtually all application domains. Models written in Modelica (and in 100+ other languages) can be readily exported into black-box Functional Mock-Up Units (FMUs), and seamlessly co-simulated and integrated into larger model networks within open-standard language-independent simulation ecosystems. RESULTS In order to enable SBML model integration within heterogeneous model networks, we present SBML2Modelica, a software system translating SBML models into well-structured, user-intelligible, easily modifiable Modelica models. SBML2Modelica is SBML Level 3 Version 2 -compliant and succeeds on 96.47% of the SBML Test Suite Core (with a few rare, intricate, and easily avoidable combinations of constructs unsupported and cleanly signalled to the user). Our experimental campaign on 613 models from the BioModels database (with up to 5438 variables) shows that the major open-source (general-purpose) Modelica and FMU simulators achieve performance comparable to state-of-the-art specialised SBML simulators. AVAILABILITY AND IMPLEMENTATION SBML2Modelica is written in Java and is freely available for non-commercial use at https://bitbucket.org/mclab/sbml2modelica.

[1]  Sriram Sankaranarayanan,et al.  Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models , 2009, CAV.

[2]  Mudita Singhal,et al.  COPASI - a COmplex PAthway SImulator , 2006, Bioinform..

[3]  Gian Paolo Incremona,et al.  Individualized model predictive control for the artificial pancreas: In silico evaluation of closed-loop glucose control , 2018 .

[4]  Chris J. Myers,et al.  The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core , 2018, J. Integr. Bioinform..

[5]  Jacques Haiech,et al.  Modeling and simulation of biological systems using SPICE language , 2017, PloS one.

[6]  Jacques Haiech,et al.  Environment for Modeling and Simulation of Biosystems, Biosensors, and Lab-on-Chips , 2019, IEEE Transactions on Electron Devices.

[7]  Noriko Hiroi,et al.  LibSBMLSim: a reference implementation of fully functional SBML simulator , 2013, Bioinform..

[8]  Edmund M. Clarke,et al.  Bayesian statistical model checking with application to Stateflow/Simulink verification , 2013, Formal Methods Syst. Des..

[9]  Hiroaki Kitano,et al.  The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models , 2003, Bioinform..

[10]  Toni Mancini,et al.  SyLVaaS: System Level Formal Verification as a Service , 2015, 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.

[11]  Jirí Kofránek,et al.  Physiomodel - an integrative physiology in Modelica , 2015, 2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).

[12]  Peter Fritzson,et al.  BioChem - A Biological and Chemical Library for Modelica , 2003 .

[13]  Jacky L. Snoep,et al.  BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems , 2005, Nucleic Acids Res..

[14]  Jacques Haiech,et al.  Modeling Biology With HDL Languages: A First Step Toward a Genetic Design Automation Tool Inspired From Microelectronics , 2014, IEEE Transactions on Biomedical Engineering.

[15]  Toni Mancini,et al.  Patient-specific models from inter-patient biological models and clinical records , 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).

[16]  Paolo Zuliani,et al.  Statistical model checking for biological applications , 2014, International Journal on Software Tools for Technology Transfer.

[17]  Toni Mancini,et al.  System Level Formal Verification via Model Checking Driven Simulation , 2013, CAV.

[18]  Toni Mancini,et al.  Computing Personalised Treatments through In Silico Clinical Trials , 2018, RCRA@FLoC.

[19]  Andreas Schuppert,et al.  Robust PBPK/PD-Based Model Predictive Control of Blood Glucose , 2016, IEEE Transactions on Biomedical Engineering.

[20]  Wolfgang Weiss,et al.  A Computational Systems Biology Software Platform for Multiscale Modeling and Simulation: Integrating Whole-Body Physiology, Disease Biology, and Molecular Reaction Networks , 2011, Front. Physio..

[21]  Chris J. Myers,et al.  The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core Release 2 , 2018, J. Integr. Bioinform..

[22]  Andreas Zell,et al.  The systems biology simulation core algorithm , 2013, BMC Systems Biology.

[23]  James A. Glazier,et al.  libRoadRunner 2.0: a high performance SBML simulation and analysis library , 2022, Bioinformatics.

[24]  Toni Mancini,et al.  Anytime system level verification via parallel random exhaustive hardware in the loop simulation , 2016, Microprocess. Microsystems.

[25]  Chris J. Myers,et al.  Tablet—next generation sequence assembly visualization , 2009, Bioinform..

[26]  Peter Fritzson,et al.  Biochemical Mathematical Modeling with Modelica and the BioChem Library , 2007 .

[27]  Toni Mancini,et al.  Computing Biological Model Parameters by Parallel Statistical Model Checking , 2015, IWBBIO.

[28]  Sb Ras,et al.  BIOUML - OPEN SOURCE EXTENSIBLE WORKBENCH FOR SYSTEMS BIOLOGY , 2003 .

[29]  Toni Mancini,et al.  System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation , 2014, 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.

[30]  Elena Kutumova,et al.  BioUML: an integrated environment for systems biology and collaborative analysis of biomedical data , 2019, Nucleic Acids Res..

[31]  Peter Hunter,et al.  Integrating knowledge representation and quantitative modelling in physiology. , 2012, Biotechnology journal.

[32]  Edmund M. Clarke,et al.  Bayesian statistical model checking with application to Stateflow/Simulink verification , 2010, Formal Methods in System Design.

[33]  Michael Hucka,et al.  The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 1 Core (Release 1 Candidate) , 2010 .

[34]  Toni Mancini,et al.  On minimising the maximum expected verification time , 2017, Inf. Process. Lett..