{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:33:07Z","timestamp":1762522387072,"version":"3.37.3"},"reference-count":30,"publisher":"Oxford University Press (OUP)","issue":"7","license":[{"start":{"date-parts":[[2019,11,18]],"date-time":"2019-11-18T00:00:00Z","timestamp":1574035200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,4,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:sec>\n                  <jats:title>Motivation<\/jats:title>\n                  <jats:p>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.<\/jats:p>\n               <\/jats:sec>\n               <jats:sec>\n                  <jats:title>Results<\/jats:title>\n                  <jats:p>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\u2014compliant 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 specialized SBML simulators.<\/jats:p>\n               <\/jats:sec>\n               <jats:sec>\n                  <jats:title>Availability and implementation<\/jats:title>\n                  <jats:p>SBML2Modelica is written in Java and is freely available for non-commercial use at https:\/\/bitbucket.org\/mclab\/sbml2modelica.<\/jats:p>\n               <\/jats:sec>","DOI":"10.1093\/bioinformatics\/btz860","type":"journal-article","created":{"date-parts":[[2019,11,15]],"date-time":"2019-11-15T12:11:23Z","timestamp":1573819883000},"page":"2165-2172","source":"Crossref","is-referenced-by-count":12,"title":["SBML2Modelica: integrating biochemical models within open-standard simulation ecosystems"],"prefix":"10.1093","volume":"36","author":[{"given":"F","family":"Maggioli","sequence":"first","affiliation":[{"name":"Computer Science Department, Sapienza University of Rome , Rome, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3355-2170","authenticated-orcid":false,"given":"T","family":"Mancini","sequence":"additional","affiliation":[{"name":"Computer Science Department, Sapienza University of Rome , Rome, Italy"}]},{"given":"E","family":"Tronci","sequence":"additional","affiliation":[{"name":"Computer Science Department, Sapienza University of Rome , Rome, Italy"}]}],"member":"286","published-online":{"date-parts":[[2019,11,18]]},"reference":[{"key":"2023062300072894700_btz860-B1","doi-asserted-by":"crossref","first-page":"958","DOI":"10.1002\/biot.201100304","article-title":"Integrating knowledge representation and quantitative modelling in physiology","volume":"7","author":"de Bono","year":"2012","journal-title":"Biotechnol. J"},{"key":"2023062300072894700_btz860-B2","doi-asserted-by":"crossref","first-page":"4","DOI":"10.3389\/fphys.2011.00004","article-title":"A computational systems biology software platform for multiscale modeling and simulation: integrating whole-body physiology, disease biology, and molecular reaction networks","volume":"2","author":"Eissing","year":"2011","journal-title":"Front. Physiol"},{"key":"2023062300072894700_btz860-B3","first-page":"147","volume-title":"APLIMAT 2007","author":"Fritzson","year":"2007"},{"key":"2023062300072894700_btz860-B4","doi-asserted-by":"crossref","first-page":"1231","DOI":"10.1109\/TBME.2014.2298559","article-title":"Modeling biology with HDL languages: a first step toward a genetic design automation tool inspired from microelectronics","volume":"61","author":"Gendrault","year":"2014","journal-title":"IEEE Trans. Biomed. Eng"},{"key":"2023062300072894700_btz860-B5","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","article-title":"The Systems Biology Markup language (SBML): a medium for representation and exchange of biochemical network models","volume":"19","author":"Hucka","year":"2003","journal-title":"Bioinformatics"},{"key":"2023062300072894700_btz860-B6","article-title":"The Systems Biology Markup Language (SBML): language specification for Level 3 Version 2 Core","volume":"15","author":"Hucka","year":"2018","journal-title":"J. Integr. Bioinf"},{"key":"2023062300072894700_btz860-B7","first-page":"430","volume-title":"CAV 2009, LNCS","author":"Kanade","year":"2009"},{"key":"2023062300072894700_btz860-B8","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1186\/1752-0509-7-55","article-title":"The systems biology simulation core algorithm","volume":"7","author":"Keller","year":"2013","journal-title":"BMC Systems Biol"},{"key":"2023062300072894700_btz860-B9986139","doi-asserted-by":"crossref","first-page":"W225","DOI":"10.1093\/nar\/gkz440","article-title":"BioUML: an integrated environment for systems biology and collaborative analysis of biomedical data","volume":"47","author":"Kolpakov,","year":"2019","journal-title":"Nucl. Acids Res."},{"key":"2023062300072894700_btz860-B10","first-page":"215","volume-title":"Modelica 2003","author":"Larsdotter Nilsson","year":"2003"},{"key":"2023062300072894700_btz860-B11","doi-asserted-by":"crossref","first-page":"3067","DOI":"10.1093\/bioinformatics\/btl485","article-title":"COPASI\u2014a COmplex PAthway SImulator","volume":"22","author":"Lee","year":"2006","journal-title":"Bioinformatics"},{"key":"2023062300072894700_btz860-B12","doi-asserted-by":"crossref","first-page":"e0182385","DOI":"10.1371\/journal.pone.0182385","article-title":"Modeling and simulation of biological systems using SPICE language","volume":"12","author":"Madec","year":"2017","journal-title":"PLoS One"},{"key":"2023062300072894700_btz860-B13","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/TED.2018.2881320","article-title":"Environment for modeling and simulation of biosystems, biosensors, and lab-on-chips","volume":"66","author":"Madec","year":"2019","journal-title":"IEEE Trans. Electron Dev"},{"key":"2023062300072894700_btz860-B14","first-page":"296","volume-title":"CAV 2013, LNCS","author":"Mancini","year":"2013"},{"key":"2023062300072894700_btz860-B15","first-page":"734","volume-title":"PDP 2014","author":"Mancini","year":"2014"},{"key":"2023062300072894700_btz860-B16","first-page":"542","volume-title":"IWBBIO 2015, LNCS","author":"Mancini","year":"2015"},{"key":"2023062300072894700_btz860-B17","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1016\/j.micpro.2015.10.010","article-title":"Anytime system level verification via parallel random exhaustive hardware in the loop simulation","volume":"41","author":"Mancini","year":"2016","journal-title":"Microprocess. Microsyst"},{"key":"2023062300072894700_btz860-B18","doi-asserted-by":"crossref","first-page":"101","DOI":"10.3233\/FI-2016-1444","article-title":"SyLVaaS: system level formal verification as a service","volume":"1\u20132","author":"Mancini","year":"2016","journal-title":"Fundament. Inf"},{"key":"2023062300072894700_btz860-B19","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1016\/j.ipl.2017.02.001","article-title":"On minimising the maximum expected verification time","volume":"122","author":"Mancini","year":"2017","journal-title":"Inf. Process. Lett"},{"volume-title":"RCRA 2018","year":"2018","author":"Mancini","key":"2023062300072894700_btz860-B20"},{"key":"2023062300072894700_btz860-B21","first-page":"1464","volume-title":"EMBC 2015","author":"Matej\u00e1k","year":"2015"},{"key":"2023062300072894700_btz860-B22","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1109\/MCS.2017.2766314","article-title":"Individualized model predictive control for the artificial pancreas: in silico evaluation of closed-loop glucose control","volume":"38","author":"Messori","year":"2018","journal-title":"IEEE Control Syst. Mag"},{"key":"2023062300072894700_btz860-B23","doi-asserted-by":"crossref","first-page":"2848","DOI":"10.1093\/bioinformatics\/btp457","article-title":"iBioSim: a tool for the analysis and design of genetic circuits","volume":"25","author":"Myers","year":"2009","journal-title":"Bioinformatics"},{"key":"2023062300072894700_btz860-B24","doi-asserted-by":"crossref","first-page":"D689","DOI":"10.1093\/nar\/gkj092","article-title":"BioModels database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems","volume":"34","author":"Nov\u00e8re","year":"2006","journal-title":"Nucleic Acids Res"},{"key":"2023062300072894700_btz860-B25","doi-asserted-by":"crossref","first-page":"1492","DOI":"10.1109\/TBME.2015.2497273","article-title":"Robust PBPK\/PD-based model predictive control of blood glucose","volume":"63","author":"Schaller","year":"2016","journal-title":"IEEE Trans. Biomed. Eng"},{"key":"2023062300072894700_btz860-B26","doi-asserted-by":"crossref","first-page":"3315","DOI":"10.1093\/bioinformatics\/btv363","article-title":"libRoadRunner: a high performance SBML simulation and analysis library","volume":"31","author":"Somogyi","year":"2015","journal-title":"Bioinformatics"},{"key":"2023062300072894700_btz860-B27","doi-asserted-by":"crossref","first-page":"1474","DOI":"10.1093\/bioinformatics\/btt157","article-title":"LibSBMLSim: a reference implementation of fully functional SBML simulator","volume":"29","author":"Takizawa","year":"2013","journal-title":"Bioinformatics"},{"key":"2023062300072894700_btz860-B28","first-page":"207","volume-title":"FMCAD 2014","author":"Tronci","year":"2014"},{"key":"2023062300072894700_btz860-B29","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1007\/s10009-014-0343-0","article-title":"Statistical model checking for biological applications","volume":"17","author":"Zuliani","year":"2015","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"2023062300072894700_btz860-B30","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1007\/s10703-013-0195-3","article-title":"Bayesian statistical model checking with application to Stateflow\/Simulink verification","volume":"43","author":"Zuliani","year":"2013","journal-title":"Formal Methods Syst. Des"}],"container-title":["Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/bioinformatics\/advance-article-pdf\/doi\/10.1093\/bioinformatics\/btz860\/30960241\/btz860.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/36\/7\/2165\/50670440\/bioinformatics_36_7_2165.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/36\/7\/2165\/50670440\/bioinformatics_36_7_2165.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,24]],"date-time":"2023-06-24T18:05:42Z","timestamp":1687629942000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article\/36\/7\/2165\/5628220"}},"subtitle":[],"editor":[{"given":"Alfonso","family":"Valencia","sequence":"additional","affiliation":[]}],"short-title":[],"issued":{"date-parts":[[2019,11,18]]},"references-count":30,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2020,4,1]]}},"URL":"https:\/\/doi.org\/10.1093\/bioinformatics\/btz860","relation":{},"ISSN":["1367-4803","1367-4811"],"issn-type":[{"type":"print","value":"1367-4803"},{"type":"electronic","value":"1367-4811"}],"subject":[],"published-other":{"date-parts":[[2020,4,1]]},"published":{"date-parts":[[2019,11,18]]}}}